Abstract—Ontology is a conceptual model that is used to
represent the concepts in a domain and relationship between
the concepts. It can be used for sharing and reuse of knowledge
that allows humans and machines to exchange diverse
information. UML state machines used to describe the behavior
of a software systems. This article aims at to provide a solution
for representing UML state machine model as an ontology
expressed in OWL. a method proposed is a conceptualization of
UML state machine and its operation, in order to check its
consistency and its conformity. we chose OWL to represent
formally our state machine augmented with SWRL rules to
represent the dynamic aspect of the operation system and
SPARQL to query our ontology.
Index Terms—State machine, semantics checking, OWL DL,
SWRL.
The authors are with Department of Computer Science, Faculty of
Mathematics and Informatics, University of M‟sila, Algeria (e-mail:
bel_you@yahoo.fr, mbourahla@hotmail.com, mourad50200@yahoo.fr).
[PDF]
Cite: Youcef Belgueliel, Mustapha Bourahla, and Mourad Brik, "Towards an Ontology for UML State Machines," Lecture Notes on Software Engineering vol. 2, no. 1, pp. 116-120, 2014.
![[Click]](http://www.lnse.org/img/lnse_v4n1-n3_ei%28inspec%29_indexscreenshot.jpg){kind=link}
![[Click]](http://www.lnse.org/img/lnse_v3n4_ei%28inspec%29_indexscreenshot.jpg){kind=link}