Abstract
The complexity of large system models in software engineering nowadays is mastered by using different views. View-based modeling aims at creating small, partial models, each one of them describing some aspect of the system. Existing formal techniques supporting view-based visual modeling are based on typed attributed graphs, where views are related by typed attributed graph morphisms. Such morphisms up to now require a fixed type graph, as well as a fixed data signature and domain. This is in general not adequate for view-oriented modeling where only parts of the complete type graph and signature are known and necessary when modeling a partial view of the system.
The aim of this paper is to extend the framework of typed attributed graph morphisms to generalized typed attributed graph morphisms, short GAG-morphisms, which involve changes of the type graph, data signature, and domain. This allows the modeler to formulate type hierarchies and views of visual languages defined by GAG-morphisms between type graphs, short GATG-morphisms. In this paper we study the interaction and integration of views, and the restriction of views along type hierarchies. In the main result we present suitable conditions for the integration and decomposition of consistent view models. As a running example we use a visual domain-specific modeling language to model coarse-grained IT components and their connectors in decentralized IT infrastructures.
Download to read the full chapter text
Chapter PDF
Similar content being viewed by others
References
Object Management Group: Unified Modeling Language: Superstructure – Version 2.0, Revised Final Adopted Specification, ptc/04-10-02 (2004), http://www.omg.org/cgi-bin/doc?ptc/2004-10-02
Ehrig, H., Ehrig, K., Prange, U., Taentzer, G.: Fundamentals of Algebraic Graph Transformation. In: EATCS Monographs in Theor. Comp. Science, Springer, Heidelberg (2006)
Object Management Group: Meta-Object Facility (MOF), Version 1.4 (2005), http://www.omg.org/technology/documents/formal/mof.htm
Engels, G., Ehrig, H., Heckel, R., Taentzer, G.: A combined reference model- and view-based approach to system specification. Int. Journal of Software and Knowledge Engineering 7(4), 457–477 (1997)
Braatz, B., Brandt, C., Engel, T., Hermann, F., Ehrig, H.: An approach using formally well-founded domain languages for secure coarse-grained IT system modelling in a real-world banking scenario. In: Proc. 18th Australasian Conference on Information Systems (2007)
Arbab, F.: Reo: A channel-based coordination model for component composition. Mathematical Structures in Computer Science 14(3), 329–366 (2004)
Ehrig, H., Ehrig, K., Ermel, C., Prange, U.: Generalized typed attributed graph transformation systems based on morphisms changing type graphs and data signatures. Technical report, TU Berlin (2008), http://tfs.cs.tu-berlin.de/publikationen/Papers08/EEEP08a.pdf
Goedicke, M., Enders, B., Meyer, T., Taentzer, G.: ViewPoint-Oriented Software Development: Tool Support for Integrating Multiple Perspectives by Distributed Graph Transformation. In: Schwartzbach, M.I., Graf, S. (eds.) TACAS 2000. LNCS, vol. 1785, pp. 43–47. Springer, Heidelberg (2000)
Goedicke, M., Meyer, T., Taentzer, G.: ViewPoint-oriented Software Development by Distributed Graph Transformation: Towards a Basis for Living with Inconsistencies. In: Proc. 4th IEEE Int. Symposium on Requirements Engineering, IEEE Computer Society, Los Alamitos (1999)
Nuseibeh, B., Finkelstein, A., Kramer, J.: ViewPoints: Meaningful Relationships are difficult. In: Proc. Int. Conf. on Software Engineering (ICSE 2003), IEEE Computer Society, Los Alamitos (2003)
Guerra, E., Diaz, P., de Lara, J.: A Formal Approach to the Generation of Visual Language Environments Supporting Multiple Views. In: Proc. IEEE Symposium on Visual Languages and Human-Centric Computing (VL/HCC 205), IEEE Computer Society, Los Alamitos (2005)
Andrés, F.P., de Lara, J., Guerra, E.: Domain Specific Languages with Graphical and Textual Views. In: Proc. Third Int. Symposium of Application of Graph Transformation with Industrial Relevance (AGTIVE 2007). LNCS, pp. 79–94. Springer, Heidelberg (to appear)
Ranger, U., Gruber, K., M., H.: Defining Abstract Graph Views as Module Interfaces. In: Proc. Third Int. Symposium of Application of Graph Transformation with Industrial Relevance (AGTIVE 2007). LNCS, pp. 117–133. Springer, Heidelberg (to appear)
Nentwich, C., Capra, L., Emmerich, W., Finkelstein, A.: xlinkit: A Consistency Checking and Smart Link Generation Service. In: of Computer Science, D., ed.: University College London (2007)
Ehrig, H., Mahr, B.: Fundamentals of Algebraic Specification 1: Equations and Initial Semantics. In: EATCS Monographs on Theoretical Computer Science, vol. 6, Springer, Heidelberg (1985)
Brunet, G., Chechik, M., Easterbrook, S., Nejati, S., Niu, N., Sabetzadeh, M.: A Manifesto for Model Merging. In: Proc. of the Int. Workshop on Global Integrated Model Management (GaMMa 2006), pp. 5–12. ACM Press, New York (2006)
Uchitel, S., Chechik, M.: Merging Partial Behavioural Models. In: Proc. of the 12th Int.ACM SIGSOFT Symposium on Foundations of Software Engineering, pp. 43–52. ACM Press, New York (2004)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ehrig, H., Ehrig, K., Ermel, C., Prange, U. (2008). Consistent Integration of Models Based on Views of Visual Languages. In: Fiadeiro, J.L., Inverardi, P. (eds) Fundamental Approaches to Software Engineering. FASE 2008. Lecture Notes in Computer Science, vol 4961. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-78743-3_5
Download citation
DOI: https://doi.org/10.1007/978-3-540-78743-3_5
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-78742-6
Online ISBN: 978-3-540-78743-3
eBook Packages: Computer ScienceComputer Science (R0)