Abstract
The aim of this paper is to present a generic component framework for system modeling which is especially useful for a large class of graph- and net-based modeling techniques. Moreover, the framework is also flexible with respect to a hierarchical connection of components, providing a compositional semantics of components. This means more precisely that the semantics and internal correctness of a system can be inferred from the semantics of its components. In contrast to constructorbased component concepts for data type specification techniques, our component framework is based on a generic notion of transformations. Re.nements and transformations are used to express intradependencies, between the export interface and the body of a component, and interdependencies, between the import and the export interfaces of different components. This is shown by a small case study on modeling Java threads by high-level Petri nets in this paper.
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
R. Allen, D. Garlan. A Formal Basis for Architectural Connection. In ACM TOSEM’97, pp. 213–249.
R. Bardohl. GenGEd-Visual Definition of Visual Languages Based on Algebraic Graph Transformation. PhD Thesis, TU Berlin, Verlag Dr. Kovac, Germany (1999).
J. Cheesman, J. Daniels. UML Components. Addison-Wesley (2001).
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.
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.
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).
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. Science50,3 (2001).
H. Ehrig, M. Pfender, H. Schneider. Graph Grammars: An Algebraic Approach. In Proc. SWAT’73, pp.167–180.
J.L. Fiadero, A. Lopes. Semantics of Architectural Connectors. In Proc. TAPSOFT’ 97, Springer LNCS 1214 (1997), pp. 505–519.
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.
Cay S. Horstmann, Gary Cornell. Core Java 2. Volume II— Advanced Features. Sun Microsystems Press, Prentice Hall PTR (2000).
D. Janssens, N. Verlinden. A Framework for ESM and NLC: Local Action Systems. In Springer LNCS1764(2000), pp. 194–214.
M. Löwe. Evolution Patterns. In Proc. Conf. on Systemics, Cybernetics and Informatics 1999, vol. II, pp. 110–117.
M. Löwe, M. Kor., A. Wagner. An Algebraic Framework for the Transformation of Attributed Graphs. In Term Graph Rewriting: Theory and Practice (1993), chapter 14, pp. 185–199.
S. Mann, B. Borusan, H. Ehrig, M. Groβe-Rhode, R. Mackenthun, A. Sünbül, H. Weber. Towards a Component Concept for Continuous Software Engineering. FhG-ISST Report 55/00 (2000).
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).
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.
J. Padberg, K. Hoffmann, M. Buder, A. Sünbül. Petri Net Modules for Component-Based Software Engineering. Technical Report, TU Berlin, 2001.
G. Rozenberg, editor. Handbook of Graph Grammars and Computing by Graph Transformations, Volume 1: Foundations. World Scientific, Singapore (1997).
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.
C. Szyperski. Component Software— Beyond Object-Oriented Programming. Addison-Wesley (1997).
M. Wermelinger, A. Lopes, J.L. Fiadero. A Graph Based Architectural Recon.guration Language. In Proc. ESEC/FSE 2001. ACM Press (2001).
A.M. Zaremski, J.M. Wing. Specification Matching of Software Components. In ACM TOSEM’97, pp. 333–369.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ehrig, H., Orejas, F., Braatz, B., Klein, M., Piirainen, M. (2002). A Generic Component Framework for System Modeling. In: Kutsche, RD., Weber, H. (eds) Fundamental Approaches to Software Engineering. FASE 2002. Lecture Notes in Computer Science, vol 2306. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-45923-5_3
Download citation
DOI: https://doi.org/10.1007/3-540-45923-5_3
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-43353-8
Online ISBN: 978-3-540-45923-1
eBook Packages: Springer Book Archive