Authors:
Gorica Tapandjieva
and
Alain Wegmann
Affiliation:
École Polytechnique Fédérale de Lausanne (EPFL), Switzerland
Keyword(s):
SEAM, Service Modeling, Ontology, Meta-model, Alloy, Formalization.
Related
Ontology
Subjects/Areas/Topics:
Artificial Intelligence
;
Data Engineering
;
Enterprise Information Systems
;
Information Systems Analysis and Specification
;
Knowledge Engineering and Ontology Development
;
Knowledge-Based Systems
;
Model Driven Architectures and Engineering
;
Ontologies and the Semantic Web
;
Ontology Engineering
;
Symbolic Systems
Abstract:
A service system is a popular concept in academia and industry. At the same time, it is a challenging concept to represent, due to its recursive nature and difficulty to relate it to entities in reality. In this paper we present an ontology for modeling service systems with the SEAM systemic method. As part of the ontology, we provide a meta-model, well-formedness rules and formalization in the Alloy language. The ontology we propose represents an updated and minimalistic version of the existing SEAM modeling language ontology that puts an emphasis on the behavior. We validated the ontology by modeling around 20 case studies. The running example we use throughout this paper is one of these case studies.