- APICe
- Publications
- B-Tropos: Agent-oriented requirements engineering meets computational logic for declarative business process modeling and verification
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.)
@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,
}
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,
}