=Paper=
{{Paper
|id=None
|storemode=property
|title=An ontologically well-founded framework for modelling Business Organizations,
Processes and Services
|pdfUrl=https://ceur-ws.org/Vol-897/ecs_5.pdf
|volume=Vol-897
|dblpUrl=https://dblp.org/rec/conf/icbo/Benevides12
}}
==An ontologically well-founded framework for modelling Business Organizations,
Processes and Services==
https://ceur-ws.org/Vol-897/ecs_5.pdf
An ontologically well-founded
framework for modelling Business
Organizations, Processes and
Services
Author Alessander Botti Benevides
Supervisors Nicola Guarino, Chiara Ghidini, Giancarlo Guizzardi and João
Paulo Andrade Almeida
Studies/Stage 1st year Ph.D. student
Affiliation ICT Doctoral School, Information Engineering and Computer
Science Department (DISI), University of Trento (Unitn)
Graduate Program in Computer Science (PPGI), Technology
Center (CT), Federal University of Espírito Santo (UFES)
Laboratory for Applied Ontology (LOA), Institute of Cognitive
Sciences and Technologies (ISTC), National Research
Council (CNR)
Data and Knowledge Management Unit (DKM), Fondazione
Bruno Kessler (FBK)
Ontology and Conceptual Modeling Research Group (NEMO),
Computer Science Department, Federal University of Espírito
Santo (UFES), Brazil
E-Mail bottibenevides@disi.unitn.it
Aims and Objectives of the Research
Our primary aim is to create an ontologically well-founded framework for modelling Business
Organizations, Processes and Services under a common unifying view. Such a framework
will include both a language and a methodology, possibly supported by interactive modelling
tools. For the language component, a secondary aim is to explore the computational
complexity of syntactic verification and model generation.
Justification for the Research Topic
The gap between ICT technology and business needs is still an active and important area of
investigation. From the business perspective, people still need proper corporate governance
tools suitable to capture in a unified framework the process view, the organization view, and
the value-flow view. However, at our knowledge, there is no ontologically well-founded
framework that unifies these aspects.
In general, in order to model each of these aspects, enterprises use different languages that
do not share a common ontological foundation. For this reason, the integration between
artefacts specified in these languages cannot be fully automated, usually being costly and
time-consuming.
Research Questions
1. Previous experience shows that modelling languages that implement very general,
upper-level ontological constraints in their own syntax (e.g., OntoUML [1]) have a
number of practical advantages. An issue we want to explore is how this approach
can be extended to more specific, application-oriented modelling needs, by
incorporating further middle-level constraints, reflecting a shared ontology of
organizations, processes, and services.
2. Would such a language be useful/practical? In particular, considering issues like
modelling constructs adequacy and computational costs of syntax verification and
model generation, we need to achieve a careful balance between richness of
constructs on one hand, and availability of a proper methodology for choosing the
right constructs and adopting effective modelling patterns on the other hand. What
would be the optimal balance between language and methodology?
3. What would be the computational complexity (and practical cost) of (i) performing
syntactic verification, (ii) suggesting modelling patterns and (iii) generating models on
such a language? Would these problems be decidable/tractable?
Research Methodology
In order to achieve our base goals, we idealized the following tasks:
1. Analyse the state of the art concerning:
a. Languages and standards for modelling Business Organizations (e.g., UML
[2,3], OntoUML [1]), Business Processes (e.g., BPMN [4], YAWL [5], PSL [6],
ARIS [7], ORM [8]) and Services;
b. Foundational ontologies (e.g., DOLCE [9,10], UFO [1]);
c. Middle-level ontologies: Process ontologies [6,11], Enterprise ontologies
[12,13] and Services and value flow ontologies [14,15];
2. Isolate a suitable middle-level ontology, possibly merging and/or extending existent
ontologies;
3. Find a set of relevant patterns in Business Organizations, Business Processes and
Services and analyse them in order to propose a number of good modelling choices
that can improve the overall quality of the models;
4. Create a language such that:
a. The abstract syntax is a suitable subset of the set of ontological categories;
b. The syntactic constraints are derived from ontological constraints;
5. Define suitable methodological guidelines founded on ontological distinctions. The
methodology will possibly suggest a set of annotation patterns and/or stereotypes for
existent languages and standards;
6. Define modelling patterns that can guide modellers in making suitable ontological
choices;
7. Perform empirical studies on the usability of (i) the methodology and (ii) the language.
Concerning the secondary goals:
1. Analyse the computational complexity (and practical costs) of (i) performing syntactic
verification, (ii) suggesting modelling patterns and (iii) generating models;
2. Implement interactive modelling tools capable of (i) performing syntactic verification,
(ii) suggesting these modelling patterns when suitable, (iii) generating models;
3. Perform empirical studies on the usability of the tools.
Research Results to Date
We are building a tentative mapping from the foundational ontology DOLCE to UFO in order
to define the foundational ontology that will be employed.
References
1. Guizzardi G. (2005), Ontological foundations for structural conceptual models, Ph.D. thesis, University of
Twente, Enschede, The Netherlands.
2. Object Management Group (2009), OMG Unified Modeling Language (OMG UML), Infrastructure, Version
2.2, Technical Report formal/2009-02-04.
3. Object Management Group (2009), OMG Unified Modeling Language (OMG UML), Superstructure, Version
2.2, Technical Report formal/2009-02-02.
4. Object Management Group (2011), Business Process Model and Notation (BPMN), Version 2.0, Technical
Report formal/2011-01-03.
5. Hofstede A. H. M. ter, Aalst W. M. P. van der, Adams M., Russell N. (2009), Modern Business Process
Automation: YAWL and its Support Environment, Springer.
6. Bock C., Gruninger M. (2005), PSL: A Semantic Domain for Flow Models, Software and Systems Modeling
Journal.
7. Scheer A.W. (1999), ARIS - Business Process Modeling, 3rd ed., Springer.
8. Halpin T., Morgan T. (2008), Information Modeling and Relational Databases, Morgan Kaufmann Publishers.
9. Masolo C., Borgo S., Gangemi A., Guarino N., Oltramari A. (2003), Wonderweb deliverable d18, ontology
library (final), Technical Report ver. 1.0, 31-12-2003.
10. Borgo S., Masolo C. (2009), Handbook on Ontologies, Springer Verlag, second edition.
11. Montali M. (2009), Specification and Verification of Declarative Open Interaction Models: a Logic-Based
Approach, Ph.D. Thesis, Department of Electronics, Computer Science and Telecommunications
Engineering, University of Bologna.
12. Dietz J. L. G. (2006), Enterprise ontology - theory and methodology, Springer.
13. Uschold M., King M., Moralee S., Zorgios Y. (1998), The Enterprise Ontology, in Knowl. Eng. Rev. 13, 1
(March 1998), 31-89.
14. Ferrario R., Guarino N. (2009), Towards an Ontological Foundation for Services Science, in D. Fensel, and
P. Traverso (eds.), Proceedings of Future Internet Symposium 2008, Springer Verlag, Lecture Notes in
Computer Science, vol. 5468, Berlin Heidelberg, pp. 152-169.
15. Hruby P., Kiehn J., Scheller C. (2006), Model-Driven Design Using Business Patterns, Springer-Verlag,
Japanese edition by Nikkei BP.