Playing ArchiMate Models
This paper concerns the application of a gaming approach to the validation of ArchiMate models, with the aim of...
Supporting Ontology-Based Semantic Annotation of Business Processes with Automated Suggestions
Business Process annotation with semantic tags taken from an ontology is becoming a crucial activity for business designers. In...
On the Importance of Truly Ontological Distinctions for Ontology Representation Languages: An Industrial Case...
Ontologies are commonly used in computer science either as a reference model to support semantic interoperability, or as an...
UML Models Engineering from Static and Dynamic Aspects of Formal Specifications
While formal methods are focused on some particular parts of software systems, especially secure ones, graphical techniques are the...
MDA-Based Reverse Engineering of Object Oriented Code
The Model Driven Architecture (MDA) is an architectural framework for information integration and tool interoperation that could facilitate system...
Integrated Quality of Models and Quality of Maps
Conceptual modeling traditionally focuses on a high level of abstraction. Even if geographical aspects such as location is included...
Masev (Multiagent System Software Engineering Evaluation Framework)
Recently a great number of methods and frameworks to develop multiagent systems have appeared. It makes difficult the selection...
Transactions in ORM
Languages for specifying information systems should not only contain a data definition (sub)language (DDL), i.e., a part for specifying...
The Orchestration of Fact-Orientation and SBVR
In this paper we will illustrate how the fact-oriented approach, e.g. ORM, CogNiam can be used in combination with...
IT Capability-Based Business Process Design through Service-Oriented Requirements Engineering
Besides goals and regulations, IT is also considered as a driver for business process development or evolution. However, as...
