Automating Inference of OCL Business Rules from User Scenarios

Duc-Hanh Dang 1, 2 Jordi Cabot 1, 2
1 ATLANMOD - Modeling Technologies for Software Production, Operation, and Evolution
LINA - Laboratoire d'Informatique de Nantes Atlantique, Département informatique - EMN, Inria Rennes – Bretagne Atlantique
Abstract : User Scenarios have been advocated as an effective means to capture requirements by describing the system-to-be at the instance or example level. This instance-level information is then used to infer a possible software specification consistent with the provided valid and invalid scenarios. So far existing approaches have often focused on the generation of static models but have omitted the inference of business rules that could complement the static models and improve the precision of the software specification. In this sense this paper provides a first set of invariant inference patterns that are applied on valid and invalid snapshots in order to generate OCL~(Object Constraint Language) integrity constraints that the system should always satisfy. We strengthen the confidence of inferred results based on the user's feedback of generated examples and counterexamples for the considered constraint. The approach is realized with a prolog-based tool that could support the designer to effectively define OCL integrity constraints in a semi-automatic way.
Type de document :
Communication dans un congrès
Pornsiri Muenchaisri and Gregg Rothermel. APSEC - 20th Asia-Pacific Software Engineering Conference - 2013, Dec 2013, Bangkok, Thailand. IEEE, 2013
Liste complète des métadonnées

https://hal.inria.fr/hal-00869234
Contributeur : Duc-Hanh Dang <>
Soumis le : jeudi 3 octobre 2013 - 11:04:42
Dernière modification le : vendredi 22 juin 2018 - 09:34:17
Document(s) archivé(s) le : lundi 6 janvier 2014 - 10:00:56

Fichier

acquireOCL.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-00869234, version 1

Citation

Duc-Hanh Dang, Jordi Cabot. Automating Inference of OCL Business Rules from User Scenarios. Pornsiri Muenchaisri and Gregg Rothermel. APSEC - 20th Asia-Pacific Software Engineering Conference - 2013, Dec 2013, Bangkok, Thailand. IEEE, 2013. 〈hal-00869234〉

Partager

Métriques

Consultations de la notice

763

Téléchargements de fichiers

335