A Generic Approach to Connector Architectures. Part I: The General Framework

• Autorzy: Orejas F. , Klein M. , Pino E. , Ehrig H. , Padberg J. , Pérez S.
• Języki publikacji: EN

Abstrakty

EN

The aim of this paper is to present a generic framework for the modelling of componentbased systems using architectural connectors. More precisely, concepts of component, connector and architecture are presented in a formal generic way, which are independent of any semi-formal or formal modelling approach. The idea is that one could use this framework to define component and connector notions for every given modelling formalism. As a main result, we define the semantics of architectures using graph transformation, showing that the semantics is independent of the order in which the connections are computed, and that the semantics is compatible with transformation. In the continuation of this paper, we show the applicability of our ideas. In particular, our framework is instantiated by Petri nets and CSP, including a case study using Petri Nets.

Słowa kluczowe

EN

architectural connectors; formal software modelling; software architecture

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 2010
• Tom: Vol. 99, nr 1
• Strony: 63--93
• Opis fizyczny: Bibliogr. 39 poz., wykr.

Twórcy

autor

Orejas F.

autor

Klein M.

autor

Pino E.

autor

Ehrig H.

autor

Padberg J.

autor

Pérez S.

• Universitat Politécnica de Catalunya, Dept. LSI Campus Nord, Módul C5 08034 Barcelona, Spain,

Bibliografia

• [1] R. Allen, D. Garlan. A Formal Basis for Architectural Connection. In ACM Trans. on Software Engineering and Methodology 6(3): 213-249, 1997.
• [2] F. Arbab. Reo: a channel-based coordination model for component composition. Mathematical Structures in Computer Science 14(3): 329-366, 2004.
• [3] S. Balsamo, M. Bernardo, M. Simeoni. Performance evaluation at the software architecture level. In Formal Methods for Software Architecture, (Bernado, M. and Inveradi, P., eds.), volume 2804 of Lecture Notes in Computer Science, pages 207-258. Springer, 2003.
• [4] M. Bernardo, P. Ciancarini, Lorenzo Donatiello: Architecting families of software systems with process algebras. ACM Trans. Software Engineering and Methodology 11(4): 386-426, 2002.
• [5] M. Bidoit, M.V. Cengarle, R. Hennicker. Proof systems for structured specifications and their refinements. In H. J. Kreowski, E. Astesiano, B. Krieg-Brückner (eds.), Algebraic Foundations of Systems Specification, pages 385-433. Springer, 1999.
• [6] M. Bidoit, R. Hennicker. An Algebraic Semantics for Contract-Based Software Components. In José Meseguer, Grigore Rosu (Eds.), AlgebraicMethodology and Software Technology, AMAST 2008, volume 5140 of Lecture Notes in Computer Science, pages 216-231. Springer, 2008.
• [7] J. Cheesman, J. Daniels. UML Components. Addison-Wesley, 2001.
• [8] H. Ehrig, B. Braatz, M. Klein, F. Orejas, S. Pérez, E. Pino: Object-Oriented Connector-Component Architectures. In Proc. Second Int. Workshop on Formal Foundations of Embedded Software and Component-based Software Architectures (FESCA 2005). Electr. Notes Theor. Comput. Sci. 141(3): 123-151, 2005.
• [9] H. Ehrig, K. Ehrig, U. Prange, G. Taentzer. Fundamentals of Algebraic Graph Transformation. EATCSMonographs in Theoretical Computer Science. Springer, 2006.
• [10] H. Ehrig, A. Habel, J. Padberg, U. Prange. Adhesive High-Level Replacement Categories and Systems. In Proc. ICGT 2004, volume 3256 of Lecture Notes in Computer Science, pages 144-160. Springer, 2004.
• [11] H. Ehrig, F. Orejas, B. Braatz, M. Klein, M. Piirainen. A Generic Component Framework for System Modeling. In Proc. FASE 2002, volume 2306 of Lecture Notes in Computer Science, pages 33-48. Springer, 2002.
• [12] H. Ehrig, F. Orejas, B. Braatz, M. Klein, M. Piirainen. A component framework for system modeling based on high-level replacement systems. Software and System Modeling 3(2): 114-135, 2004.
• [13] H. Ehrig, J.Padberg, B. Braatz, M. Klein, M. Piirainen, F. Orejas, S. Pérez, E. Pino. A Generic Framework for Connector Architectures based on Components and Transformations. In Proc. Second Int. Workshop on Formal Foundations of Embedded Software and Component-based Software Architectures (FESCA 2004). Electr. Notes Theor. Comput. Sci. 108: 53-67, 2004.
• [14] H. Ehrig, M. Pfender, H. Juergen Schneider. Graph-Grammars: An Algebraic Approach. Proc. 14th Annual Symposium on Foundations of Computer Science, pages 167-180, IEEE Computer Society, 1973.
• [15] J.L. Fiadero. Categories for Software Engineering. Springer, 2005.
• [16] J.L. Fiadero, A. Lopes. Semantics of Architectural Connectors. In Proc TAPSOFT '97, volume 1214 of Lecture Notes in Computer Science, pages 505-519. Springer, 1997.
• [17] J.L. Fiadero, A. Lopes, L. Bocchi. Algebraic Semantics of Service Component Modules. In José Luiz Fiadeiro, Pierre-Yves Schobbens (Eds.): Recent Trends in Algebraic Development Techniques, 18th International Workshop, WADT 2006, volume 4409 of Lecture Notes in Computer Science, pages 27-55. Springer, 2006.
• [18] J.L. Fiadero, A. Lopes, M. Wermelinger. A Mathematical Semantics for Architectural Connectors. In R. Backhouse and J. Gibbons (eds), Generic Programming, volume 2793 of Lecture Notes in Computer Science, pages 178-221. Springer, 2003.
• [19] J.L. Fiadero, T. Maibaum. Categorical semantics of Parallel Programm Design. Science of Computer Programming 28: 111-138, 1997.
• [20] D. Garlan, S.-W. Cheng, A. Kompanek. Reconciling the needs of architectural description with objectmodeling notations. Science of Computer Programming 44(1): 23-49, 2002.
• [21] C. A. R. Hoare. Communicating Sequential Processes. Prentice-Hall, 1985.
• [22] P. Inverardi, A. L. Wolf: Formal Specification and Analysis of Software Architectures Using the Chemical Abstract Machine Model. IEEE Trans. Software Engineering 21(4): 373-386, 1995.
• [23] M. Klein. Transformation-Based Component Architectures - General Framework, Instantiations and Case Study. PhD Thesis. Technical University of Berlin, 2006.
• [24] M. Klein, J. Padberg, F. Orejas. Towards Multiple Access in Generic Component Architectures.In Proc. Second Int. Workshop on Formal Foundations of Embedded Software and Component-based Software Architectures (FESCA 2006). Electr. Notes Theor. Comput. Sci. 176(2): 25-45, 2007.
• [25] A. Lopes, M. Wermelinger, J.L. Fiadero. Higher-Order Architectural Connectors. ACM Trans. on Software Engineering and Methodology, 12(1): 64-104, 2003.
• [26] D. C. Luckham, J. Vera: An Event-Based Architecture Definition Language. IEEE Trans. Software Engineering21(9): 717-734, 1995.
• [27] J. Magee, J. Kramer. Dynamic Structures in Software Architecture. In David Garlan (Ed.), Proc. 4th ACM SIGSOFT Symposium on the Foundations of Software Engineering, ACM SIGSOFT Software Engineering Notes 21(6): 3-14, 1996.
• [28] N. Medvidovic, D. S. Rosenblum, R. N. Taylor: A Language and Environment for Architecture-Based Software Development and Evolution. Proceedings of the 1999 International Conference on Software Engineering, Los Angeles, CA. ACM: 44-53, 1999.
• [29] N. Medvidovic, R. N. Taylor: A Classification and Comparison Framework for Software Architecture Description Languages. IEEE Trans. Software Engineering 26(1): 70-93, 2000.
• [30] F. Oquendo: pi-ADL: an Architecture Description Language based on the higher-order typed pi-calculus for specifying dynamic and mobile software architectures. ACM SIGSOFT Software Engineering Notes 29(3): 1-14, 2004.
• [31] F. Orejas, S. Pérez. Towards Architectural Connectors for UML. In Formal Methods in Software and Systems Modeling, volume 3393 of Lecture Notes in Computer Science, pages 352-369. Springer, 2005.
• [32] F. Orejas, S. Pérez. Architectural Connectors for Sequence Diagrams. In Proceedings of the Seventh Spanish Conference on Programming and Computer Languages (PROLE 2007). Electr. Notes Theor. Comput. Sci. 206: 111-131, 2008.
• [33] J. Padberg. Formale Techniken fuer die Beschreibung von Software-Architekturen. In Handbuch der Software-Architektur (Reussner, R. and Hasselbring,W., eds.), d-punkt Verlag, 2005.
• [34] J. Padberg, H. Ehrig. Petri net modules in the transformation-based component framework. J. Log. Algebr. Program. 67(1-2): 198-225, 2006.
• [35] J.Padberg, H. Ehrig, F. Orejas. Towards Component Verification in the Generic Component Framework, In Proc. Second Int. Workshop on Formal Foundations of Embedded Software and Component-based Software Architectures (FESCA 2007). Braga, 2007.
• [36] J. Rumbaugh, I. Jacobson, G. Booch. The Unified Modeling Language Reference Manual. Addison Wesley, 1999.
• [37] M. Shaw, R. DeLine, D. V. Klein, T. L. Ross, David M. Young, Gregory Zelesnik: Abstractions for Software Architecture and Tools to Support Them. IEEE Trans. Software Engineering21(4): 314-335, 1995.
• [38] M. Shaw, D. Garlan. Software Architecture: Perspectives on an Emerging Discipline. Prentice Hall, 1996.
• [39] A.M. Zaremski, J.M. Wing. Specification Matching of Software Components. ACM Trans. on Software Engineering and Methodology 6(4): 333-369, 1997.