UML
2000
Springer
13 years 11 months ago
2000
Springer
The UML is recognized to be the dominant diagrammatic modeling language in the software industry. However, it's support for building interactive systems is still acknowledged ...
UML
2000
Springer
13 years 11 months ago
2000
Springer
The UML's Object Constraint Language provides the modeller of object-oriented systems with ways to express the semantics of a model in a precise and declarative manner. The co...
UML
2000
Springer
13 years 11 months ago
2000
Springer
Abstract. To formally describe architectures of software systems, specific languages called Architecture Description Languages (ADLs) have been developed by academic institutions a...
UML
2000
Springer
13 years 11 months ago
2000
Springer
We propose a methodology for hypermedia design which is based on a UML profile for the hypermedia domain. Starting with a use case analysis and a conceptual model of the applicatio...
UML
2000
Springer
13 years 11 months ago
2000
Springer
Abstract. Design Patterns are now widely accepted as a useful concept for guiding and documenting the design of object-oriented software systems. Still the UML is ill-equipped for ...
UML
2000
Springer
13 years 11 months ago
2000
Springer
Complex software systems require expressive notations for representing their software architectures. Two competing paths have emerged. One is to use a specialized notation for arc...
UML
2000
Springer
13 years 11 months ago
2000
Springer
The emergence of the Unified Modeling Language (UML) has provided software developers with an effective and efficient shared language. However, UML is often too restrictive in init...
UML
2000
Springer
13 years 11 months ago
2000
Springer
Descriptions of reactive systems focus heavily on behavioral aspects, often in terms of scenarios. To cope with the increasing complexity of services provided by these systems, beh...
UML
2000
Springer
13 years 11 months ago
2000
Springer
Software testing can only be formalized and quanti ed when a solid basis for test generation can be de ned. Tests are commonly generated from program source code, graphical models ...
UML
2000
Springer
13 years 11 months ago
2000
Springer
In this paper, dynamic meta modeling is proposed as a new approach to the operational semantics of behavioral UML diagrams. The dynamic meta model extends the well-known static met...