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,...
A benchmark for OCL engine accuracy, determinateness, and efficiency
Since several years, the Object Constraint Language (OCL) is a central component in modeling and transformation languages like the...
Generating process model collections
Business process management plays an important role in the management of organizations. More and more organizations describe their operations...
An integrated metamodel-based approach to software model refactoring
Software refactoring is the process of changing a software system in a manner that does not alter its external...
A metrics suite for UML model stability
Software metrics have become an essential part of software development because of their importance in estimating cost, effort, and...
Strategic business modeling: representation and reasoning
Business intelligence (BI) offers tremendous potential for business organizations to gain insights into their day-to-day operations, as well as...
A framework to specify system requirements using natural interpretation of UML/MARTE diagrams
The ever-increasing design complexity of embedded systems is constantly pressing the demand for more abstract design levels and possible...
