Uml'99 - The Unified Modeling Language: Beyond the Standard: Second International Conference, Fort Collins, Co, Usa, October 28-30, 1999, Proceedings

ISBN-13: 9783540667124 / Angielski / Miękka / 1999 / 726 str.

R. France; B. Rumpe; Robert France

Opis

While in geometry attempts to square the circle never succeeded, the UML has achieved it: states canbeimplementedasclasses. "{Wehavemade much progressfrom thetime cloudswere used. " The Uni ed Modeling Language is described as a language for specifying, - sualizing, constructing, and documenting the artifacts of software systems" and for business modeling (OMG UML V1. x documents). The UML re?ects some of the best experiences in object-oriented modeling, thus it has the potential to become a widely-used standard object-oriented modeling language. As a generally-applicable standard the UML has to be both ?exible (ext- sible, adaptable, modia ble) and precise. Flexibility is needed if the UML is to be used in a variety of application domains. Tailoring of UML syntax and adaptation of UML semantics to system domains is highly desirable. Incor- rating domain-specic concepts into the language will yield modeling languages that more e ectively support system development in these domains. Tailoring may involve determining a subset of the UML that is applicable to the domain, extending or modifying existing language elements, or den ing new language elements. One can envisage UML variants that are tailored to specic domains, for example, UML for real-time systems, multimedia systems, and for intern- based systems. Furthermore, one can also de ne UML variants that determine levels of sophistication in the use of the UML.

Spis treści

Invited Talk 1 (Abstract).- Architecting Web-Based Systems with the Unified Modeling Language.- Software Architecture.- Extending Architectural Representation in UML with View Integration.- Enabling the Refinement of a Software Architecture into a Design.- Using the UML for Architectural Description.- UML and Other Notations.- Viewing the OML as a Variant of the UML.- A Comparison of the Business Object Notation and the Unified Modeling Language.- Formalizing the UML Class Diagram Using Object-Z.- Formalizing Interactions.- A Formal Approach to Collaborations in the Unified Modeling Language.- A Formal Semantics for UML Interactions.- Panel 1.- UML 2.0 Architectural Crossroads: Sculpting or Mudpacking?.- Meta-Modeling.- Core Meta-Modelling Semantics of UML: The pUML Approach.- A Metamodel for OCL.- Tools.- Tool-Supported Compression of UML Class Diagrams.- A Pragmatic Approach for Building a User-Friendly and Flexible UML Model Repository.- Components.- Modeling Dynamic Software Components in UML.- Extending UML for Modeling Reflective Software Components.- UML Extension Mechanisms.- Nine Suggestions for Improving UML Extensibility.- A Classification of Stereotypes for Object-Oriented Modeling Languages.- First-Class Extensibility for UML — Packaging of Profiles, Stereotypes, Patterns.- Process Modeling.- UML-Based Fusion Analysis.- Using UML for Modelling the Static Part of a Software Process.- Framework for Describing UML Compatible Development Processes.- Invited Talk 2.- On the Behavior of Complex Object-Oriented Systems.- Real-Time Systems.- UML-RT as a Candidate for Modeling Embedded Real-Time Systems in the Telecommunication Domain.- Modeling Hard Real Time Systems with UML The OOHARTS Approach.- UML Based Performance Modeling Framework for Object-Oriented Distributed Systems.- Constraint Languages.- Defining the Context of OCL Expressions.- Mixing Visual and Textual Constraint Languages.- Correct Realizations of Interface Constraints with OCL.- Analyzing UML Models 1.- Generating Tests from UML Specifications.- Formalising UML State Machines for Model Checking.- Panel 2.- SDL as UML: Why and What Panel.- Coding 1.- UML Behavior: Inheritance and Implementation in Current Object-Oriented Languages.- UML Collaboration Diagrams and Their Transformation to Java.- Analyzing UML Models 2.- Towards Three-Dimensional Representation and Animation of UML Diagrams.- Typechecking UML Static Models.- Precise Behavioral Modeling.- Analysing UML Use Cases as Contracts.- Closing the Gap between Object-Oriented Modeling of Structure and Behavior.- Static Modeling.- Black and White Diamonds.- Interconnecting Objects via Contracts.- How Can a Subsystem Be Both a Package and a Classifier?.- Applying the UML.- Using UML/OCL Constraints for Relational Database Design.- Towards a UML Extension for Hypermedia Design.- Why Unified Is not Universal.- Sequence Diagrams.- Timed Sequence Diagrams and Tool-Based Analysis — A Case Study.- Timing Analysis of UML Sequence Diagrams.- Coding 2.- The Normal Object Form: Bridging the Gap from Models to Code.- Modeling Exceptional Behavior.- Panel 3.- Advanced Methods and Tools for a Precise UML.

O autorze

Bernhard Rumpe lehrt an der RWTH Aachen den Einsatz modellbasierter Methoden auf Basis der UML für das Software Engineering und forscht an modellbasierten Software- und System-Entwicklungsmethoden in Bezug auf Qualität des Ergebnisses und Effizienz des Entwicklungsprozesses.
In einer Reihe von Publikationen hat er zur Standardisierung der UML und zur verbesserten Handhabung von Entwicklungsprozessen beigetragen. Er ist Autor und Editor von 14 Büchern sowie Mitgründer des internationalen Springer Journals on Software and Systems Modeling "SoSyM".