The B-book: assigning programs to meanings
The B-book: assigning programs to meanings
Object-oriented software construction (2nd ed.)
Object-oriented software construction (2nd ed.)
Handbook of graph grammars and computing by graph transformation: volume I. foundations
Handbook of graph grammars and computing by graph transformation: volume I. foundations
Computer
Consistency checking and visualization of OCL constraints
UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
Non-deterministic constructs in OCL – what does any() mean
SDL'05 Proceedings of the 12th international conference on Model Driven
Refactoring OCL annotated UML class diagrams
MoDELS'05 Proceedings of the 8th international conference on Model Driven Engineering Languages and Systems
From declarative to imperative UML/OCL operation specifications
ER'07 Proceedings of the 26th international conference on Conceptual modeling
Workflow-driven tool integration using model transformations
Graph transformations and model-driven engineering
Specification of invariability in OCL
MoDELS'06 Proceedings of the 9th international conference on Model Driven Engineering Languages and Systems
Realizing graph transformations by pre- and postconditions and command sequences
ICGT'06 Proceedings of the Third international conference on Graph Transformations
Definition and correct refinement of operation specifications
Dependable Systems
Dynamic constraint satisfaction problems over models
Software and Systems Modeling (SoSyM)
Hi-index | 0.00 |
Many popular methodologies are influenced by Design by Contract. They recommend to specify the intended behavior of operations in an early phase of the software development life cycle. Formal contract specification languages, however, are still rarely used because their semantics often mismatch the needs of software developers. Restrictive specification languages usually suffer from the ”frame problem”: It is hard to express which parts of the system state should remain unaffected when the specified operation is executed. Constructive specification languages, instead, suffer from the tendency to make specifications deterministic. This paper investigates how a combination of OCL and graph transformations can overcome the frame problem and can make constructive specifications less deterministic. Our new contract specification language is considerably more expressive than both pure OCL and pure graph transformations.