Model-Driven Evolution of Software Architectures

This paper gives an overview of a Ph.D.-project that investigates approaches to support the evolution of software architectures. Particularly, we focus on the use of model-driven techniques in the context of software product-lines. We recognize four tasks related to software evolution: evaluation, conformance checking, migration, and documentation. We propose model-driven solutions for these tasks. By their application in industrial case studies we investigate the extent to which the evolution tasks can be automated, the impact of the use of software product lines, and the possibilities and difficulties to integrate these solutions in industrial practice

[1]  Mary Shaw,et al.  Abstractions for Software Architecture and Tools to Support Them , 1995, IEEE Trans. Software Eng..

[2]  A. vanDeursen,et al.  Migrating a domain-specific modeling language to MDA technology , 2006 .

[3]  Eelco Visser,et al.  Program Transformation with Stratego/XT: Rules, Strategies, Tools, and Systems in Stratego/XT 0.9 , 2003, Domain-Specific Program Generation.

[4]  Julian Padget,et al.  Analyzing equivalences of UML statechart diagrams by structural congruence and open bisimulations , 2003, IEEE Symposium on Human Centric Computing Languages and Environments, 2003. Proceedings. 2003.

[5]  Richard N. Taylor,et al.  A comprehensive approach for the development of modular software architecture description languages , 2005, TSEM.

[6]  Arie van Deursen,et al.  Model-Driven Consistency Checking of Behavioural Specifications , 2007, Fourth International Workshop on Model-Based Methodologies for Pervasive and Embedded Software (MOMPES'07).

[7]  Ivar Jacobson,et al.  Object-oriented software engineering - a use case driven approach , 1993, TOOLS.

[8]  Khaled El Emam,et al.  Spice: The Theory and Practice of Software Process Improvement and Capability Determination , 1997 .

[9]  W. M. Wonham,et al.  Reduced supervisors for timed discrete-event systems , 2003, IEEE Trans. Autom. Control..

[10]  R. Boumen,et al.  Integration and test plans for complex manufacturing systems , 2007 .

[11]  Julie Johnson.  What is the Rational Unified Process ? , 1999 .

[12]  Martijn van Veelen,et al.  Considerations on modeling for early detection of abnormalities in locally autonomous distributed systems , 2007 .

[13]  Brian P. Gallagher,et al.  Using the Architecture Tradeoff Analysis Method SM to Evaluate a Reference Architecture: A Case Study , 2000 .

[14]  Meir M. Lehman,et al.  Program evolution: processes of software change , 1985 .

[15]  B. Kitchenham,et al.  Case Studies for Method and Tool Evaluation , 1995, IEEE Softw..

[16]  Jan Bosch,et al.  Architecture-level modifiability analysis (ALMA) , 2004, J. Syst. Softw..

[17]  Jurgen Vinju,et al.  Analysis and transformation of source code by parsing and rewriting , 2005 .

[18]  Andres Löh,et al.  Exploring generic Haskell , 2004 .

[19]  David Harel,et al.  LSCs: Breathing Life into Message Sequence Charts , 1999, Formal Methods Syst. Des..

[20]  Richard C. Holt,et al.  Software architecture transformations , 2000, Proceedings 2000 International Conference on Software Maintenance.

[21]  Judith A. Stafford,et al.  focus Past, Present, and Future of Software Architecture , 2006 .

[22]  Rick Kazman,et al.  Architecture, design, implementation , 2003, 25th International Conference on Software Engineering, 2003. Proceedings..

[23]  Bernhard Rumpe,et al.  Model-driven Development of Complex Software : A Research Roadmap , 2007 .

[24]  Jim Steel,et al.  Transformation: The Missing Link of MDA , 2002, ICGT.

[25]  Lou J. Somers,et al.  Experiences and Lessons Learned Using UML-RT to Develop Embedded Printer Software , 2002, PROFES.

[26]  Arie van Deursen,et al.  Language Prototyping: An Algebraic Specification Approach , 1996, AMAST Series in Computing.

[27]  Daniel Kroening,et al.  Decision Procedures for Equality Logic and Uninterpreted Functions , 2008 .

[28]  D. L. Parnas,et al.  On the criteria to be used in decomposing systems into modules , 1972, Software Pioneers.

[29]  Jack Greenfield,et al.  Software factories: assembling applications with patterns, models, frameworks and tools , 2004, OOPSLA '03.

[30]  Martijn Hendriks,et al.  Model checking timed automata : techniques and applications , 2006 .

[31]  Ivan Kurtev,et al.  Adaptability of model transformations , 2005 .

[32]  Paul Klint,et al.  A meta-environment for generating programming environments , 1989, TSEM.

[33]  Eelco Dolstra,et al.  The purely functional software deployment model , 2006 .

[34]  E. Burton Swanson,et al.  The dimensions of maintenance , 1976, ICSE '76.

[35]  Chris Verhoef,et al.  The Realities of Language Conversions , 2000, IEEE Softw..

[36]  Y Yuechen Qian,et al.  Data synchronization and browsing for home environments , 2004 .

[37]  J.E. Rooda,et al.  Design of supervisory machine control , 2003, 2003 European Control Conference (ECC).

[38]  Ellis Horowitz,et al.  A survey of Application Generators , 1985, IEEE Software.

[39]  Robert L. Nord,et al.  Generalizing a Model of Software Architecture Design from Five Industrial Approaches , 2005, 5th Working IEEE/IFIP Conference on Software Architecture (WICSA'05).

[40]  Maria Eva Magdalena Lijding,et al.  Real-Time Scheduling of Tertiary Storage , 2003 .

[41]  M. A. Valero Espada,et al.  Modal Abstraction and Replication of Processes with Data , 2005 .

[42]  Jean-Marie Favre,et al.  Foundations of Model (Driven) (Reverse) Engineering : Models - Episode I: Stories of The Fidus Papyrus and of The Solarus , 2004, Language Engineering for Model-Driven Software Development.

[43]  AJ Arjan Mooij,et al.  Constructive formal methods and protocol standardization , 2006 .

[44]  Arie van Deursen,et al.  Visualizing Testsuites to Aid in Software Understanding , 2006, 11th European Conference on Software Maintenance and Reengineering (CSMR'07).

[45]  Arie van Deursen,et al.  Model-driven migration of supervisory machine control architectures , 2006, J. Syst. Softw..

[46]  Ivar Jacobson,et al.  The Unified Software Development Process , 1999 .

[47]  Jan Bosch,et al.  Software Architecture as a Set of Architectural Design Decisions , 2005, 5th Working IEEE/IFIP Conference on Software Architecture (WICSA'05).

[48]  H.M.A. van Beek,et al.  Specification and analysis of Internet applications , 2005 .

[49]  Krzysztof Czarnecki,et al.  Generative programming - methods, tools and applications , 2000 .

[50]  Arie van Deursen,et al.  The Asf+Sdf Meta-Environment: a Component-Based Language Development Environment , 2001, LDTA@ETAPS.

[51]  Wil M. P. van der Aalst,et al.  Workflow mining: discovering process models from event logs , 2004, IEEE Transactions on Knowledge and Data Engineering.

[52]  Jürgen Dingel,et al.  A comparative survey of scenario-based to state-based model synthesis approaches , 2006, SCESM '06.

[53]  Daniel Amyot,et al.  An Evaluation of Scenario Notations and Construction Approaches for Telecommunication Systems Development , 2003, Telecommun. Syst..

[54]  David Notkin,et al.  Software reflexion models: bridging the gap between source and high-level models , 1995, SIGSOFT FSE.

[55]  Greg J. Badros.  JavaML: a markup language for Java source code , 2000, Comput. Networks.

[56]  Timothy James Grose,et al.  Mastering XMI: Java Programming with XMI, XML, and UML , 2002 .

[57]  Stuart Kent,et al.  Model Driven Engineering , 2002, IFM.

[58]  Mikael Lindvall,et al.  Evaluating software architectures , 2004, Adv. Comput..

[59]  Laura Brandán Briones,et al.  Theories for Model-based Testing: Real-time and Coverage , 2007 .

[60]  Paul Clements,et al.  Software architecture in practice , 1999, SEI series in software engineering.

[61]  Cruz Filipe,et al.  Constructive real analysis : a type-theoretical formalization and applications , 2004 .

[62]  Ralf Steinbrüggen,et al.  Program Transformation Systems , 1983, CSUR.

[63]  Ka Lok Man,et al.  Formal specification and analysis of hybrid systems , 2006 .

[64]  Leon Moonen,et al.  Exploring software systems , 2003, International Conference on Software Maintenance, 2003. ICSM 2003. Proceedings..

[65]  Bahareh Badban,et al.  Verification Techniques for Extensions of Equality Logic , 2006 .

[66]  M Mernik,et al.  When and how to develop domain-specific languages , 2005, CSUR.

[67]  Robyn R. Lutz,et al.  Analysis of a software product line architecture: an experience report , 2003, J. Syst. Softw..

[68]  A. J. Markvoort.  Towards hybrid molecular simulations , 2006 .

[69]  Goran Frehse,et al.  Compositional verification of hybrid systems using simulation relations , 2005 .

[70]  Iris Loeb.  Natural Deduction, Sharing By Presentation , 2007 .

[71]  Cris Kobryn.  UML 2001: a standardization odyssey , 1999, CACM.

[72]  Ralf Lämmel,et al.  Towards an engineering discipline for GRAMMARWARE Draft as of August 17 , 2003 , 2003 .

[73]  Derek J. Hatley,et al.  Strategies for Real-Time System Specification , 1987 .

[74]  Yee Wei Law,et al.  Key management and link-layer security of wireless sensor networks : Energy-efficient attack and defense , 2005 .

[75]  Douglas C. Schmidt,et al.  Guest Editor's Introduction: Model-Driven Engineering , 2006, Computer.

[76]  G. Viennot.  Heaps of Pieces, I: Basic Definitions and Combinatorial Lemmas , 1989 .

[77]  Cjf Cas Cremers.  Scyther : semantics and verification of security protocols , 2006 .

[78]  I C M Ingrid Flinsenberg,et al.  Route Planning Algorithms for Car Navigation , 2009 .

[79]  RJ Roy Willemen,et al.  School timetable construction : algorithms and complexity , 2002 .

[80]  Bran Selic,et al.  The Pragmatics of Model-Driven Development , 2003, IEEE Softw..

[81]  den Jeremy Ian Hartog,et al.  Probabilistic Extensions of Semantical Models , 2002 .

[82]  Leonard J. Bass,et al.  Attribute-Based Architecture Styles , 1999, WICSA.

[83]  Martijn M. Schrage,et al.  Proxima: a presentation-oriented editor for structured documents , 2000 .

[84]  Hans Toetenel,et al.  Embedded Software Engineering: The State of the Practice , 2003, IEEE Softw..

[85]  Philippe Kruchten,et al.  The 4+1 View Model of Architecture , 1995, IEEE Softw..

[86]  Michiel van Genuchten.  The Impact of Software Growth on the Electronics Industry , 2007, Computer.

[87]  Bran Selic,et al.  Real-time object-oriented modeling , 1994, Wiley professional computing.

[88]  M. de Jonge,et al.  To reuse or to be reused. Techniques for component composition and construction , 2003 .

[89]  Sander M. Bohte,et al.  Spiking Neural Networks , 2003 .

[90]  Tomas Krilavicius,et al.  Hybrid Techniques for Hybrid Systems , 2006 .

[91]  M. T. Ionita,et al.  Scenario-based system architecting : a systematic approach to developing future-proof system architectures , 2005 .

[92]  Nenad Medvidovic,et al.  Modeling software architectures in the Unified Modeling Language , 2002, TSEM.

[93]  Thomas M. Pigoski.  Practical Software Maintenance: Best Practices for Managing Your Software Investment , 1996 .

[94]  Arie van Deursen,et al.  Little languages: little maintenance , 1998 .

[95]  Arjen van Weelden,et al.  Putting Types To Good Use , 2007 .

[96]  Timothy Lethbridge,et al.  The relevance of software documentation, tools and technologies: a survey , 2002, DocEng '02.

[97]  Jeroen Eggermont,et al.  Data Mining using Genetic Programming : Classification and Symbolic Regression , 2005 .

[98]  David Garlan,et al.  Reconciling the needs of architectural description with object-modeling notations , 2002, Sci. Comput. Program..

[99]  Edsger W. Dijkstra,et al.  The structure of the “THE”-multiprogramming system , 1968, CACM.

[100]  T. Kuipers,et al.  Techniques for understanding legacy software systems , 2002 .

[101]  David Notkin,et al.  ArchJava: connecting software architecture to implementation , 2002, ICSE '02.

[102]  Jean Bézivin,et al.  Model Driven Engineering: An Emerging Technical Space , 2005, GTTSE.

[103]  Pasi Kuvaja.  Software Process Assessment and Improvement: The BOOTSTRAP Approach , 1994 .

[104]  Jean-Marie Favre,et al.  Foundations of Meta-Pyramids: Languages vs. Metamodels - Episode II: Story of Thotus the Baboon1 , 2004, Language Engineering for Model-Driven Software Development.

[105]  Tony Clark,et al.  Model-driven development - Guest editor's introduction , 2003 .

[106]  Cheun Ngen Chong.  Experiments in rights control : expression and enforcement , 2005 .

[107]  Erika Ábrahám,et al.  An Assertional Proof System for Multithreaded Java - Theory and Tool Support , 2005 .

[108]  Yingxu Wang,et al.  What the software industry says about the practices modelled in current software process models? , 1999, Proceedings 25th EUROMICRO Conference. Informatics: Theory and Practice for the New Millennium.

[109]  Michel R. V. Chaudron,et al.  In practice: UML software architecture and design description , 2006, IEEE Software.

[110]  Colin Potts,et al.  Software-engineering research revisited , 1993, IEEE Software.

[111]  Atze Dijkstra.  Stepping through Haskell , 2000 .

[112]  Robert L. Nord,et al.  Software Architecture in Industrial Applications , 1995, 1995 17th International Conference on Software Engineering.

[113]  René L. Krikhaar,et al.  Architectural support in industry: a reflection using C-POSH , 2005, J. Softw. Maintenance Res. Pract..

[114]  de Hayco Jong.  Flexible heterogeneous software systems , 2007 .

[115]  Arie van Deursen,et al.  Domain-specific languages: an annotated bibliography , 2000, SIGP.

[116]  Marco Sinnema,et al.  Product derivation in software product families: a case study , 2005, J. Syst. Softw..

[117]  Jan Bosch,et al.  Maturity and Evolution in Software Product Lines: Approaches, Artefacts and Organization , 2002, SPLC.

[118]  R Ronald Ruimerman,et al.  Modeling and remodeling in bone tissue , 2005 .

[119]  Bas Graaf,et al.  On the Systematic Conformance Check of Software Artefacts , 2005, EWSA.

[120]  Joost Visser,et al.  Generic traversal over typed source code representations , 2003 .

[121]  Leonard J. Bass,et al.  The essential components of software architecture design and analysis , 2006, J. Syst. Softw..

[122]  Jan Bosch,et al.  Software architecture design: evaluation and transformation , 1999, Proceedings ECBS'99. IEEE Conference and Workshop on Engineering of Computer-Based Systems.

[123]  Mark Harman,et al.  7 th European Conference on Software Maintenance and Reengineering , 2003 .

[124]  Marcel Kyas,et al.  Verifying OCL specifications of UML models: tool support and compositionakity , 2006 .

[125]  Jean Bézivin,et al.  On the Applicability Scope of Model Driven Engineering , 2007, Fourth International Workshop on Model-Based Methodologies for Pervasive and Embedded Software (MOMPES'07).

[126]  M. B. van der Zwaag,et al.  Models and logics for process algebra , 2002 .

[127]  Jean Bézivin,et al.  Technological Spaces: An Initial Appraisal , 2002 .

[128]  Jeffrey S. Poulin,et al.  Measuring software reuse - principles, practices, and economic models , 1996 .

[129]  V Victor Bos,et al.  Formal specification and analysis of industrial systems , 2002 .

[130]  Arie van Deursen,et al.  The ASF+SDF Meta-environment: A Component-Based Language Development Environment , 2001 .

[131]  Christopher W. Pidgeon,et al.  DMS®: Program Transformations for Practical Scalable Software Evolution , 2002, IWPSE '02.

[132]  Nikolay Kavaldjiev,et al.  A run-time reconfigurable Network-on-Chip for streaming DSP applications , 2006 .

[133]  Niklaus Wirth,et al.  Program development by stepwise refinement , 1971, CACM.

[134]  Mary Shaw,et al.  An Introduction to Software Architecture , 1993, Advances in Software Engineering and Knowledge Engineering.

[135]  Wpaj Wil Michiels.  Performance ratios for the differencing method , 2004 .

[136]  Colin Atkinson,et al.  Model-Driven Development: A Metamodeling Foundation , 2003, IEEE Softw..

[137]  David Garlan,et al.  Formalizing architectural connection , 1994, Proceedings of 16th International Conference on Software Engineering.

[138]  Spyros Reveliotis.  Real-time management of resource allocation systems : a discrete event systems approach , 2004 .

[139]  Jjd Joep Aerts.  Random redundant storage for video on demand , 2003 .

[140]  Simona Orzan,et al.  On Distributed Verification and Verified Distribution , 2004 .

[141]  Björn Lundell,et al.  UML model interchange in heterogeneous tool environments: an analysis of adoptions of XMI 2 , 2006, MoDELS'06.

[142]  Anneke Kleppe,et al.  MDA explained - the Model Driven Architecture: practice and promise , 2003, Addison Wesley object technology series.

[143]  Ana Sokolova,et al.  Coalgebraic analysis of probabilistic systems , 2005 .

[144]  Richard C. Holt,et al.  Using graph rewriting to specify software architectural transformations , 2000, Proceedings ASE 2000. Fifteenth IEEE International Conference on Automated Software Engineering.

[145]  Arie van Deursen,et al.  Symphony: view-driven software architecture reconstruction , 2004, Proceedings. Fourth Working IEEE/IFIP Conference on Software Architecture (WICSA 2004).

[146]  Ling Cheung,et al.  Reconciling nondeterministic and probabilistic choices , 2006 .

[147]  Eu-Jin Goh,et al.  Searching on Encrypted Data , 2003 .

[148]  Mariëlle Stoelinga,et al.  Alea jacta est : verification of probabilistic, real-time and parametric systems , 2002 .

[149]  Jean Bézivin,et al.  Modeling in the Large and Modeling in the Small , 2003, MDAFA.

[150]  Sebastian Maneth,et al.  Models of tree translation , 2004 .

[151]  Ed Seidewitz,et al.  What Models Mean , 2003, IEEE Softw..

[152]  Gabriele Lenzini,et al.  Integration of Analysis Techniques in Security and Fault-Tolerance , 2005 .

[153]  Bengt Jonsson,et al.  Probabilistic Process Algebra , 2001 .

[154]  Kostas Kontogiannis,et al.  An XML-Based Framework for Language Neutral Program Representation and Generic Analysis , 2005, CSMR.

[155]  Peter Sommerlad,et al.  Pattern-Oriented Software Architecture: A System of Patterns: John Wiley & Sons , 1987 .

[156]  Rini van Solingen,et al.  Tool Support for Distributed Software Engineering , 2006, 2006 IEEE International Conference on Global Software Engineering (ICGSE'06).

[157]  Rick Kazman,et al.  Abstraction classes in software design , 2006, IEE Proc. Softw..

[158]  A. Van Deursen,et al.  Using MDE for Generic Comparison of Views , 2007 .

[159]  Dino Salvo Distefano,et al.  On model checking the dynamics of object-based software : a foundational approach , 2003 .

[160]  C.-B. Breunesse.  On JML: topics in tool-assisted verification of Java programs , 2006 .

[161]  Jean Bézivin,et al.  On the unification power of models , 2005, Software & Systems Modeling.

[162]  Vojislav B. Misic,et al.  Extending the ATAM Architecture Evaluation to Product Line Architectures , 2005, 5th Working IEEE/IFIP Conference on Software Architecture (WICSA'05).

[163]  Published Software Architecture Definitions , 2006 .

[164]  E. Dijkstra.  On the Role of Scientific Thought , 1982 .

[165]  Peter Verbaan,et al.  The Computational Complexity of Evolving Systems , 2006 .

[166]  Leon Moonen,et al.  Identification Of Variation Points Using Dynamic Analysis , 2005 .

[167]  R. Yin.  Case Study Research: Design and Methods , 1984 .

[168]  F. Alkemade,et al.  Evolutionary agent-based economics , 2004 .

[169]  G. Rozenberg,et al.  Effective models for the structure of ð-calculus processes with replication , 2001 .

[170]  Ivar Jacobson,et al.  Object-Oriented Software Engineering , 1991, TOOLS.

[171]  T. van deStorm.  Component-Based Configuration, Integration and Delivery , 2007 .

[172]  Anton Wijs,et al.  Silent steps in transition systems and Markov chains , 2007 .

[173]  Juan Visente Guillen Scholten,et al.  Mobile Channels for Exogenous Coordination of Distributed Systems: Semantics, Implementation and Composition , 2007 .

[174]  Arie van Deursen,et al.  Source model analysis using the JJTraveler visitor combinator framework , 2004, Softw. Pract. Exp..

[175]  Paul Clements,et al.  Software product lines - practices and patterns , 2001, SEI series in software engineering.

[176]  M. Niqui,et al.  Formalising Exact Arithmetic. Representations, Algorithms and Proofs , 2004 .

[177]  Arie van Deursen,et al.  Software architecture reconstruction , 2004, Proceedings. 26th International Conference on Software Engineering.

[178]  Ricardo Corin,et al.  Analysis Models for Security Protocols , 2006 .

[179]  van Arie Deursen,et al.  De software-evolutieparadox , 2005 .

[180]  Watts S. Humphrey,et al.  Managing the software process , 1989, The SEI series in software engineering.

[181]  F. Bartels,et al.  On Generalised Coinduction and Probabilistic Specification Formats , 2004 .

[182]  Ivar Jacobson,et al.  Software Reuse: Architecture, Process And Organization For Business Success , 1998, Proceedings. Technology of Object-Oriented Languages. TOOLS 26 (Cat. No.98EX176).

[183]  J. Ketema,et al.  Bohm-Like Trees for Rewriting , 2006 .

[184]  Cfj Christian Lange,et al.  Assessing and improving the quality of modeling : a series of empirical studies about the UML , 2007 .

[185]  E. Burton Swanson,et al.  Characteristics of application software maintenance , 1978, CACM.

[186]  Krzysztof Czarnecki,et al.  Feature-based survey of model transformation approaches , 2006, IBM Syst. J..

[187]  IEEE-SA Standards Board , 2000 .

[188]  Marco Sinnema,et al.  Model Driven Architecture as Approach to Manage Variability in Software Product Families , 2003 .

[189]  Daan Leijen,et al.  The λ Abroad - A Functional Approach to Software Components , 2003 .

[190]  P. Zoeteweij,et al.  Composing constraint solvers , 2005 .

[191]  Perdita Stevens.  On Associations in the Unified Modelling Language , 2001, UML.

[192]  Ivan Kurtev Ivanov,et al.  Adaptability of model transformations , 2005 .

[193]  Michael Eichberg,et al.  A Handbook of Software and Systems Engineering , 2009 .

[194]  Edmund M. Clarke,et al.  Model Checking , 1999, Handbook of Automated Reasoning.

[195]  Jeroen Doumen,et al.  Searching in encrypted data , 2004 .

[196]  Salvatore Mamone,et al.  The IEEE standard for software maintenance , 1994, SOEN.

[197]  Fred P. Brooks,et al.  The Mythical Man-Month , 1975, Reliable Software.

[198]  Anton Wijs,et al.  What to do next? Analysing and optimising system behaviour in time , 2007 .

[199]  Giorgio Buttazzo,et al.  Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications , 1997 .

[200]  Aniruddha S. Gokhale,et al.  Model-Driven Program Transformation of a Large Avionics Framework , 2004, GPCE.

[201]  Thomas Baar,et al.  Making Metamodels Aware of Concrete Syntax , 2005, ECMDA-FA.

[202]  Michel A. Reniers,et al.  Hybrid process algebra , 2005, J. Log. Algebraic Methods Program..

[203]  David Garlan,et al.  Architectural Styles, Design Patterns, And Objects , 1997, IEEE Softw..

[204]  Philippe Kruchten,et al.  The Past, Present, and Future for Software Architecture , 2006, IEEE Software.

[205]  Hans Toetenel,et al.  Software Technologies for Embedded Systems: An Industry Inventory , 2002, PROFES.

[206]  M. T. de Berg,et al.  Multi-functional geometric data structures , 2003 .

[207]  ChenPeter Pin-Shan.  The entity-relationship modeltoward a unified view of data , 1976 .

[208]  Jan Bosch,et al.  Design and use of software architectures - adopting and evolving a product-line approach , 2000 .

[209]  Jean Bézivin,et al.  Towards a precise definition of the OMG/MDA framework , 2001, Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001).

[210]  Daniel R. Tauritz,et al.  Adaptive Information Filtering: Concepts and Algorithms , 2002 .

[211]  N.J.M. van den Nieuwelaar,et al.  Supervisory machine control by predictive-reactive scheduling , 2004 .

[212]  Reinder J. Bril,et al.  Real-time scheduling for media processing using conditionally guaranteed budgets , 2004 .

[213]  David Garlan,et al.  Acme: architectural description of component-based systems , 2000 .

[214]  Arie van Deursen,et al.  Evaluating an embedded software reference architecture - industrial experience report , 2005, Ninth European Conference on Software Maintenance and Reengineering.

[215]  S. P. Luttik.  Choice quantification in process algebra , 2002 .

[216]  Tom Mens,et al.  A Taxonomy of Model Transformation , 2006, GRaMoT@GPCE.

[217]  Robert L. Nord,et al.  Reconstructing software architecture for J2EE web applications , 2003, 10th Working Conference on Reverse Engineering, 2003. WCRE 2003. Proceedings..

[218]  Bastiaan Heeren,et al.  Top quality type error Messages , 2005 .

[219]  Mary Shaw,et al.  Software architecture - perspectives on an emerging discipline , 1996 .

[220]  Tac Tim Willemse.  Semantics and verification in process algebras with data and timing , 2003 .

[221]  Bran Selic,et al.  An MDA Manifesto , 2004 .

[222]  Edsger W. Dijkstra,et al.  Selected Writings on Computing: A personal Perspective , 1982, Texts and Monographs in Computer Science.

[223]  Pierre-Yves Schobbens,et al.  From live sequence charts to state machines and back: a guided tour , 2005, IEEE Transactions on Software Engineering.

[224]  EO Esko Dijk.  Indoor ultrasonic position estimation using a single base station , 2004 .

[225]  Stephan Merz,et al.  Model checking UML state machines and collaborations , 2001, Workshop on Software Model Checking @ CAV.

[226]  Gregory D. Abowd,et al.  Using style to understand descriptions of software architecture , 1993, SIGSOFT '93.

[227]  T. D. Vu,et al.  Semantics and applications of process and program algebra , 2007 .

[228]  G Giovanni Russello,et al.  Separation and adaptation of concerns in a shared data space , 2006 .

[229]  Laurian M. Chirica,et al.  The entity-relationship model: toward a unified view of data , 1975, SIGF.

[230]  Desmond D'Souza,et al.  Objects, Components, and Frameworks with UML: The Catalysis Approach , 1998 .

[231]  P. Ramadge,et al.  Supervisory control of a class of discrete event processes , 1987 .

[232]  Richard N. Taylor,et al.  A framework for classifying and comparing architecture description languages , 1997, ESEC '97/FSE-5.

[233]  Hui Gao,et al.  Design and verification of lock-free parallel algorithms , 2005 .

[234]  Robert L. Nord,et al.  Applied Software Architecture , 1999, Addison Wesley object technology series.

[235]  B. Gebremichael-Tesfagiorgis,et al.  Expressivity of Timed Automata Models , 2006 .

[236]  Jeff Magee,et al.  The Koala Component Model for Consumer Electronics Software , 2000, Computer.

[237]  Jun Pang,et al.  Formal Verification of Distributed Systems , 2004 .

[238]  Siegfried Nijssen.  Mining Structured Data , 2006 .

[239]  Alexander L. Wolf,et al.  Acm Sigsoft Software Engineering Notes Vol 17 No 4 Foundations for the Study of Software Architecture , 2022 .

[240]  Hartmut Peter Benz,et al.  Casual Multimedia Process Annotations -- CoMPAs , 2003 .

[241]  Ihsan Sabuncuoglu,et al.  Analysis of reactive scheduling problems in a job shop environment , 2000, Eur. J. Oper. Res..

[242]  Johann Schumann,et al.  Generating statechart designs from scenarios , 2000, Proceedings of the 2000 International Conference on Software Engineering. ICSE 2000 the New Millennium.

[243]  Leonard J. Bass,et al.  Scenario-Based Analysis of Software Architecture , 1996, IEEE Softw..

[244]  Arie van Deursen,et al.  Migrating supervisory control architectures using model transformations , 2006, Conference on Software Maintenance and Reengineering (CSMR'06).

[245]  Chung Laung Liu,et al.  Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment , 1989, JACM.

[246]  Thomas Wolle,et al.  Computational aspects of treewidth : Lower bounds and network reliability , 2005 .

[247]  Meir M. Lehman.  Programs, life cycles, and laws of software evolution , 1980 .

[248]  H. A. deJong.  Flexible Heterogeneous Software Systems , 2007 .

[249]  Arie van Deursen,et al.  Visualisation of Domain-Specific Modelling Languages Using UML , 2007, 14th Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS'07).

[250]  Maurice H. ter Beek,et al.  Team Automata: A Formal Approach to the Modeling of Collaboration Between System Components , 2003 .

[251]  David Garlan,et al.  A formal basis for architectural connection , 1997, TSEM.

[252]  Mohammad Reza Mousavi,et al.  Structuring structural operational semantics , 2005 .

[253]  V. Sundramoorthy,et al.  At Home in Service Discovery , 2006 .

[254]  Charles W. Krueger,et al.  Software reuse , 1992, CSUR.

[255]  Eila Niemelä,et al.  A Survey on Software Architecture Analysis Methods , 2002, IEEE Trans. Software Eng..

[256]  Leonard J. Bass,et al.  SAAM: a method for analyzing the properties of software architectures , 1994, Proceedings of 16th International Conference on Software Engineering.

[257]  David Garlan,et al.  Architectural Mismatch or Why it's hard to build systems out of existing parts , 1995, 1995 17th International Conference on Software Engineering.

[258]  David Garlan,et al.  Documenting software architectures: views and beyond , 2002, 25th International Conference on Software Engineering, 2003. Proceedings..

[259]  Frédéric Jouault,et al.  Transforming Models with ATL , 2005, MoDELS.

[260]  Martijn Warnier,et al.  Language based security for Java and JML , 2006 .

[261]  Shane Sendall,et al.  Model Transformation: The Heart and Soul of Model-Driven Software Development , 2003, IEEE Softw..

[262]  J. Craig Cleaveland,et al.  Building application generators , 1988, IEEE Software.