Implementing associations: UML 2.0 to Java 5
A significant current software engineering problem is the conceptual mismatch between the abstract concept of an association as found...
A method for describing the syntax and semantics of UML statecharts
In this article we present a method for describing the language of UML statecharts. Statecharts are syntactically defined as...
A method of refinement in UML-B
UML-B is a 'UML-like' graphical front-end for Event-B that provides support for object-oriented and state machine modelling concepts, which...
A pattern-based approach for improving model quality
UML class diagrams play a central role in modeling activities, and it is essential that class diagrams keep their...
Metamodel specialization for graphical language support
Most of current modeling languages are based on graphical diagrams. The concrete graphical syntax of these languages typically is...
A powertype-based metamodelling framework
Software development methodologies may be described in the context of an underpinning metamodel, but the precise mechanisms that permit...
Automatic generation of UML profile graphical editors for Papyrus
UML profiles offer an intuitive way for developers to build domain-specific modelling languages by reusing and extending UML concepts....
Automated formal verification of visual modeling languages by model checking
Graph transformation has recently become more and more popular as a general, rule-based visual specification paradigm to formally capture...
Formalization of UML state machines using temporal logic
The main purpose of this paper is to approach the use of formal methods in computing. In more specific...
Modeling learning technology systems as business systems
The design of Learning Technology Systems, and the Software Systems that support them, is largely conducted on an intuitive,...
