B-Tropos: Agent-oriented requirements engineering meets computational logic for declarative business process modeling and verification

   page       BibTeX_logo.png   
Volha Bryl, Paola Mello, Marco Montali, Paolo Torroni, Nicola Zannone
Fariba Sadri, Ken Satoh (eds.)
Proceedings of the 8th Workshop on Computational Logic in Multi-Agent Systems (CLIMA-VIII)
11-12 September 2007

The analysis of business requirements and the specification of business processes are fundamental for the development of information systems. The first part of this paper presents B-Tropos as a way to combine business goals and requirements to the business process model. B-Tropos enhances a well-known agent-oriented early requirements engineering framework with declarative business process-oriented constructs, inspired by the DecSerFlow and ConDec languages. In the second part of the paper, we show a mapping of B-Tropos onto SCIFF, a computational logic-based framework, for properties and conformance verification.

funding project
wrench MEnSA — Methodologies for the Engineering of complex Software systems: Agent-based approach  (01/03/2007–28/02/2009)