@inproceedings{2fe529c9194e4cffa0a9e79d554bdb4f,
title = "Towards using ontologies for domain modeling within the SysML/KAOS approach",
abstract = "Modeling the domain of a system to be implemented is a very critical and often neglected activity during requirements engineering. In this paper, we set the scene for an approach to complement the SysML/KAOS goal model of a system by adding an ontological representation of its domain knowledge. We think that an Event-B formalization of that domain representation can be used to enrich the formal specifications obtained from the goal model. This paper describes the metamodel that we propose for the representation of domain knowledge and illustrates the proposal through a Landing Gear System case study.",
keywords = "Domain modeling, Event-B, Ontologies, Requirements engineering, SysML/KAOS",
author = "Steve Tueno and R{\'e}gine Laleau and Amel Mammar and Marc Frappier",
note = "Publisher Copyright: {\textcopyright} 2017 IEEE.; 25th IEEE International Requirements Engineering Conference Workshops, REW 2017 ; Conference date: 04-09-2017 Through 08-09-2017",
year = "2017",
month = sep,
day = "29",
doi = "10.1109/REW.2017.22",
language = "English",
series = "Proceedings - 2017 IEEE 25th International Requirements Engineering Conference Workshops, REW 2017",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
pages = "1--5",
booktitle = "Proceedings - 2017 IEEE 25th International Requirements Engineering Conference Workshops, REW 2017",
}