Software and System Modeling, Volume 5

Volume 5, Number 1, April 2006

• Robert B. France, Bernhard Rumpe:
  Modeling the Complex Living World. 1-2
  
• Trygve Reenskaug:
  Expert' voice: The BabyUML discipline of programming. 3-12
  
• Peter Scholz:
  Partitioning of perfect synchroneous reactive specifications to distributed processors using µ-charts. 13-25
  
• Friedrich Steimann, Heribert Vollmer:
  Exploiting practical limitations of UML diagrams for model validation and execution. 26-47
  
• Silvia Mara Abrahão, Geert Poels, Oscar Pastor:
  A functional size measurement method for object-oriented conceptual schemas: design and evaluation issues. 48-71
  
• Cesar Gonzalez-Perez, Brian Henderson-Sellers:
  A powertype-based metamodelling framework. 72-90
  
• Ashley T. McNeile, Nicholas Simons:
  Protocol modelling: A modelling approach that supports reusable behavioural abstractions. 91-107
  

Volume 5, Number 2, June 2006

• Robert B. France, Bernhard Rumpe:
  Editorial for the SoSyM issue 2006/02. 1
  
• Kevin Lano, José Luiz Fiadeiro:
  Extending UML with coordination contracts. 110-120
  
• Nicolas Gorse, Luigi Logrippo, Jacques Sincennes:
  Detecting feature interaction in CPL. 121-134
  
• Nicolas Gorse, Luigi Logrippo, Jacques Sincennes:
  Formal detection of feature interactions with logic programming and LOTOS. 135
  
• Holger Giese, Alexander Vilbig:
  Separation of non-orthogonal concerns in software architecture and design. 136-169
  
• Manfred Broy, Heinrich Hussmann, Ingolf H. Krüger, Bernhard Schätz:
  SoSyM special section on service-based software engineering. 170-171
  
• Hong Mei, Wei Zhang, Haiyan Zhao:
  A metamodel for modeling system features and their refinement, constraint and interaction relationships. 172-186
  
• Luciano Baresi, Reiko Heckel, Sebastian Thöne, Dániel Varró:
  Style-based modeling and refinement of service-oriented architectures. 187-207
  
• Bill Karakostas, Yannis Zorgios, Charalampos C. Alevizos:
  Automatic derivation of BPEL4WS from IDEF0 process models. 208-218
  
• Zakaria Maamar, Djamal Benslimane, Michael Mrissa, Chirine Ghedira:
  CooPS - Towards a method for coordinating personalized services. 219-229
  

Volume 5, Number 3, September 2006

• Jean Bézivin, Reiko Heckel:
  Guest Editorial to the Special Issue on Language Engineering for Model-Driven Software Development. 231-232
  
• Jochen Malte Küster:
  Definition and validation of model transformations. 233-259
  
• Aditya Agrawal, Gabor Karsai, Sandeep Neema, Feng Shi, Attila Vizhanyo:
  The design of a language for model transformations. 261-288
  
• Fernando Luís Dotti, Leila Ribeiro, Osmar Marchi dos Santos, Fábio Pasini:
  Verifying Object-based Graph Grammars. 289-311
  
• Gergely Varró, Katalin Friedl, Dániel Varró:
  Implementing a Graph Transformation Engine in Relational Databases. 313-341
  

Volume 5, Number 4, December 2006

• Robert B. France, Bernhard Rumpe:
  Five years of modeling in SoSyM. 343-347
  
• Alexander Königs, Andy Schürr:
  MDI: A Rule-based Multi-document and Tool Integration Approach. 349-368
  
• Thomas Kühne:
  Matters of (Meta-)Modeling. 369-385
  
• Wolfgang Hesse:
  More matters on (meta-)modelling: remarks on Thomas Kühne's "matters". 387-394
  
• Thomas Kühne:
  Clarifying matters of (meta-) modeling: an author's reply. 395-401
  
• João M. Fernandes, Johan Lilius, Dragos Truscan:
  Integration of DFDs into a UML-based Model-driven Engineering Approach. 403-428
  
• Manuel Koch, Francesco Parisi-Presicce:
  UML specification of access control policies and their formal verification. 429-447
  
• Ludovic Apvrille, Pierre de Saqui-Sannes, Ferhat Khendek:
  TURTLE-P: a UML profile for the formal validation of critical and distributed systems. 449-466