UML formal semantics: lessons learned
The article below presents the insights gained during a number of years of research dedicated to the formalisation of...
Guidelines for representing complex cardinality constraints in binary and ternary relationships
Ternary relationships represent the association among three entities whose constraints database designers do not always know how to manage....
On challenges of model transformation from UML to Alloy
The Unified Modeling Language (UML) is the de facto language used in the industry for software specifications. Once an...
Classification and trend analysis of UML books (1997-2009)
Technical books of each subject area denote the level of maturity and knowledge demand in that area. According to...
Ontological Evaluation of the UML Using the Bunge-Wand-Weber Model
An ontological model of information systems, the Bunge-Wand-Weber (BWW) model, is used to analyse and evaluate the Unified Modeling...
A UML and OWL description of Bunge’s upper-level ontology model
A prominent high-level ontology is that proposed by Mario Bunge. While it has been extensively used for research in...
Extending the Unified Modeling Language for ontology development
There is rapidly growing momentum for web enabled agents that reason about and dynamically integrate the appropriate knowledge and...
Process mining using BPMN: relating event logs and process models
Process-aware information systems (PAIS) are systems relying on processes, which involve human and software resources to achieve concrete goals....
BPMN-E2: a BPMN extension for an enhanced workflow description
Read the full paper here: http://www.sosym.org/
Specifying business rules in object-oriented analysis
A major purpose of analysis is to represent precisely all relevant facts, as they are observed in the external...
