Abstract
According to the viewpoint model of software systems development abstract models of different views of the systems are constructed. This separation of concerns reduces the complexity of the development, but prompts the question for their integration, i.e., the conception of a collection of heterogeneous models as a complete specification of a system. The integration can be achieved by using a common semantic domain for the interpretation of all models, where each viewpoint model, due to its partiality, admits a set of possible interpretations. In this paper such an integrating semantic domain is sketched and an application to structure and behaviour models of the Unified Modeling Language is discussed.
This work has been supported by the research project IOSIP (Eh65/10-2) within the DFG Priority Programme Integration of Software Specification Techniques for Applications in Engineering (1064)
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
M. Abadi and L. Cardelli. A Theory of Objects. Springer Verlag, 1996.
E.A. Boiten, H. Bowman, J. Derrick, P.F. Linington, and M.W.A. Steen. Viewpoint consistency in ODP. Computer Networks, 34(3):503–537, 2000.
G. Booch, J. Rumbaugh, and I. Jacobson. The Unified Modeling Language, User Guide. Addison-Wesley, 1998.
R. Breu, R. Grosu, F. Huber, B. Rumpe, and W. Schwerin. Systems, views and models of UML. In Martin Schader and Axel Korthaus, editors, The Unified Modeling Language, Technical Aspects and Applications, pages 93–109. Physica Verlag, Heidelberg, 1998.
Brinksma, E. (ed.). Information processing systems-Open Systems Interconnection-LOTOS-A formal description technique based on the temporal ordering of observational behaviour. ISO 8807, 1989. International Standard.
M. Broy and K. Stolen. Specification and Development of Interactive Systems. FOCUS on Streams, Interfaces, and Refinement. Springer Verlag, 2001.
J.-M. Bruel and R.B. France. Transforming UML models to formal specifications. In P.-A. Muller and J. Bezivin, editors, UML’98-Beyond the Notation. Springer LNCS, 1998.
T. Clark, A. Evans, and S. Kent. The metamodelling language calculus: Foundational semantics for UML. In H. Hussmann, editor, Proc. Fundamental Approaches to Software Engineering (FASE 2001), LNCS 2029, pages 17–31. Springer Verlag, 2001.
W. Damm and D. Harel. LSCs: Breathing Life into Message Sequence Charts. In P. Ciancarini, A. Fantechi, and R. Gorrieri, editors, Proc. 3rd IFIP Int. Conf. on Formal Methods for Open Object-Based Distributed Systems (FMOODS’99), pages 293–312. Kluwer Academic Publishers, 1999.
W. Damm, B. Josko, H. Hungar, and A. Pnueli. A compositional real-time semantics of STATEMATE designs. In W.-P. de Roever, H. Langmaack, and A. Pnueli, editors, Proc. COMPOS’97, volume 1536 of LNCS, 1997.
R. Droms. Dynamic host configuration protocol. IETF, Networking Group, March 1997. Available at http://www.ietf.org/rfc/rfc2131.txt.
D.F. D’Souza and A.C. Wills. Objects, Components, and Frameworks with UML. The Catalysis Approach. Object Technology Series. Addison Wesley, 1999.
H. Ehrig and B. Mahr. Fundamentals of Algebraic Specification 1: Equations and Initial Semantics, volume 6 of EATCS Monographs on Theoretical Computer Science. Springer Verlag, Berlin, 1985.
R. Eshuis and R. Wieringa. Requirements-level semantics for UML statecharts. In S.F. Smith and C.L. Talcott, editors, Proc. FMOODS 2000, IFIP TC6/WG6.1, pages 121–140. Kluwer Academic Publishers, 2000.
A. Evans and S. Kent. Core meta-modelling semantics of UML: The pUML approach. In B. Rumpe and R.B. France, editors, Proc. 2nd International Conference on the UML. Springer LNCS 1723, 1999.
J. Fiadeiro and T. Maibaum. Temporal theories as modularisation units for concurrent system specifications. Formal Aspects of Computing, 4(3):239–272, 1992.
C. Fischer and H. Wehrheim. Behavioural subtyping relations for object-oriented formalisms. In T. Rus, editor, Proc. Algebraic Methodology and Software Technology (AMAST 2000). Springer LNCS 1816, 2000.
J. Goguen and R.M. Burstall. Institutions: Abstract model theory for specification and programming. Journal of the ACM, 39(1):95–146, 1992.
M. Große-Rhode. A compositional comparison of specifications of the alternating bit protocol in CCS and UNITY based on algebra transformation systems. In K. Araki, A. Galloway, and K. Taguchi, editors, Proc. of the 1st International Conference on Integrated Formal Methods (IFM’99), York, UK, 28-29 June 1999, pages 253–272. Springer Verlag, 1999.
M. Große-Rhode. Semantic integration of heterogeneous formal specifications via transformation systems. Technical report, TU Berlin, 2001.
Object Management Group. Unified Modeling Language-version 1.3, 2000. Available at http://www.omg.org/uml.
J. Klose and H. Wittke. An automata based interpretation of life sequence charts. In Proc. Tools and Algorithms for the Construction and Analysis of Systems (TACAS 2001), pages 512–527. Springer LNCS 2031, 2001.
P.F. Linington. Introduction to the open distributed processing basic reference model. In J. de Meer, V. Heymer, and R. Roth, editors, Proceedings IFIP TC6/WG6.4 International Workshop on Open Distributed Processing, pages 3–13, 1991.
G. Lüttgen, M. von der Beeck, and R. Cleaveland. A compositional approach to statecharts semantics. Technical Report NASA/CR-2000-210086, ICASE Report No. 2000-12, Langley Research Center, 2000.
R. Milner. Communication and Concurrency. Prentice Hall International, 1989.
ITU-T recommendation X.901-X.904, ISO/IEC standard 10746. Reference Model of Open Distributed Processing, 1994.
M. Özhan. Semantische Konsistenzanalyse von UML Sequenz-und Zustandsdiagrammen. Technical Report 2001/07, TU Berlin, 2001.
G. Reggio, M. Cerioli, and E. Astesiano. Towards a rigoruos semantics of UML supporting its multiview aproach. In H. Hussmann, editor, Proc. Fundamental Approaches to Software Engineering (FASE 2001), LNCS 2029, pages 171–186. Springer Verlag, 2001.
J. Tenzer. Translation of UML class diagrams into diagrams of transformation specifications. Technical Report 2000/15, TU Berlin, FB Informatik, November 2000.
A. Tsiolakis. Semantic analysis and consistency checking of UML sequence diagrams. Technical Report 2001/06, TU Berlin, 2001.
M. von der Beeck. A comparison of Statechart variants. In H. Langmaack, W.-P. de Roever, and J. Vytopil, editors, Third International School and Symposium on Formal Techniques in Real-time and Fault-tolerant Systems (FTRTFT’94), pages 128–148. Springer LNCS 863, 1994.
J. Warmer and A. Kleppe. The Object Constraint Language: Precise Modeling with UML. Addison-Wesley, 1998.
M. Weber. Abstract object systems-a three-layer model of concurrent real-time object systems. Technical Report 97/12, TU Berlin, 1997.
M. Wermelinger and J.L. Fiadeiro. Algebraic software architecture reconfiguration. In Proc. Software Engineering ESEC/FSE’99, pages 393–409. Springer LNCS 1687, 1999.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2001 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Große-Rhode, M. (2001). Integrating Semantics for Object—Oriented System Models. In: Orejas, F., Spirakis, P.G., van Leeuwen, J. (eds) Automata, Languages and Programming. ICALP 2001. Lecture Notes in Computer Science, vol 2076. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-48224-5_4
Download citation
DOI: https://doi.org/10.1007/3-540-48224-5_4
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-42287-7
Online ISBN: 978-3-540-48224-6
eBook Packages: Springer Book Archive