8. MoDELS 2005: Montego Bay, Jamaica

Lionel C. Briand, Clay Williams (Eds.): Model Driven Engineering Languages and Systems, 8th International Conference, MoDELS 2005, Montego Bay, Jamaica, October 2-7, 2005, Proceedings. Lecture Notes in Computer Science 3713 Springer 2005, ISBN 3-540-29010-9 BibTeX

Keynote Address I

Douglas C. Schmidt:
Model Driven Development for Distributed Real-Time and Embedded Systems. 1
Electronic Edition (link) BibTeX

Process

Alexander Förster, Gregor Engels, Tim Schattkowsky:
Activity Diagram Patterns for Modeling Quality Constraints in Business Processes. 2-16
Electronic Edition (link) BibTeX
Reda Bendraou, Marie-Pierre Gervais, Xavier Blanc:
UML4SPM: A UML2.0-Based Metamodel for Software Process Modelling. 17-38
Electronic Edition (link) BibTeX
Michael Hafner, Ruth Breu:
Realizing Model Driven Security for Inter-organizational Workflows with WS-CDL and UML 2.0. 39-53
Electronic Edition (link) BibTeX

Product Families, Reuse

Franck Chauvel, Jean-Marc Jézéquel:
Code Generation from UML Models with Semantic Variation Points. 54-68
Electronic Edition (link) BibTeX
Jacky Estublier, Germán Vega, Anca Daniela Ionita:
Composing Domain-Specific Languages for Wide-Scope Software Engineering Applications. 69-83
Electronic Edition (link) BibTeX
Jim Steel, Jean-Marc Jézéquel:
Model Typing for Improving Reuse in Model-Driven Engineering. 84-96
Electronic Edition (link) BibTeX

State/Behavioral Modeling

Michelle L. Crane, Jürgen Dingel:
UML Vs. Classical Vs. Rhapsody Statecharts: Not All Models Are Created Equal. 97-112
Electronic Edition (link) BibTeX
José A. Cruz-Lemus, Marcela Genero, M. Esperanza Manso, Mario Piattini:
Evaluating the Effect of Composite States on the Understandability of UML Statechart Diagrams. 113-125
Electronic Edition (link) BibTeX
Alexander Pretschner, Wolfgang Prenninger:
Computing Refactorings of Behavior Models. 126-141
Electronic Edition (link) BibTeX

Aspects

Jan Jürjens, Siv Hilde Houmb:
Dynamic Secure Aspect Modeling with UML: From Models to Code. 142-155
Electronic Edition (link) BibTeX
Hui Shen, Dorina C. Petriu:
Performance Analysis of UML Models Using Aspect-Oriented Modeling Techniques. 156-170
Electronic Edition (link) BibTeX
Friedrich Steimann:
Domain Models Are Aspect Free. 171-185
Electronic Edition (link) BibTeX

Design Strategies

Hafedh Mili, Ghizlane El-Boussaidi:
Representing and Applying Design Patterns: What Is the Problem?. 186-200
Electronic Edition (link) BibTeX
Miroslaw Staron, Ludwik Kuzniarz:
Properties of Stereotypes from the Perspective of Their Role in Designs. 201-216
Electronic Edition (link) BibTeX
Miriam Zia, Sadaf Mustafiz, Hans Vangheluwe, Jörg Kienzle:
A Modelling and Simulation Based Approach to Dependable System Design. 217-231
Electronic Edition (link) BibTeX

Model Transformations

Dick A. C. Quartel, Remco M. Dijkman, Marten van Sinderen:
Extending Profiles with Stereotypes for Composite Concepts. 232-247
Electronic Edition (link) BibTeX
Wei Zhang, Hong Mei, Haiyan Zhao, Jie Yang:
Transformation from CIM to PIM: A Feature-Oriented Component-Based Approach. 248-263
Electronic Edition (link) BibTeX
Pierre-Alain Muller, Franck Fleurey, Jean-Marc Jézéquel:
Weaving Executability into Object-Oriented Meta-languages. 264-278
Electronic Edition (link) BibTeX

Keynote Address II

Juha-Pekka Tolvanen:
Keynote Address II: Domain-Specific Modeling: No One Size Fits All. 279
Electronic Edition (link) BibTeX

Model Refactoring

Slavisa Markovic, Thomas Baar:
Refactoring OCL Annotated UML Class Diagrams. 280-294
Electronic Edition (link) BibTeX
Jeffrey G. Gray, Yuehua Lin, Jing Zhang, Steven Nordstrom, Aniruddha S. Gokhale, Sandeep Neema, Swapna S. Gokhale:
Replicators: Transformations to Address Model Scalability. 295-308
Electronic Edition (link) BibTeX
Martin Giese, Daniel Larsson:
Simplifying Transformations of OCL Constraints. 309-323
Electronic Edition (link) BibTeX

Quality Control

Betty H. C. Cheng, Ryan Stephenson, Brian Berenbach:
Lessons Learned from Automated Analysis of Industrial UML Class Models (An Experience Report). 324-338
Electronic Edition (link) BibTeX
Genaína Nunes Rodrigues, David S. Rosenblum, Sebastián Uchitel:
Reliability Prediction in Model-Driven Development. 339-354
Electronic Edition (link) BibTeX
Steve Masticola, Andre B. Bondi, Mark Hettish:
Model-Based Scalability Estimation in Inception-Phase Software Architecture. 355-366
Electronic Edition (link) BibTeX

MDA I

Dennis Wagelaar, Viviane Jonckers:
Explicit Platform Models for MDA. 367-381
Electronic Edition (link) BibTeX
Behzad Bordbar, Dirk Draheim, Matthias Horn, Ina Schulz, Gerald Weber:
Integrated Model-Based Software Development, Data Access, and Data Migration. 382-396
Electronic Edition (link) BibTeX
Michael J. Marich, Haig F. Krikorian:
Invited Presentation I: Lessons Learned, New Directions, and Migration Plans for Model-Driven Development of Large Scale Software Based Systems. 397-397
Electronic Edition (link) BibTeX

Automation I

Colin Atkinson, Thomas Kühne:
Concepts for Comparing Modeling Tool Architectures. 398-413
Electronic Edition (link) BibTeX
Michal Smialek, Jacek Bojarski, Wiktor Nowakowski, Tomasz Straszak:
Scenario Construction Tool Based on Extended UML Metamodel. 414-429
Electronic Edition (link) BibTeX
Marlon Vieira:
Invited Presentation II: Experiences in Applying Model Based System Testing Generation. 430
Electronic Edition (link) BibTeX

UML 2.0

Julie A. Street, Robert G. Pettit IV:
The Impact of UML 2.0 on Existing UML 1.4 Models. 431-444
Electronic Edition (link) BibTeX
Arnaud Cuccuru, Jean-Luc Dekeyser, Philippe Marquet, Pierre Boulet:
Towards UML 2 Extensions for Compact Modeling of Regular Complex Topologies. 445-459
Electronic Edition (link) BibTeX
Richard Torbjørn Sanders, Humberto Nicolás Castejón, Frank Alexander Kraemer, Rolv Bræk:
Using UML 2.0 Collaborations for Compositional Service Specification. 460-475
Electronic Edition (link) BibTeX

Industrial Experience

Paul Baker, Shiou Loh, Frank Weil:
Model-Driven Engineering in a Large Industrial Context - Motorola Case Study. 476-491
Electronic Edition (link) BibTeX
Marek Vokác, Jens M. Glattetre:
Using a Domain-Specific Language and Custom Tools to Model a Multi-tier Service-Oriented Application - Experiences and Challenges. 492-506
Electronic Edition (link) BibTeX
Doug Kimelman:
Invited Presentation III: The Architects' Workbench - Research in the Trenches. 507
Electronic Edition (link) BibTeX

Crosscutting Concerns

Maria Tkatchenko, Gregor Kiczales:
Uniform Support for Modeling Crosscutting Structure. 508-521
Electronic Edition (link) BibTeX
Martin Deubler, Michael Meisinger, Sabine Rittmann, Ingolf Krüger:
Modeling Crosscutting Services with UML Sequence Diagrams. 522-536
Electronic Edition (link) BibTeX
Jaime A. Pavlich-Mariscal, Laurent Michel, Steven A. Demurjian:
A Formal Enforcement Framework for Role-Based Access Control Using Aspect-Oriented Programming. 537-552
Electronic Edition (link) BibTeX

Modeling Strategies I

D'Arcy Walsh, Francis Bordeleau, Bran Selic:
A Domain Model for Dynamic System Reconfiguration. 553-567
Electronic Edition (link) BibTeX
Aaron Shui, Sadaf Mustafiz, Jörg Kienzle, Christophe Dony:
Exceptional Use Cases. 568-583
Electronic Edition (link) BibTeX

MDA II

Hiroshi Wada, Junichi Suzuki:
Modeling Turnpike Frontend System: A Model-Driven Development Framework Leveraging UML Metamodeling and Attribute-Oriented Programming. 584-600
Electronic Edition (link) BibTeX
Jules White, Douglas C. Schmidt, Aniruddha S. Gokhale:
Simplifying Autonomic Enterprise Java Bean Applications Via Model-Driven Development: A Case Study. 601-615
Electronic Edition (link) BibTeX

Automation II

Kurt Stirewalt, Spencer Rugaber:
Automated Invariant Maintenance Via OCL Compilation. 616-632
Electronic Edition (link) BibTeX
Ellen Van Paesschen, Wolfgang De Meuter, Maja D'Hondt:
SelfSync: A Dynamic Round-Trip Engineering Environment. 633-647
Electronic Edition (link) BibTeX
Alejandro Bia, Jaime Gómez:
UML for Document Modeling: Designing Document Structures for Massive and Systematic Production of XML-based Web Contents. 648-660
Electronic Edition (link) BibTeX

Modeling Strategies II

Xavier Blanc, Franklin Ramalho, Jacques Robin:
Metamodel Reuse with MOF. 661-675
Electronic Edition (link) BibTeX
Andreas Pleuß:
Modeling the User Interface of Multimedia Applications. 676-690
Electronic Edition (link) BibTeX
Giancarlo Guizzardi, Luís Ferreira Pires, Marten van Sinderen:
An Ontology-Based Approach for Evaluating the Domain Appropriateness and Comprehensibility Appropriateness of Modeling Languages. 691-705
Electronic Edition (link) BibTeX

Workshops, Tutorials and Panels

Jean-Michel Bruel:
Workshops at the MODELS 2005 Conference. 706-714
Electronic Edition (link) BibTeX
Gianna Reggio:
Tutorials at the MODELS 2005 Conference. 715-718
Electronic Edition (link) BibTeX
Siobhán Clarke:
Panels at the MODELS 2005 Conference. 719-720
Electronic Edition (link) BibTeX