Model Driven Engineering Languages and Systems : 8th International Conference, MoDELS 2005, Montego Bay, Jamaica, October 2-7, 2005, Proceedings

The MoDELS (Model Driven Engineering, Languages, and Systems) conference is a continuation of the successful series of UML conferences. This volume contains the ?nal versions of the technical papers presented at MoDELS 2005 in Montego Bay, Jamaica, October 2–7, 2005. The UML series began in 1988 at Mulhouse, France when the Uni?ed Modeling Language was relatively new. Since then the conferences have been annually, with an increase in both attendance and the breadth of the work presentedattheconferences.Theappearanceofnewresearchareasandtopicsin prior conferences was the motivation for renaming the conference to re?ect the broadermissiontheconferenceswereenabling.Amongthenewareastakingtheir place alongside UML and related standards, such as Model Driven Architecture (MDA), are model refactoring, aspect oriented modeling, and model quality control. The call for papers for MoDELS 2005 resulted in the submission of 215 abstracts and 166 papers. Each submission was reviewed by at least 3 referees assignedfromthesetof51ProgramCommitteemembers.Afterseveralroundsof discussion within the ProgramCommittee, 46 papers (40 scienti?c papers and 6 experience papers) were selected for publication. The Program Committee also selected a paper for the Best Paper MoDELS 2005 Award. The paper is by Friedrich Steimann and is titled “Domain Models are Aspect Free.” The review process was managed using the VirtualChair reviewing system, developed by Vahid Garousi at Carleton University, Ottawa, Canada.

Keynote Address I.- Keynote Address I: Model Driven Development for Distributed Real-Time and Embedded Systems.- Process.- Activity Diagram Patterns for Modeling Quality Constraints in Business Processes.- UML4SPM: A UML2.0-Based Metamodel for Software Process Modelling.- Realizing Model Driven Security for Inter-organizational Workflows with WS-CDL and UML 2.0.- Product Families, Reuse.- Code Generation from UML Models with Semantic Variation Points.- Composing Domain-Specific Languages for Wide-Scope Software Engineering Applications.- Model Typing for Improving Reuse in Model-Driven Engineering.- State/Behavioral Modeling.- UML Vs. Classical Vs. Rhapsody Statecharts: Not All Models Are Created Equal.- Evaluating the Effect of Composite States on the Understandability of UML Statechart Diagrams.- Computing Refactorings of Behavior Models.- Aspects.- Dynamic Secure Aspect Modeling with UML: From Models to Code.- Performance Analysis of UML Models Using Aspect-Oriented Modeling Techniques.- Domain Models Are Aspect Free.- Design Strategies.- Representing and Applying Design Patterns: What Is the Problem?.- Properties of Stereotypes from the Perspective of Their Role in Designs.- A Modelling and Simulation Based Approach to Dependable System Design.- Model Transformations.- Extending Profiles with Stereotypes for Composite Concepts.- Transformation from CIM to PIM: A Feature-Oriented Component-Based Approach.- Weaving Executability into Object-Oriented Meta-languages.- Keynote Address II.- Keynote Address II: Domain-Specific Modeling: No One Size Fits All.- Model Refactoring.- Refactoring OCL Annotated UML Class Diagrams.- Replicators: Transformations to Address Model Scalability.- Simplifying Transformations of OCL Constraints.- Quality Control.- Lessons Learned from Automated Analysis of Industrial UML Class Models (An Experience Report).- Reliability Prediction in Model-Driven Development.- Model-Based Scalability Estimation in Inception-Phase Software Architecture.- MDA I.- Explicit Platform Models for MDA.- Integrated Model-Based Software Development, Data Access, and Data Migration.- Invited Presentation I: Lessons Learned, New Directions, and Migration Plans for Model-Driven Development of Large Scale Software Based Systems.- Automation I.- Concepts for Comparing Modeling Tool Architectures.- Scenario Construction Tool Based on Extended UML Metamodel.- Invited Presentation II: Experiences in Applying Model Based System Testing Generation.- UML 2.0.- The Impact of UML 2.0 on Existing UML 1.4 Models.- Towards UML 2 Extensions for Compact Modeling of Regular Complex Topologies.- Using UML 2.0 Collaborations for Compositional Service Specification.- Industrial Experience.- Model-Driven Engineering in a Large Industrial Context — Motorola Case Study.- Using a Domain-Specific Language and Custom Tools to Model a Multi-tier Service-Oriented Application — Experiences and Challenges.- Invited Presentation III: The Architects’ Workbench — Research in the Trenches.- Crosscutting Concerns.- Uniform Support for Modeling Crosscutting Structure.- Modeling Crosscutting Services with UML Sequence Diagrams.- A Formal Enforcement Framework for Role-Based Access Control Using Aspect-Oriented Programming.- Modeling Strategies I.- A Domain Model for Dynamic System Reconfiguration.- Exceptional Use Cases.- MDA II.- Modeling Turnpike Frontend System: A Model-Driven Development Framework Leveraging UML Metamodeling and Attribute-Oriented Programming.- Simplifying Autonomic Enterprise Java Bean Applications Via Model-Driven Development: A Case Study.- Automation II.- Automated Invariant Maintenance Via OCL Compilation.- SelfSync: A Dynamic Round-Trip Engineering Environment.- UML for Document Modeling: Designing Document Structures for Massive and Systematic Production of XML-based Web Contents.- Modeling Strategies II.- Metamodel Reuse with MOF.- Modeling the User Interface of Multimedia Applications.- An Ontology-Based Approach for Evaluating the Domain Appropriateness and Comprehensibility Appropriateness of Modeling Languages.- Workshops, Tutorials and Panels.- Workshops at the MODELS 2005 Conference.- Tutorials at the MODELS 2005 Conference.- Panels at the MODELS 2005 Conference.