Towards using ontologies for domain modeling within the SysML/KAOS approach

Steve Tueno 1, 2 Régine Laleau 2 Amel Mammar 1, 3, 4 Marc Frappier 5
1 METHODES-SAMOVAR - Méthodes et modèles pour les réseaux
SAMOVAR - Services répartis, Architectures, MOdélisation, Validation, Administration des Réseaux
2 LACL - Laboratoire d'Algorithmique Complexité et Logique
3 INF - Département Informatique
4 SAMOVAR - Services répartis, Architectures, MOdélisation, Validation, Administration des Réseaux
5 Département d'informatique [Sherbrooke]
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 : Requirements engineering SysML/KAOS Domain modeling Ontologies Event-B
Type de document :
Communication dans un congrès
REW 2017: IEEE 25th International Requirements Engineering Conference Workshops, Sep 2017, Lisbon, Portugal. IEEE Computer Society, Proceedings REW 2017: IEEE 25th International Requirements Engineering Conference Workshops, pp.1 - 5, 2017, 〈10.1109/REW.2017.22〉
Liste complète des métadonnées
https://hal.archives-ouvertes.fr/hal-01692857
Contributeur : Médiathèque Télécom Sudparis & Institut Mines-Télécom Business School <>
Soumis le : jeudi 25 janvier 2018 - 14:55:19
Dernière modification le : mardi 22 janvier 2019 - 14:32:06

Identifiants

Collections

INSTITUT-TELECOM | TELECOM-SUDPARIS | UPEC-UPEM | LACL | UNIV-PARIS-SACLAY

Citation

Steve Tueno, Régine Laleau, Amel Mammar, Marc Frappier. Towards using ontologies for domain modeling within the SysML/KAOS approach. REW 2017: IEEE 25th International Requirements Engineering Conference Workshops, Sep 2017, Lisbon, Portugal. IEEE Computer Society, Proceedings REW 2017: IEEE 25th International Requirements Engineering Conference Workshops, pp.1 - 5, 2017, 〈10.1109/REW.2017.22〉. 〈hal-01692857〉

Exporter

BibTeX TEI DC DCterms EndNote

Partager

Métriques

Consultations de la notice

185

Contact

support.ccsd.cnrs.fr
hal.support@ccsd.cnrs.fr
Logo CCSD