This volume contains mainly the revised versions of papers presented at the wo- shop <>'98, "Beyond the Notation", that took place in Mulhouse, France on June 3-4, 1998. We thank all those that have made this possible, and particularly all the people in Mulhouse that worked hard to make this meeting a success, with such a short delay between the announcement and the realization. We are specially grateful to Nathalie Gaertner, who put in a tremendous amount of effort in the initial preparation of the workshop. We were pleasantly surprised of the quality of the submitted material and of the level of the technical exchanges at the Mulhouse meeting. More than one hundred attendees, from about twenty different countries, representing the main actors in the UML research and development scene, gathered in Mulhouse for two full study days. We would like to express our deepest appreciation to the authors of submitted - pers, the editorial committee for this volume, the program committee for the initial workshop, the external referees, and many others who contributed towards the final contents of this volume. April 1999 Jean Bézivin Pierre-Alain Muller
Author(s): Jean Bézivin, Pierre-Alain Muller (auth.), Jean Bézivin, Pierre-Alain Muller (eds.)
Series: Lecture Notes in Computer Science 1618
Edition: 1
Publisher: Springer-Verlag Berlin Heidelberg
Year: 1999
Language: English
Pages: 450
Tags: Software Engineering; Programming Languages, Compilers, Interpreters
Front Matter....Pages -
UML: The Birth and Rise of a Standard Modeling Notation....Pages 1-8
Developing with UML – Some Pitfalls and Workarounds....Pages 9-20
Supporting and Applying the UML Conceptual Framework....Pages 21-36
Modeling: Is It Turning Informal into Formal?....Pages 37-48
Best of Both Worlds – A Mapping from EXPRESS-G to UML....Pages 49-63
Porting ROSES to UML – An Experience Report....Pages 64-77
Making UML Models Interoperable with UXF....Pages 78-91
Transformation Rules for UML Class Diagrams....Pages 92-106
Semantics and Transformations for UML Models....Pages 107-119
Automation of Design Pattern: Concepts, Tools and Practices....Pages 120-131
Automating the Synthesis of UML StateChart Diagrams from Multiple Collaboration Diagrams....Pages 132-147
Informal Formality? The Object Constraint Language and Its Application in the UML Metamodel....Pages 148-161
Reflections on the Object Constraint Language....Pages 162-172
On Using UML Class Diagrams for Object-Oriented Database Design....Pages 173-188
Literate Modelling — Capturing Business Knowledge with the UML....Pages 189-199
Applying UML to Design an Inter-domain Service Management Application....Pages 200-214
Booster * Process : A Software Development Process Model Integrating Business Object Technology and UML....Pages 215-226
Hierarchical Context Diagrams with UML: An Experience Report on Satellite Ground System Analysis....Pages 227-239
Extension of UML Sequence Diagrams for Real-Time Systems....Pages 240-252
UML and User Interface Modeling....Pages 253-266
On the Role of Activity Diagrams in UML – A User Task Centered Development Process for UML....Pages 267-277
Structuring UML Design Deliverables....Pages 278-293
Considerations of and Suggestions for a UML-Specific Process Model....Pages 294-306
An Action Language for UML: Proposal for a Precise Execution Semantics....Pages 307-318
Real-Time Modeling with UML : The ACCORD Approach ....Pages 319-335
The UML as a Formal Modeling Notation....Pages 336-348
OML: Proposals to Enhance UML....Pages 349-364
Validating Distributed Software Modeled with the Unified Modeling Language....Pages 365-377
Supporting Disciplined Reuse and Evolution of UML Models....Pages 378-392
Applying UML Extensions to Facilitate Software Reuse....Pages 393-405
A Formal Approach to Use Cases and Their Relationships....Pages 406-418
A Practical Framework for Applying UML....Pages 419-433
Extending Aggregation Constructs in UML....Pages 434-441
Back Matter....Pages -
