Models in Software Engineering

This book constitutes a collection of the best papers selected from the 12 workshops and 3 tutorials held in conjunction with MODELS 2008, the 11th International Conference on Model Driven Engineering Languages and Systems, in Toulouse, France, September 28 - October 3, 2008.

The contributions are organized within the volume according to the workshops at which they were presented: Model Based Architecting and Construction of Embedded Systems (ACES-MB); Challenges in Model Driven Software Engineering (CHAMDE); Empirical Studies of Model Driven Engineering (ESMDA); Models@runtime; Model Co-evolution and Consistency Management (MCCM); Model-Driven Web Engineering (MDWE); Modeling Security (MODSEC); Model-Based Design of Trustworthy Health Information Systems (MOTHIS); Non-functional System Properties in Domain Specific Modeling Languages (NFPin DSML); OCL Tools: From Implementation to Evaluation and Comparison (OCL); Quality in Modeling (QIM); and Transforming and Weaving Ontologies and Model Driven Engineering (TWOMDE). Each section includes a summary of the workshop. The last three sections contain selected papers from the Doctoral Symposium, the Educational Symposium and the Research Project Symposium, respectively.

Inhalt

Model Based Architecting and Construction of Embedded Systems (ACES-MB).- Model Based Architecting and Construction of Embedded Systems.- Translating AADL into BIP - Application to the Verification of Real-Time Systems.- Towards Model-Based Integration of Tools and Techniques for Embedded Control System Design, Verification, and Implementation.- Challenges in Model Driven Software Engineering (CHAMDE).- Challenges in Model-Driven Software Engineering.- The Grand Challenge of Scalability for Model Driven Engineering.- MDE Adoption in Industry: Challenges and Success Criteria.- Behavior, Time and Viewpoint Consistency: Three Challenges for MDE.- Empirical Studies of Model Driven Engineering (ESMDA).- Embedded System Construction - Evaluation of Model-Driven and Component-Based Development Approaches.- Assessing the Power of a Visual Modeling Notation - Preliminary Contemplations on Designing a Test -.- Models@runtime.- Third International Workshop on Models@run.time.- Modeling and Validating Dynamic Adaptation.- Model-Based Traces.- Model Co-evolution and Consistency Management (MCCM).- Model Co-evolution and Consistency Management (MCCM'08).- On Integrating OCL and Triple Graph Grammars.- Triple Graph Grammars or Triple Graph Transformation Systems?.- Model-Driven Web Engineering (MDWE).- Model-Driven Web Engineering (MDWE 2008).- Model Transformations for Performability Analysis of Service Configurations.- A Transformation Framework to Bridge Domain Specific Languages to MDA.- Modeling Security (MODSEC).- First International Modeling Security Workshop.- Security Requirements Elicitation Using Method Weaving and Common Criteria.- Model-Based Design of Trustworthy Health Information Systems (MOTHIS).- Second International Workshop on the Model-Based Design of Trustworthy Health Information Systems MOTHIS 2008.- Experiences from Model-Driven Development of Homecare Services: UML Profiles and Domain Models.- Ontology-Based Assessment of Functional Redundancy in Health Information Systems.- Non-Functional System Properties in Domain Specific Modeling Languages (NFPin DSML).- The First International Workshop on Non-Functional System Properties in Domain Specific Modeling Languages (NFPinDSML2008).- FPTC: Automated Safety Analysis for Domain-Specific Languages.- From Access Control Policies to an Aspect-Based Infrastructure: A Metamodel-Based Approach.- OCL Tools: From Implementation to Evaluation and Comparison (OCL).- Eighth International Workshop on OCL Concepts and Tools.- Shortcomings of the Embedding of OCL into QVT ImperativeOCL.- Optimization Patterns for OCL-Based Model Transformations.- Quality in Modeling (QIM).- Third International Workshop on Quality in Modeling.- Description and Implementation of a UML Style Guide.- Empirical Validation of Measures for UML Class Diagrams: A Meta-Analysis Study.- Transforming and Weaving Ontologies and Model Driven Engineering (TWOMDE).- First Workshop on Transforming and Weaving Ontologies in Model Driven Engineering (TWOMDE 2008).- Using an Ontology to Suggest Software Design Patterns Integration.- Using Ontologies in the Domain Analysis of Domain-Specific Languages.- Doctoral Symposium.- Model-Driven Development of Context-Aware Web Applications Based on a Web Service Context Management Architecture.- DSL Tool Development with Transformations and Static Mappings.- Educational Symposium.- Current Issues in Teaching Software Modeling: Educators Symposium at MODELS 2008.- The UML Is More Than Boxes and Lines.- Automatic Checklist Generation for the Assessment of UML Models.- Research Project Symposium.- MODELS Research Projects Symposium.