Transformations between UML diagrams
The Unified Modeling Language (UML) provides various diagram types for describing a system from different perspectives or abstraction levels. Hence, UML diagrams describing the same...
An Ontology of Data Modelling Languages: A Study Using a Common-Sense Realistic Ontology
Data modelling languages are used in today's information systems engineering environments. Many have a degree of hype surrounding their quality and...
Distributed database design for mobile geographical applications
Advanced Traveler Information Systems (ATIS) require efficient information retrieval and updating in a dynamic environment at different geographical scales....
On conceptual micro-object modeling
While much research has been devoted to data modeling, little attention has been paid to developing constructs for modeling micro-objects, ie....
An Evaluation of Inter-Organizational Workflow Modeling Formalisms
This paper evaluates the dynamic aspects of the UML in the context of inter-organizational work/lows. Two evaluation methodologies are used. The...
Applying Learner-Centered Design Principles to UML Sequence Diagrams
The Unified Modeling Language has been shown to be complex and difficult to learn. The difficulty of learning to build the individual diagrams...
Semantics of the MibML Conceptual Modeling Grammar: An Ontological Analysis Using the Bunge-Wang-Weber Framework
A conceptual modeling grammar should be based on the theory of ontology and possess clear ontological semantics to represent...
Dynamic semantics of UML state machines: A metamodeling perspective
A clear understanding of the dynamic semantics of UML State Machines is essential for a large and varied audience such as...
UB2SQL: A Tool for Building Database Applications Using UML and B Formal Method
UB2SQL is a tool for designing and developing database applications using UML and B formal method. The approach supported by UB2SQL...
Formal approaches to systems analysis using UML: An overview
Formalmethods, where by a system is described and/or analyzed using precise mathematical techniques, is a well-established and yet, under-used...
