Semantical integration of object-oriented viewpoint specification techniques

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3147, Issue , 2004, Pages 602-626

  Braatz, Benjamin ^a   Klein, Markus ^a   Schröter, Gunnar ^a  

^a TECHNISCHE UNIVERSITÄT BERLIN   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

OBJECT ORIENTED; OBJECT-ORIENTED SYSTEM; SPECIFICATION TECHNIQUE;

SPECIFICATIONS;

EID: 35048821640     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-27863-4_32     Document Type: Review

References (24)

1. 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 (1992) 31-58
2. International Organization for Standardization: ISO 10746:1998 - Information Technology - Open Distributed Processing - Reference Model. (1998)
3. Ehrig, H., Große-Rhode, M.: Integration von Techniken der Softwarespezifikation für ingenieurwissenschaftliche Anwendungen. Informatik Forschung und Entwicklung 16 (2001) 110-117
4. 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.
5. Große-Rhode, M.: Semantic Integration of Heterogeneous Software Specifications. Monographs in Theoretical Computer Science. Springer (2004)
6. Tenzer, J.: A Formal Semantics of UML Class Diagrams based on Transformation Systems. Forschungsbericht 2001/09, Fachbereich Informatik, TU Berlin (2001)
7. Parnitzke, D.: On Formal Semantics of Object Systems with Data and Object Attributes. Forschungsbericht 2001/05, Fachbereich Informatik, TU Berlin (2001)
8. Object Management Group: Unified Modeling Language - Version 2.0 (UML 2.0). (2004) Available from http://www.omg.org/.
9. Milner, R.: Communication and Concurrency. International Series in Computer Science. Prentice Hall (1989)
10. Reisig, W.: Petri Nets. Volume 4 of Monographs on Theoretical Computer Science. Springer (1985)
11. Rozenberg, G., ed.: Handbook of Graph Grammars and Computing by Graph Transformations, Volume 1: Foundations. World Scientific (1997)
12. 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)
13. Chandy, K.M., Misra, J.: Parallel Program Design - A Foundation. Addison-Wesley (1988)
14. Object Management Group: Unified Modeling Language - Version 1.5 (UML 1.5). (2003) Available from http://www.omg.org/.
15. Goguen, J.A., Burstall, U.M.: Institutions: Abstract Model Theory for Specification and Programming. Journal of the Association for Computing Machinery 39 (1992) 95-146
16. Ehrig, H., Große-Rhode, M.: Functorial Theory of Parameterized Specifications in a General Specification Framework. Theoretical Computer Science 135 (1994) 221-266
17. 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.: Integration of Software Specification Techniques for Applications in Engineering. Number 3147 in Lecture Notes in Computer Science. Springer (2004)
18. Ehrig, H., Orejas, F.: Integration Paradigm for Data Type and Process Specification Techniques. Bull. EATCS (1998) 90-97
19. 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). Number 50,3 in Electronic Notes in Theoretical Computer Science, Elsevier (2001)
20. 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.: Fundamental Approaches to Software Engineering (FASE 2004). Number 2984 in Lecture Notes in Computer Science, Springer (2004) 214-228
21. Ehrig, H., Mahr, B.: Fundamentals of Algebraic Specification 1 - Equations and Initial Semantics. Volume 6 of Monographs on Theoretical Computer Science. Springer (1985)
22. Mosses, P.D., ed.: CASL Reference Manual. Number 2960 in Lecture Notes in Computer Science. Springer (2004)
23. Spivey, J.M.: The Z Notation: A Reference Manual. Prentice Hall (1992)
24. 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.: Integration of Software Specification Techniques for Applications in Engineering. Number 3147 in Lecture Notes in Computer Science. Springer (2004)