Items related to Verifying OCL Specifications of UML Models: Tool Support...
Search results for Verifying OCL Specifications of UML Models: Tool Support...
Seller Image
Verifying OCL Specifications of UML Models - Dissertation
Seller: Bookbot, Prague, Czech Republic
Seller rating 5 out of 5 stars
Softcover. Condition: Fine. Abnutzung / Risse - leicht; Gebrochener Buchrucken / Seiten oder Softcover umgeknickt. The Unified Modelling Language (UML) and the Object Constraint Language (OCL) serve as specification languages for embedded and realtime systems used in a safe tycritical environment. In this dissertation class diagrams, object diagrams, and OCL constraints are formalised. The formalisation serves as foundation for a trans lation of class diagrams, state machines, and constraints into the theorem prover PVS. This enables the formal verification of models defined in a subset of UML using the interactive theorem prover. The type system of OCL makes writing specifications difficult while the model is still under development. To overcome this difficulty a new type system is proposed, based on intersection types, union types, and bounded operator abstraction. To reduce the complexity of the model and to increase the structure of th especification, compositional reasoning is used. The introduction of history variables allows compositional specifications. Proof rules support compositional reasoning. The feasibility of the presented approach is demonstrated by two casestudies. The first one is the ,Sieve of Eratosthenes" and the se cond one is a part of the medium altitude reconnaissance system (MARS) deployed in F-16 fighters of the Royal Dutch Air Force. Seller Inventory # 6e27f080-312f-4ec9-bf41-ec8d5abeecae
Buy Used
£ 109.51
£ 17.96 shipping
Ships from Czech Republic to U.S.A.
Ships from Czech Republic to U.S.A.
Quantity: 1 available
Stock Image
Verifying OCL Specifications of UML Models : Tool Support and Compositionality
Seller: Buchpark, Trebbin, Germany
Seller rating 5 out of 5 stars
Condition: Hervorragend. Zustand: Hervorragend | Sprache: Englisch | Produktart: Bücher | Keine Beschreibung verfügbar. Seller Inventory # 3195964/1
Stock Image
Verifying OCL Specifications of UML Models Marcel Kyas
Seller: BUCHSERVICE / ANTIQUARIAT Lars Lutzer, Wahlstedt, Germany
Seller rating 5 out of 5 stars
Softcover. Condition: gut. 2006. Verifying OCL Specifications of UML Models In deutscher Sprache. pages. Seller Inventory # BN185806