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

'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.-