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

Proceedings of the 8th Workshop on Computational Logic in Multi-Agent Systems (CLIMA-VIII)
11-12 Sep 2007
Fariba Sadri, Ken Satoh (eds.)

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.

 @inproceedings{TroposClima07,
author    = {Bryl, Volha  and Mello, Paola  and  Montali, Marco  and Torroni, Paolo  and Zannone, Nicola},
title     = {{B-Tropos}: Agent-oriented requirements engineering meets computational logic for declarative business process modeling and verification},
booktitle = {Proceedings of the 8th Workshop on Computational Logic in Multi-Agent Systems (CLIMA-VIII)},
year = {2007},
editor = {Sadri, Fariba and Satoh, Ken},
address= {Porto, Portugal},
month = {11--12~} # sep,
}

 

Publication

— authors

Volha Bryl, Paola Mello, Marco Montali, Paolo Torroni, Nicola Zannone

— editors

Fariba Sadri, Ken Satoh

— status

published

— sort

paper in proceedings

Venue

— volume

Proceedings of the 8th Workshop on Computational Logic in Multi-Agent Systems (CLIMA-VIII)

— publication date

11-12 Sep 2007

URLs

original PDF

BibTeX

— BibTeX ID
TroposClima07
— BibTeX category
inproceedings

Partita IVA: 01131710376 - Copyright © 2008-2022 APICe@DISI Research Group - PRIVACY