Towards a formalization of the Unified Modeling Language
- 1 January 1997
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC
- p. 344-366
- https://doi.org/10.1007/bfb0053386
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Automata Describing Object BehaviorPublished by Springer Science and Business Media LLC ,2007
- A stream-based mathematical model for distributed information processing systems - the SysLab system model -Published by Springer Science and Business Media LLC ,1997
- State Based Service DescriptionPublished by Springer Science and Business Media LLC ,1997
- Modeling the dynamic behavior of objects on events, messages and methods (extended abstract)Published by Springer Science and Business Media LLC ,1997
- Graphical development of consistent system specificationsLecture Notes in Computer Science, 1996
- A New Definition of the Subtype RelationPublished by Defense Technical Information Center (DTIC) ,1993
- Statecharts: a visual formalism for complex systemsScience of Computer Programming, 1987