A transformation-based component framework for a generic integrated modeling technique

Journal of Integrated Design and Process Science

Volumn 6, Issue 4, 2002, Pages 78-104

  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

EID: 34248659437     PISSN: 10920617     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (36)

1. Allen, R. and D. Garlan, 1997,. A formal basis for architectural connection. In: ACM TOSEM '97. pp. 213-249.
2. Bardohl, R., 1999,. GENGED-Visual Definition of Visual Languages based on Algebraic Graph Transformation. PhD thesis. Technical University Berlin, Dept. of Computer Science. published by Verlag Dr. Kovac.
3. Büssow, R., R. Geisler and M. Klar, 1998,. Specifying safety-critical embedded systems with statecharts and Z: A case study. In: Proc. FASE '98. LNCS 1382. Springer. pp. 71-87.
4. Cheesman, J. and J. Daniels, 2001,. UML Components. Addison-Wesley.
5. Ehrig, H., A. Habel, H.-J. Kreowski and F. Parisi-Presicce, 1991,. Parallelism and concurrency in high-level replacement systems. Math. Struct. in Comp. Science 1, 361-404.
6. Ehrig, H. and B. Mahr, 1990,. Fundamentals of Algebraic Specification 2: Module Specifications and Constraints. Vol. 21 of EATCS Monographs on Theor. Comp. Science. Springer.
7. Ehrig, H. and F. Orejas, 1998,. Integration paradigm for data type and process specification techniques. Bull. EATCS 65, Formal Spec. Column, Part 5.
8. Ehrig, H. and F. Orejas, 2001,. A conceptual and formal framework for the integration of data type and process modeling techniques. In: Proc. GT-VMT '01. ENTCS 50,3. Elsevier.
9. Ehrig, H., F. Orejas, B. Braatz, M. Klein and M. Piirainen (2002a). A component framework based on high-level replacement systems. In: Proc. GT-VMT '02. ENTCS 72,3. Elsevier.
10. Ehrig, H., F. Orejas, B. Braatz, M. Klein and M. Piirainen (2002b). A generic component concept for system modeling. In: Proc. FASE '02. LNCS 2306. Springer.
11. Ehrig, H., M. Pfender and H. Schneider, 1973,. Graph grammars: An algebraic approach. In: Proc. SWAT '73. pp. 167-180.
12. Ehrig, H., R. Geisler, M. Klar and J. Padberg, 1997,. Horizontal and vertical structuring for statecharts. In: Proc. CONCUR '97. LNCS 1301. Springer. pp. 327-343.
13. Fiadero, J.L. and A. Lopes, 1997,. Semantics of architectural connectors. In: Proc. TAPSOFT '97. LNCS 1214. Springer. pp. 505-519.
14. Große-Rhode, M., 2001,. Integrating semantics for object-oriented system models. In: Proc. ICALP '01. LNCS 2076. Springer. pp. 238-255.
15. Gruhn, V. and A. Thiel, 2000,. Komponentenmodelle: DCOM, JavaBeans, EnterpriseJavaBeans, CORBA. Addison-Wesley.
16. Harel, D. and E. Gery, 1997,. Executable object modeling with statecharts. IEEE Computer.
17. Heckel, R., A. Corradini, H. Ehrig and M. Löwe, 1996,. Horizontal and vertical structuring of typed graph transformation systems. Math. Struct. in Comp. Science 6, 613-648.
18. Horstmann, C.S. and G. Cornell, 2000,. Core Java 2. Volume II-Advanced Features. Sun Microsystems Press. Prentice Hall.
19. ISO, 1989,. Information Processing Systems-Open Systems Interconnection-LOTOS-A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour. International Standard ISO 8807.
20. Janssens, D. and N. Verlinden, 2000,. A framework for ESM and NLC: Local action systems. LNCS 1382. Springer. pp. 194-214.
21. Löwe, M., 1999,. Evolution patterns. In: Proc. Conf. on Systemics, Cybernetics and Informatics '99, Volume II. pp. 110-117.
22. Löwe, M., M. Korff and M. Wagner, 1993,. An algebraic framework for the transformation of attributed graphs. In: Term Graph Rewriting: Theory and Practice. pp. 185-199.
23. Mann, S., B. Borusan, H. Ehrig, M. Große-Rhode, R. Mackenthun, A. Sünbül and H. Weber, 2000,. Towards a component concept for continuous software engineering. Technical Report 55/00. FhG-ISST.
24. Meseguer, J. and U. Montanari, 1990,. Petri nets are monoids. Information and Computation 88(2), 105-155.
25. Orejas, F., H. Ehrig and E. Pino, 2001,. Tight and loose semantics for transformation systems. In: Proc. Works. on Algebr. Dev. Techn. '01. LNCS. Springer.
26. Padberg, J., 2003,. Peri net modules. Journal on Integrated Design and Process Technology. accepted for publication.
27. Padberg, J. and M. Urbasek, 2002,. Rule-based refinement of petri nets: A survey. In: Advances in Petri Nets: Petri Net Technologies for Modeling Communication Based Systems. LNCS. Springer. to appear.
28. Padberg, J., H. Ehrig and L. Ribeiro, 1995,. Algebraic high-level net transformation systems. Math. Struct. in Comp. Science 5, 217-256.
29. Padberg, J., K. Hoffmann, M. Buder and A. Sünbül, 2001,. Petri net modules for componentbased software engineering. Technical report. Technical University Berlin, Dept. of Comp. Science and Electr. Eng.
30. Rozenberg, G., Ed.), 1997,. Handbook of Graph Grammars and Computing by Graph Transformations, Volume 1: Foundations. World Scientific.
31. Simeoni, M., 2000,. A Categorical Approach to Modularization of Graph Transformation Systems using Refinements. PhD thesis. Dip. di Scienze dell’Informazione, Università di Roma "La Sapienza". condensed version to appear in JCSS.
32. Spivey, J.M., 1992,. The Z Notation: A Reference Manual. Prentice-Hall.
33. Szyperski, C., 1997,. Component Software-Beyond Object-Oriented Programming. Addison-Wesley.
34. UML (2000). Unified Modeling Language-version 1.3. Available at http://www.omg.org/uml.
35. Wermelinger, M., A. Lopes and J.L. Fiadero, 2001,. A graph based architectural reconfiguration language. In: Proc. ESEC/FSE '01. ACM Press.
36. Zaremski, A.M. and J.M.Wing, 1997,. Specification matching of software components. In: ACM TOSEM '97. pp. 333-369.