| Publication type: |
Article in Proceedings |
| Author: |
Alexander Knapp, Till Mossakowski, Markus Roggenbach |
| Editor: |
Rocco De Nicola, Rolf Hennicker |
| Title: |
Towards an Institutional Framework for Heterogeneous Formal Development in UML - A Position Paper |
| Book / Collection title: |
Software, Services and Systems. Essays Dedicated to Martin Wirsing on the Occasion of His Emeritation |
| Volume: |
8950 |
| Series: |
Lecture Notes in Computer Science |
| Publisher: |
Springer-Verlag Berlin Heidelberg |
| Abstract: |
We present a framework for formal software development with UML. In
contrast to previous approaches to equipping UML with a formal
semantics, we propose an institution-based heterogeneous
approach. This can express suitable formal semantics of the different
UML diagram types directly, without the need to map everything to one
specific formalism (let it be first-order logic or graph grammars). We
provide ideas how different aspects of the formal development process
can be coherently formalised, ranging from requirements over design
and Hoare-style conditions on code to the implementation itself. The
framework can be used to verify consistency of different UML diagrams
both horizontally (e.g., consistency among various requirements) as
well as vertically (e.g., correctness of design or implementation
w.r.t. the requirements). |
| PDF Version: |
http://iws.cs.uni-magdeburg.de/~mossakow/papers/het-uml.pdf |
| Keywords: |
UML institution formal development |
| Status: |
Reviewed |
| Last updated: |
28. 11. 2014 |
