Abstract
Complex systems have many heterogeneous aspects, which can be specified comprehensibly and adequately by viewpoint specification techniques dealing only with a suitable subset of these aspects. A methodology for the formal integration of collections of such viewpoint specification techniques is introduced and applied to object-oriented systems. As a main result, it is shown, how the semantical consistency of viewpoint specification techniques can be checked in this framework.
This is a preview of subscription content, log in via an institution to check access.
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
Finkelstein, A., Kramer, J., Nuseibeh, B., Finkelstein, L., Goedicke, M.: Viewpoints: A Framework for Integrating Multiple Perspectives in System Development. International Journal of Software Engineering and Knowledge Engineering 2, 31–58 (1992)
International Organization for Standardization: ISO 10746:1998 – Information Technology – Open Distributed Processing – Reference Model (1998)
Ehrig, H., Große-Rhode, M.: Integration von Techniken der Softwarespezifikation für ingenieurwissenschaftliche Anwendungen. Informatik Forschung und Entwicklung 16, 110–117 (2001)
Schröter, G., Braatz, B., Ehrig, H., Klein, M., Bengel, M.: Semantische Konsistenz viewpoint-orientierter Modellierungstechniken am Beispiel der Produktionsautomatisierung. atp – Automatisierungstechnische Praxis (2004) (to appear)
Große-Rhode, M.: Semantic Integration of Heterogeneous Software Specifications. Monographs in Theoretical Computer Science. Springer, Heidelberg (2004)
Tenzer, J.: A Formal Semantics of UML Class Diagrams based on Transformation Systems. Forschungsbericht 2001/09, Fachbereich Informatik, TU Berlin (2001)
Parnitzke, D.: On Formal Semantics of Object Systems with Data and Object Attributes. Forschungsbericht 2001/05, Fachbereich Informatik, TU Berlin (2001)
Object Management Group: Unified Modeling Language – Version 2.0 (UML 2.0) (2004), Available from http://www.omg.org/
Milner, R.: Communication and Concurrency. International Series in Computer Science. Prentice-Hall, Englewood Cliffs (1989)
Reisig, W.: Petri Nets. Monographs on Theoretical Computer Science, vol. 4. Springer, Heidelberg (1985)
Rozenberg, G. (ed.): Handbook of Graph Grammars and Computing by Graph Transformations: Foundations, vol. 1. World Scientific, Singapore (1997)
International Organization for Standardization: ISO 8807:1989 – Information Processing Systems – Open Systems Interconnection – LOTOS – A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour (1989)
Chandy, K.M., Misra, J.: Parallel Program Design – A Foundation. Addison-Wesley, Reading (1988)
Object Management Group: Unified Modeling Language – Version 1.5 (UML 1.5) (2003), Available from http://www.omg.org/
Goguen, J.A., Burstall, R.M.: Institutions: Abstract Model Theory for Specification and Programming. Journal of the Association for Computing Machinery 39, 95–146 (1992)
Ehrig, H., Große-Rhode, M.: Functorial Theory of Parameterized Specifications in a General Specification Framework. Theoretical Computer Science 135, 221–266 (1994)
Orejas, F., Pino, E.: On the Integration of Heterogeneous Specifications. In: Ehrig, H., Damm, W., Desel, J., Große-Rhode, M., Reif, W., Schnieder, E., Westkämper, E. (eds.) INT 2004. LNCS, vol. 3147, pp. 582–601. Springer, Heidelberg (2004)
Ehrig, H., Orejas, F.: Integration Paradigm for Data Type and Process Specification Techniques. Bull. EATCS, 90–97 (1998)
Ehrig, H., Orejas, F.: A Conceptual and Formal Framework for the Integration of Data Type and Process Modeling Techniques. In: Graph Transformation and Visual Modeling Techniques (GT-VMT 2001). Electronic Notes in Theoretical Computer Science, vol. 50(3), Elsevier, Amsterdam (2001)
Bardohl, R., Ehrig, H., de Lara, J., Taentzer, G.: Integrating Meta-Modelling Aspects with Graph Transformation for Efficient Visual Language Definition and Model Manipulation. In: Wermelinger, M., Margaria-Steffen, T. (eds.) FASE 2004. LNCS, vol. 2984, pp. 214–228. Springer, Heidelberg (2004)
Ehrig, H., Mahr, B.: Fundamentals of Algebraic Specification 1 – Equations and Initial Semantics. Monographs on Theoretical Computer Science, vol. 6. Springer, Heidelberg (1985)
Mosses, P.D. (ed.): Casl Reference Manual. LNCS, vol. 2960. Springer, Heidelberg (2004)
Spivey, J.M.: The Z Notation: A Reference Manual. Prentice-Hall, Englewood Cliffs (1992)
Braatz, B., Klein, M., Schröter, G., Bengel, M.: A Formal Component Concept for the Specification of Industrial Control Systems. In: Ehrig, H., Damm, W., Desel, J., Große-Rhode, M., Reif, W., Schnieder, E., Westkämper, E. (eds.) INT 2004. LNCS, vol. 3147, pp. 69–88. Springer, Heidelberg (2004)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Braatz, B., Klein, M., Schröter, G. (2004). Semantical Integration of Object-Oriented Viewpoint Specification Techniques. In: Ehrig, H., et al. Integration of Software Specification Techniques for Applications in Engineering. Lecture Notes in Computer Science, vol 3147. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-27863-4_32
Download citation
DOI: https://doi.org/10.1007/978-3-540-27863-4_32
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-23135-6
Online ISBN: 978-3-540-27863-4
eBook Packages: Springer Book Archive