Skip to Main content Skip to Navigation
Conference papers

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.
Document type :
Conference papers
Complete list of metadata

https://hal.inria.fr/hal-00869234
Contributor : Duc-Hanh Dang <>
Submitted on : Thursday, October 3, 2013 - 11:04:42 AM
Last modification on : Thursday, March 5, 2020 - 5:47:45 PM
Long-term archiving on: : Monday, January 6, 2014 - 10:00:56 AM

File

acquireOCL.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00869234, version 1

Citation

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⟩

Share

Metrics

Record views

910

Files downloads

667