Enter a brief description of your changes
(Required)
Minor changes are by default collapsed in the page history.
No changes
The page does not exist yet.
Failed to load changes
Version by on
Leave Collaboration
Are you sure you want to leave the realtime collaboration and continue editing alone? The changes you save while editing alone will lead to merge conflicts with the changes auto-saved by the realtime editing session.
B-Tropos: Agent-oriented requirements engineering meets computational logic for declarative business process modeling and verification
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
MEnSA — Methodologies for the Engineering of complex Software systems: Agent-based approach (01/03/2007–28/02/2009)
MEnSA — Methodologies for the Engineering of complex Software systems: Agent-based approach (01/03/2007–28/02/2009)