A generic component framework for system modeling

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

Volumn 2306, Issue , 2002, Pages 33-48

  Ehrig, Hartmut ^a   Orejas, Fernando ^b   Braatz, Benjamin ^a   Klein, Markus ^a   Piirainen, Martti ^a  

^a TECHNISCHE UNIVERSITÄT BERLIN   (Germany)

^b UNIVERSITAT POLITÈCNICA DE CATALUNYA   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

JAVA PROGRAMMING LANGUAGE; PETRI NETS; SEMANTICS;

COMPONENT CONCEPT; COMPONENT FRAMEWORK; COMPOSITIONAL SEMANTICS; EXPORT INTERFACES; GENERIC COMPONENTS; HIGH-LEVEL PETRI NETS; MODELING TECHNIQUE; SPECIFICATION TECHNIQUE;

SOFTWARE ENGINEERING;

EID: 84958765686     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45923-5_3     Document Type: Conference Paper

References (24)

1. R. Allen, D. Garlan. A Formal Basis for Architectural Connection. In ACM TOSEM’97, pp. 213–249.
2. R. Bardohl. GenGEd – Visual Definition of Visual Languages Based on Algebraic Graph Transformation. PhD Thesis, TU Berlin, Verlag Dr. Kovac, Germany (1999).
3. J. Cheesman, J. Daniels. UML Components. Addison-Wesley (2001).
4. H. Ehrig, R. Geisler, M. Klar, J. Padberg: Horizontal and Vertical Structuring for Statecharts. In Proc. CONCUR’97, Springer LNCS 1301 (1997), pp. 327–343.
5. H. Ehrig, A. Habel, H.-J. Kreowski, F. Parisi-Presicce: Prallelism and Concurrency in High-Level Replacement Systems. In Math. Struct. in Comp. Science 1. Cambridge Univ. Press (1991), pp. 361–404.
6. H. Ehrig, B. Mahr: Fundamentals of Algebraic Specification 2: Module Specifications and Constraints, vol. 21 of EATCS Monographs on Theor. Comp. Science. Springer Verlag, Berlin (1990).
7. H. Ehrig and F. Orejas. A Conceptual and Formal Framework for the Integration of Data Type and Process Modeling Techniques. In Proc. GT-VMT 2001, ICALP 2001 Satellite Workshop. Heraclion, Greece (2001), pp. 201–228. Also in Electronic Notes in Theor. Comp. Science 50,3 (2001).
8. H. Ehrig, M. Pfender, H. Schneider. Graph Grammars: An Algebraic Approach. In Proc. SWAT’73, pp.167-180. 2000
9. J.L. Fiadero, A. Lopes. Semantics of Architectural Connectors. In Proc. TAPSOFT’ 97, Springer LNCS 1214 (1997), pp. 505–519.
10. R. Heckel, A. Corradini, H. Ehrig, M. Löwe. Horizontal and Vertical Structuring of Typed Graph Transformation Systems. In MSCS, vol. 6 (1996), pp. 613–648.
11. Cay S. Horstmann, Gary Cornell. Core Java 2. Volume II – Advanced Features. Sun Microsystems Press, Prentice Hall PTR (2000).
12. D. Janssens, N. Verlinden. A Framework for ESM and NLC: Local Action Systems. In Springer LNCS 1764 (2000), pp. 194–214.
13. M. Löwe. Evolution Patterns. In Proc. Conf. on Systemics, Cybernetics and Informatics 1999, vol. 2, pp. 110–117.
14. M. Löwe, M. Korff, A. Wagner. An Algebraic Framework for the Transformation of Attributed Graphs. In Term Graph Rewriting: Theory and Practice (1993), chapter 14, pp. 185–199.
15. S. Mann, B. Borusan, H. Ehrig, M. Große-Rhode, R. Mackenthun, A. Sünül, H. Weber. Towards a Component Concept for Continuous Software Engineering. FhG-ISST Report 55/00 (2000).
16. F. Orejas, H. Ehrig, E. Pino: Tight and Loose Semantics for Transformation Systems. Toap pear in Proc. Workshop on Algebraic Development Techniques 2001, Springer LNCS. Genova, Italy (2001).
17. J. Padberg, H. Ehrig, L. Ribeiro. Algebraic High-Level Net Transformation Systems. In Math. Struct. in Comp. Science 5. Cambridge Univ. Press (1995), pp. 217–256.
18. J. Padberg, K. Hoffmann, M. Buder, A. Sünbül. Petri Net Modules for Component- Based Software Engineering. Technical Report, TU Berlin, 2001.
19. G. Rozenberg, editor. Handbook of Graph Grammars and Computing by Graph Transformations, Volume 1: Foundations. World Scientific, Singapore (1997).
20. M. Simeoni A Categorical Approach to Modularization of Graph Transformation Systems using Refinements. PhD thesis, Dip. di Scienze dell’Informazione, Università di Ro ma La Sapienza (2000). Condensed version to appear in JCSS.
21. C. Szyperski. Component Software – Beyond Object-Oriented Programming. Addison- Wesley (1997).
22. Unified Modeling Language – version 1.3 (2000). Available at http://www.omg.org/uml.
23. M. Wermelinger, A. Lopes, J.L. Fiadero. A Graph Based Architectural Reconfiguration Language. In Proc. ESEC/FSE 2001. ACM Press (2001).
24. A.M. Zaremski, J.M. Wing. Specification Matching of Software Components. In ACM TOSEM’97, pp. 333–369.