Aspectual templates in UML: Enhancing the semantics of UML templates in OCL
UML Templates allow to capture reusable models through parameterization. The construct is general enough to be used in many...
Nivel: a metamodelling language with a formal semantics
Much work has been done to clarify the notion of metamodelling and new ideas, such as strict metamodelling, distinction...
AuRUS: explaining the validation of UML/OCL conceptual schemas
The validation and the verification of conceptual schemas have attracted a lot of interest during the last years, and...
Dinosaur meets Archaeopteryx? or: Is there an alternative for Rational’s Unified Process?
Since 1999, Rational's Unified Process (RUP) is being offered as a guideline for software projects using the Unified Modeling...
SAMM: an architecture modeling methodology for ship command and control systems
Ship command and control systems (SCCSs) are composed of large-scale, complex, real-time and software-intensive systems that complete tasks collaboratively....
PSL: A semantic domain for flow models
Flow models underlie popular programming languages and many graphical behavior specification tools. However, their semantics is typically ambiguous, causing...
Approaches to modeling business processes: a critical analysis of BPMN, workflow patterns and YAWL
We investigate three approaches describing models of business processes: the OMG standard BPMN in its recent version 2.0, the...
OCL 1.4/5 vs. 2.0 Expressions Formal semantics and expressiveness
A type inference system and a big-step operational semantics for expressions of the "Object Constraint Language" (OCL), the declarative...
Theoretical foundations and implementation of business process diagrams’ complexity management technique based on highlights
The main purpose of business process diagrams is to make the communication between process-related stakeholders more effective. To this...
VPML: an approach to detect design patterns of MOF-based modeling languages
A design pattern is a recurring and well-understood design fragment. In a model-driven engineering methodology, detecting occurrences of design...
