definition of the strongsystem modelstrong - se@rwth.pdf

CHAPTER 4 DEFINITION OF THE SYSTEM MODEL 1 ´ 1 Manfred Broy and Marıa Victoria Cengarle and ¨ 2 2 Hans Gronniger and Bernhard Rumpe 1Software and Systems Engineering, Technische Universit¨at M¨unchen, Germany 2Software Systems Engineering, Technische Universit¨at Braunschweig, Germany 4.1 INTRODUCTION This chapter is devoted to the definition of a system model tailored towards UML. The hierarchy of theories that compose the system model is stepwise introduced. These theories are combined into a theory of sophisticated state transition systems. The semantics of a word in a UML sublanguage, i.e., a diagram, can then be defined by a set of such transition systems. Given two or more actual diagrams, possibly forming a complete UML model, the semantics of them together is defined by the intersection of their translations into the system model. In other words, consistency of a model is defined by non-empty intersection of the sets containing the transition systems that implement the diagrams individually. UML2 Semantics and Applications. By Kevin Lano 63 c Copyright 2011 John Wiley Sons, Inc. [BCGR09a] M. Broy, M. V. Cengarle, H. Grönniger, B. Rumpe Definition of the UML system model. In: Kevin Lano, editor, UML 2 Semantics and Applications. John Wiley Sons, 2009 www.se-rwth.de/publications 64 DEFINITION OF THE SYSTEM MODEL Definition 4.2.1 (This is a definition) DefinitionName introduction of new elements (sets, functions, ...) Notation: additional notational abbreviations (optional) definition of properties that hold informal, textual explanation (optional) The system model s