Abstract
In addition to static structures, the Unified Modelling Language UML supports the specification of dynamic properties by means of state charts and interaction diagrams. Each diagram, however, only reflects partial aspects of the system. A common behavior model is lacking while it is necessary to relate the diagrams with each other and to enable the verification of dynamic system properties. The formal process specification technique cTLA provides for modular descriptions of behavior constraints and its process composition operation corresponds to superposition. Therefore, a UML diagram can be represented by a cTLA description which is as well modular as it can be combined with the descriptions of other diagrams.
Chapter PDF
Similar content being viewed by others
References
Back, R. J. R. and Kurki-Suonio, R. Decentralisation of process nets with a centralized control. Distributed Computing (3). pages 72–87, 1989.
Breu, R., Grosu, R., Huber, F., Rumpe, B., and Schwerin, W. Systems, Views and Models of UML. In Schader, M. and Korthaus A. (eds.), The Unified Modeling Language, Technical Aspects and Applications. Physica Verlag, 1998.
Chandy, K. M. and Misra, J. Parallel Program Design - A Foundation. Addison-Wesley, 1988.
France, R., Bruel, J., Larrondo-Petrie, M., and Shroff, M. Exploring The Semantics of UML Type Structures with Z. In Derrick, J. (ed.) Formal Methods for Open Object-based Distributed Systems, pages 247–257, Chapman & Hall, 1997.
Harel, D. Statecharts: A Visual Formalism For Complex Systems. Science of Computer Programming (8): 231–274, 1987.
Herrmann, P. and Krumm, H. Compositional Specification and Verification of High-Speed Transfer Protocols. In Vuong, S. T. and Chanson, S. T. (eds.), Protocol Specification, Testing, and Verification XIV, pages 339–346. Vancouver. B.C., IFIP, Chapman & Hall, 1994.
Herrmann, P. and Krumm, H. Re-Usable Verification Elements for High-Speed Transfer Protocol Configurations. In Dembinski, P. and Sredniawa, M. (eds.), Protocol Specification, Testing, and Verification XV, pages 171–186. Warsaw, IFIP, Chapman & Hall, 1995.
Hooman, J., Ramesh, S., and de Roever, W.-P. Acompositionalaxiomatization of Statecharts. Theoretical Computer Science (101): 289–335, 1992.
Kurki-Suonio, R. and Mikkonen, T. Liberating object-oriented modeling from programming-level abstractions. In ECOOP ‘87 Workshop Rd., Springer, 1997.
ISO. Lotos: Language for the temporal ordering specification of observational behavior. International Standard ISO/IS 8807, 1989.
Mester, A. and Krumm, H. Composition and Refinement Mapping based Construction of Distributed Applications. In Proceedings of the Workshop on Tools and Algorithms for the Construction and Analysis of Systems. Aarhus, Denmark, BRICS, 1995.
Paech, B. and Rumpe, B. State Based Service Descriptions. In Derrick, J. (ed.) Formal Methods for Open Object-based Distributed Systems, pages 293–302, Chapman & Hall, 1997.
Lamport, L. The Temporal Logic of Actions. In ACM Transactions on Programming Languages and Systems. 16(3):872–923, May 1994.
The Uml Group. UML Semantics. Version 1.1. Rational Software Corporation. Santa Clara, CA-95051, USA, July 1997.
Uselton, A. C. and Smolka, S. A. A Compositional Semantics for Statecharts using Labeled Transition System. Lecture Notes in Computer Science 836, pages 2–17, Springer-Verlag, 1994.
Vissers, A. C., Scollo, G., van Sinderen, M., and Brinksma, E. Specification styles in distributed systems design and verification. Theoretical Computer Science (89): 179–206, 1991.
Weber, M. Systematic Design of Embedded Control Systems. GMD-Bericht Nr.283, R.Oldenbourg Verlag, 1997.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer Science+Business Media New York
About this paper
Cite this paper
Graw, G., Herrmann, P., Krumm, H. (1999). Constraint-Oriented Formal Modelling of OO-Systems. In: Kutvonen, L., König, H., Tienari, M. (eds) Distributed Applications and Interoperable Systems II. DAIS 1999. IFIP — The International Federation for Information Processing, vol 15. Springer, Boston, MA. https://doi.org/10.1007/978-0-387-35565-8_28
Download citation
DOI: https://doi.org/10.1007/978-0-387-35565-8_28
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4757-5008-9
Online ISBN: 978-0-387-35565-8
eBook Packages: Springer Book Archive