Appended paper D Multi-Viewed Components

In this report, we present a concept for generic multi-viewed component models based on modular and (de)composable viewpoints. By decomposing systems not only along component but also viewpoint borders, a family of multi-viewed component models is proposed. Semantic relations between the viewpoints are modeled in order to be able to ensure e.g. consistency between separate but semantically partly overlapping views. We also characterize different types of relations between viewpoints in order to see how the choice of viewpoints in the component model influences the complexity of multi-viewed components. Finally we provide an example and describe how the concepts presented can be applied in practice.

[1]  Romain Rouvoy,et al.  An Aspect-Oriented Framework for Weaving Domain-Specific Concerns into Component-Based Systems , 2011, J. Univers. Comput. Sci..

[2]  Cristina Cerschi Seceleanu,et al.  Embedded Systems Resources: Views on Modeling and Analysis , 2008, 2008 32nd Annual IEEE International Computer Software and Applications Conference.

[3]  Martin Törngren,et al.  Multiview Modeling and Integration for Mechatronics Engineering , 2012 .

[4]  Jan Hendrik Hausmann.  Metamodeling Relations-Relating metamodels ? , 2003 .

[5]  Manfred Broy,et al.  Seamless Model-Based Development: From Isolated Tools to Integrated Model Engineering Environments , 2010, Proceedings of the IEEE.

[6]  Matthias Biehl.  Literature study on the state of the art in model transformation technology , 2010 .

[7]  Martin Törngren,et al.  A tool integration platform for multi-disciplinary development , 2005, 31st EUROMICRO Conference on Software Engineering and Advanced Applications.

[8]  Ivica Crnkovic,et al.  Building Reliable Component-Based Software Systems , 2002 .

[9]  Bernhard Schätz,et al.  Model-Based Development of Embedded Systems , 2002, OOIS Workshops.

[10]  Séverine Sentilles,et al.  A Component Model Family for Vehicular Embedded Systems , 2008, 2008 The Third International Conference on Software Engineering Advances.

[11]  Joseph Sifakis,et al.  Composition for component-based modeling , 2005, Sci. Comput. Program..

[12]  Edward A. Lee,et al.  Component-based design for the future , 2011, 2011 Design, Automation & Test in Europe.

[13]  Richard G. Dewar,et al.  A new research agenda for tool integration , 2007, J. Syst. Softw..

[14]  Kung-Kiu Lau,et al.  Software Component Models , 2006, IEEE Transactions on Software Engineering.

[15]  A. Benveniste,et al.  Contracts for the Design of Embedded Systems Part II : Theory , 2011 .

[16]  Martin Törngren,et al.  A tool integration platform for multi-disciplinary development , 2005 .

[17]  Luciano Baresi,et al.  Formal interpreters for diagram notations , 2005, TSEM.

[18]  Richard F. Paige,et al.  The Role of Dependency Links in Ensuring Architectural View Consistency , 2008, Seventh Working IEEE/IFIP Conference on Software Architecture (WICSA 2008).

[19]  DeJiu Chen,et al.  Model integration in the development of embedded control systems - a characterization of current research efforts , 2006, 2006 IEEE Conference on Computer Aided Control System Design, 2006 IEEE International Conference on Control Applications, 2006 IEEE International Symposium on Intelligent Control.

[20]  Luciano Baresi,et al.  Petri Nets as Semantic Domain for Diagram Notations , 2005, PNGT@ICGT.

[21]  Roberto Passerone,et al.  Multi-Viewpoint State Machines for Rich Component Models , 2009 .

[22]  Bran Selic.  A Short Catalogue of Abstraction Patterns for Model-Based Software Engineering , 2011, Int. J. Softw. Informatics.

[23]  Bradley R. Schmerl,et al.  View Consistency in Architectures for Cyber-Physical Systems , 2011, 2011 IEEE/ACM Second International Conference on Cyber-Physical Systems.

[24]  Antonio Iannopollo,et al.  TAMING DR. FRANKENSTEIN: CONTRACT-BASED DESIGN FOR CYBER-PHYSICAL SYSTEMS , 2012 .

[25]  Bashar Nuseibeh,et al.  ViewPoints: a vehicle for method and tool integration , 1992, [1992] Proceedings of the Fifth International Workshop on Computer-Aided Software Engineering.

[26]  Martin Törngren,et al.  Systematic and Cost-efficient Tool Integration for Embedded Systems : The iFEST approach , 2012 .

[27]  Reiko Heckel,et al.  A compositional approach to structuring and refinement of typed graph grammars , 1995, SEGRAGRA.

[28]  Pascal Fradet,et al.  Consistency checking for multiple view software architectures , 1999, ESEC/FSE-7.

[29]  Holger Giese,et al.  Summary of the workshop on multi-paradigm modeling: concepts and tools , 2006, MoDELS'06.

[30]  Werner Retschitzegger,et al.  Think global, act local: implementing model management with domain-specific integration languages , 2006, MoDELS'06.

[31]  H. Vangheluwe,et al.  The Formalism Transformation Graph as a Guide to Model Driven Engineering , 2012 .

[32]  Perry Alexander,et al.  Using a Lattice of Coalgebras For Heterogeneous Model Composition , 2006 .

[33]  Christiaan J. J. Paredis,et al.  Dependency Modeling and Model Management in Mechatronic Design , 2012, J. Comput. Inf. Sci. Eng..

[34]  Hartmut Ehrig,et al.  Attributed graph transformation with inheritance: Efficient conflict detection and local confluence analysis using abstract critical pairs , 2012, Theor. Comput. Sci..

[35]  Martin Törngren,et al.  Model based development of automotive embedded systems , 2008 .

[36]  Mark W. Maier,et al.  Software Architecture: Introducing IEEE Standard 1471 , 2001, Computer.

[37]  Kung-Kiu Lau,et al.  Software Component Models , 2007, IEEE Trans. Software Eng..

[38]  Manfred Broy,et al.  Model-Based Engineering of Embedded Systems: The SPES 2020 Methodology , 2012 .

[39]  Aleksandar Radjenovic.  View Consistency in Architectural Models of Dependable Systems , 2008 .

[40]  Séverine Sentilles,et al.  Flexible Semantic-Preserving Flattening of Hierarchical Component Models , 2011, 2011 37th EUROMICRO Conference on Software Engineering and Advanced Applications.

[41]  Martin Törngren,et al.  On the modeling and generation of service-oriented tool chains , 2012, Software & Systems Modeling.

[42]  Thomas A. Henzinger,et al.  Interface Theories for Component-Based Design , 2001, EMSOFT.

[43]  Alberto L. Sangiovanni-Vincentelli,et al.  Metamodeling: An Emerging Representation Paradigm for System-Level Design , 2009, IEEE Design & Test of Computers.

[44]  Krzysztof Czarnecki,et al.  Specifying Overlaps of Heterogeneous Models for Global Consistency Checking , 2010, MoDELS Workshops.

[45]  Axel Legay,et al.  A Modal Interface Theory for Component-based Design , 2011, Fundam. Informaticae.

[46]  Martin Törngren,et al.  Constructing Tool Chains based on SPEM Process Models , 2012, ICSEA 2012.

[47]  Zinovy Diskin.  Towards generic formal semantics for consistency of heterogeneous multimodels , 2011 .

[48]  Artur Boronat,et al.  What Is a Multi-modeling Language? , 2008, WADT.

[49]  Gregor Engels,et al.  Consistency Management Within Model-Based Object-Oriented Development of Components , 2003, FMCO.

[50]  Magnus Persson.  Adaptive Middleware for Self-Configurable Embedded Real-Time Systems : Experiences from the DySCAS Project and Remaining Challenges , 2009 .

[51]  Edward A. Lee,et al.  A modular formal semantics for Ptolemy† , 2013, Mathematical Structures in Computer Science.

[52]  Joseph Sifakis.  Methods and tools for component-based system design , 2011, 2011 Design, Automation & Test in Europe.

[53]  Charles Consel,et al.  Design-driven Development of Dependable Applications - A Case Study in Avionics , 2013, PECCS.

[54]  Hardi Hungar,et al.  Using contract-based component specifications for virtual integration testing and architecture design , 2011, 2011 Design, Automation & Test in Europe.

[55]  Juan de Lara,et al.  Model View Management with Triple Graph Transformation Systems , 2006, ICGT.

[56]  Juan de Lara,et al.  Meta-Modelling and Graph Transformation for the Definition of Multi-View Visual Languages , 2008 .

[57]  Reiko Heckel,et al.  A Combined Reference Model- and View-Based Approach to System Specification , 1997, Int. J. Softw. Eng. Knowl. Eng..

[58]  Alti Adel,et al.  Semantic mapping of ADLs into MDA platforms using a meta-ontology , 2010, 2010 International Conference on Machine and Web Intelligence.

[59]  Hermann Kopetz,et al.  Real-time systems , 2018, CSC '73.

[60]  Hartmut Ehrig,et al.  Consistent integration of models based on views of meta models , 2010, Formal Aspects of Computing.

[61]  Luca de Alfaro,et al.  Interfaces: A Game-Theoretic Framework for Reasoning About Component-Based Systems , 2004, FOCLASA.

[62]  Bashar Nuseibeh,et al.  ViewPoints: meaningful relationships are difficult! , 2003, 25th International Conference on Software Engineering, 2003. Proceedings..

[63]  Séverine Sentilles,et al.  A Classification Framework for Component Models , 2007 .

[64]  T. S. E. Maibaum,et al.  Category Theory and Model-Driven Engineering: From Formal Semantics to Design Patterns and Beyond , 2012, ACCAT.

[65]  Matthias Biehl,et al.  Supporting model evolution in model-driven development of automotive embedded system , 2010 .

[66]  Séverine Sentilles,et al.  A Classification Framework for Software Component Models , 2011, IEEE Transactions on Software Engineering.

[67]  A. G. Kleppe,et al.  A Language Description is More than a Metamodel , 2007 .

[68]  하수철,et al.  [서평]「Component Software」 - Beyond Object-Oriented Programming - , 2000 .

[69]  Dejan Nickovic,et al.  Independent Implementability of Viewpoints , 2012, Monterey Workshop.

[70]  Edward A. Lee,et al.  Modeling Cyber–Physical Systems , 2012, Proceedings of the IEEE.

[71]  Pieter J. Mosterman,et al.  Computer Automated Multi-Paradigm Modeling : An Introduction , 2000 .

[72]  Ramez Elmasri,et al.  Fundamentals of Database Systems , 1989 .

[73]  Jean-Marc Jézéquel,et al.  A Comparison of Six UML-Based Languages for Software Process Modeling , 2010, IEEE Transactions on Software Engineering.

[74]  Gabriele Taentzer,et al.  A Component Concept for Typed Graphs with Inheritance and Containment Structures , 2010, ICGT.

[75]  A. Sangiovanni-Vincentelli,et al.  A Next-Generation Design Framework for Platform-Based Design , 2007 .

[76]  Julien DeAntoni,et al.  Multi-view Power Modeling Based on UML, MARTE and SysML , 2012, 2012 38th Euromicro Conference on Software Engineering and Advanced Applications.

[77]  Hans van Vliet,et al.  A method for defining IEEE Std 1471 viewpoints , 2006, J. Syst. Softw..

[78]  Angelo Gargantini,et al.  A semantic framework for metamodel-based languages , 2009, Automated Software Engineering.

[79]  Joseph Sifakis,et al.  Composition for component-based modeling , 2002, Sci. Comput. Program..