Automating Inference of OCL Business Rules from User Scenarios - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2013

Automating Inference of OCL Business Rules from User Scenarios


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.
Fichier principal
Vignette du fichier
acquireOCL.pdf (398.23 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-00869234 , version 1 (03-10-2013)


  • HAL Id : hal-00869234 , version 1


Duc-Hanh Dang, Jordi Cabot. Automating Inference of OCL Business Rules from User Scenarios. APSEC - 20th Asia-Pacific Software Engineering Conference - 2013, Dec 2013, Bangkok, Thailand. ⟨hal-00869234⟩
344 View
526 Download


Gmail Facebook X LinkedIn More