A Language-Independent and Formal Approach to Pattern-Based Modelling with Support for Composition and Analysis

e-Archivo Repository

Show simple item record

dc.contributor.author Bottoni, Paolo
dc.contributor.author Lara, Juan de
dc.contributor.author Guerra, Esther
dc.date.accessioned 2014-07-23T07:59:43Z
dc.date.available 2014-07-23T07:59:43Z
dc.date.issued 2010-08
dc.identifier.bibliographicCitation Information and Software Technology (2010). 52 (8), 821-844.
dc.identifier.issn 0950-5849
dc.identifier.uri http://hdl.handle.net/10016/19163
dc.description.abstract Context: Patterns are used in different disciplines as a way to record expert knowledge for problem solving in specific areas. Their systematic use in Software Engineering promotes quality, standardization, reusability and maintainability of software artefacts. The full realisation of their power is however hindered by the lack of a standard formalization of the notion of pattern. Objective: Our goal is to provide a language-independent formalization of the notion of pattern, so that it allows its application to different modelling languages and tools, as well as generic methods to enable pattern discovery, instantiation, composition, and conflict analysis. Method: For this purpose, we present a new visual and formal, language-independent approach to the specification of patterns. The approach is formulated in a general way, based on graphs and category theory, and allows the specification of patterns in terms of (nested) variable submodels, constraints on their allowed variance, and inter-pattern synchronization across several diagrams (e.g. class and sequence diagrams for UML design patterns). Results: We provide a formal notion of pattern satisfaction by models and propose mechanisms to suggest model transformations so that models become consistent with the patterns. We define methods for pattern composition, and conflict analysis. We illustrate our proposal on UML design patterns, and discuss its generality and applicability on different types of patterns, e.g. workflow patterns, enterprise integration patterns and interaction patterns. Conclusion: The approach has proven to be powerful enough to formalize patterns from different domains, providing methods to analyse conflicts and dependencies that usually are expressed only in textual form. Its language independence makes it suitable for integration in meta-modelling tools and for use in Model-Driven Engineering.
dc.description.sponsorship This work has been supported by the Visiting Professor Programmes of ‘‘Sapienza” University of Rome and its Department of Computer Science, the R&D program of the Community of Madrid (S2009/TIC-1650, project ‘‘e-Madrid”), the CAM-UC3M project ‘‘EXPLORE” (CCG08-UC3M/TIC-4487), as well as by the Spanish Ministry of Science and Innovation, under project ‘‘METEORIC” (TIN2008-02081), and mobility Grants JC2009-00015 and PR2009-0019.
dc.format.extent 24 p.
dc.format.mimetype application/pdf
dc.language.iso eng
dc.publisher Elsevier
dc.rights © 2010 Elsevier B.V.
dc.subject.other Pattern formalization
dc.subject.other Pattern-based modelling
dc.subject.other Pattern composition
dc.subject.other Pattern conflicts
dc.title A Language-Independent and Formal Approach to Pattern-Based Modelling with Support for Composition and Analysis
dc.type article
dc.description.status Publicado
dc.relation.publisherversion http://dx.doi.org/10.1016/j.infsof.2010.03.005
dc.subject.eciencia Telecomunicaciones
dc.identifier.doi 10.1016/j.infsof.2010.03.005
dc.rights.accessRights openAccess
dc.relation.projectID Comunidad de Madrid. S2009/TIC-1650/E-MADRID
dc.type.version acceptedVersion
dc.identifier.publicationfirstpage 821
dc.identifier.publicationissue 8
dc.identifier.publicationlastpage 844
dc.identifier.publicationtitle Information and software technology
dc.identifier.publicationvolume 52
dc.identifier.uxxi AR/0000007106
 Find Full text

Files in this item

*Click on file's image for preview. (Embargoed files's preview is not supported)

This item appears in the following Collection(s)

Show simple item record