{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,7]],"date-time":"2026-10-07T07:10:50Z","timestamp":1791357050542,"version":"4.3.1"},"reference-count":52,"publisher":"Springer Science and Business Media LLC","issue":"2","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Auton Agent Multi-Agent Syst"],"published-print":{"date-parts":[[2011,9]]},"DOI":"10.1007\/s10458-010-9135-4","type":"journal-article","created":{"date-parts":[[2010,5,13]],"date-time":"2010-05-13T17:08:32Z","timestamp":1273770512000},"page":"193-223","source":"Crossref","is-referenced-by-count":8,"title":["Engineering and verifying agent-oriented requirements augmented by business constraints with $${\\mathcal{B}}$$ -Tropos"],"prefix":"10.1007","volume":"23","author":[{"given":"Marco","family":"Montali","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Paolo","family":"Torroni","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Nicola","family":"Zannone","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Paola","family":"Mello","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Volha","family":"Bryl","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2010,5,14]]},"reference":[{"key":"9135_CR1","doi-asserted-by":"crossref","unstructured":"Alberti, M., Chesani, F., Gavanelli, M., Lamma, E., & Mello, P. (2006). A verifiable logic-based agent architecture. In Proceedings of the 16th international syposium on methodologies for intelligent systems. Lecture Notes in Computer Science (Vol. 4203, pp.188\u2013197). Springer.","DOI":"10.1007\/11875604_22"},{"key":"9135_CR2","unstructured":"Alberti, M., Chesani, F., Gavanelli, M., Lamma, E., Mello, P., Montali, M., et\u00a0al. (2006). Computational logic for run-time verification of Web services choreographies: Exploiting the SOCS-SI tool. In: M. Bravetti, M. N\u00fa\u00f1ez, & G. Zavattaro, (Eds.), Proceedings of the 3rd international workshop on Web services and formal methods, Lecture Notes in Computer Science (Vol. 4184, pp. 58\u201372). Springer."},{"key":"9135_CR3","unstructured":"Alberti, M., Chesani, F., Gavanelli, M., Lamma, E., Mello, P., & Torroni, P. (2005). On the automatic verification of interaction protocols using g-SCIFF. Technical Report DEIS-LIA-04-004, University of Bologna."},{"issue":"2\u20134","key":"9135_CR4","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1080\/08839510500479546","volume":"20","author":"M. Alberti","year":"2006","unstructured":"Alberti M., Chesani F., Gavanelli M., Lamma E., Mello P., Torroni P. (2006) Compliance verification of agent interaction: A logic-based software tool. Applied Artificial Intelligence 20(2\u20134): 133\u2013157","journal-title":"Applied Artificial Intelligence"},{"key":"9135_CR5","unstructured":"Alberti, M., Chesani, F., Gavanelli, M., Lamma, E., Mello, P., & Torroni, P. (2006). Security protocols verification in Abductive Logic Programming: A case study. In: O. Dikenelli, M.-P. Gleizes, & A. Ricci (Eds.), Proceedings of the 6th international workshop on engineering societies in the agents world, Lecture Notes in Artificial Intelligence (Vol. 3963, pp. 106\u2013124). Springer."},{"issue":"4","key":"9135_CR6","doi-asserted-by":"crossref","first-page":"29","DOI":"10.1145\/1380572.1380578","volume":"9","author":"M. Alberti","year":"2008","unstructured":"Alberti M., Chesani F., Gavanelli M., Lamma E., Mello P., Torroni P. (2008) Verifiable agent interaction in abductive logic programming: The SCIFF framework. ACM Transactions on Computational Logic (TOCL) 9(4): 29","journal-title":"ACM Transactions on Computational Logic (TOCL)"},{"key":"9135_CR7","doi-asserted-by":"crossref","unstructured":"Ant\u00f3n, A. I., & Potts, C. (1998) The use of goals to surface requirements for evolving systems. In Proceedings of 20th the international conference on software engineering (pp 157\u2013166). IEEE Press.","DOI":"10.1109\/ICSE.1998.671112"},{"issue":"1","key":"9135_CR8","doi-asserted-by":"crossref","first-page":"4","DOI":"10.1007\/s00766-005-0012-7","volume":"11","author":"J. Bleistein","year":"2005","unstructured":"Bleistein J., Cox K., Verner J., Phalp T. (2005) Requirements engineering for e-business advantage. Requirements Engineering 11(1): 4\u201316","journal-title":"Requirements Engineering"},{"issue":"3","key":"9135_CR9","doi-asserted-by":"crossref","first-page":"203","DOI":"10.1023\/B:AGNT.0000018806.20944.ef","volume":"8","author":"P. Bresciani","year":"2004","unstructured":"Bresciani P., Giorgini P., Giunchiglia F., Mylopoulos J., Perini A. (2004) TROPOS: An agent-oriented software development methodology. Journal of Autonomous Agents and Multi-Agent Systems 8(3): 203\u2013236","journal-title":"Journal of Autonomous Agents and Multi-Agent Systems"},{"key":"9135_CR10","doi-asserted-by":"crossref","unstructured":"Bryl, V., Massacci, F., Mylopoulos, J., & Zannone, N. (2006). Designing security requirements models through planning. In Proceedings of the 18th international conference on advanced information systems engineering, Lecture Notes in Computer Science (Vol. 4001, pp. 33\u201347). Springer.","DOI":"10.1007\/11767138_4"},{"key":"9135_CR11","doi-asserted-by":"crossref","unstructured":"Bryl, V., Mello, P., Montali, M., Torroni, P., & Zannone, N. (2008) $${\\mathcal{B}}$$ -Tropos: Agent-oriented requirements engineering meets computational logic for declarative business process modeling and verification. In: F. Sadri & K. Satoh (Eds.), Proceedings of the 8th international workshop on computational logic in multi-agent systems, Lecture Notes in Artificial Intelligence (Vol. 5056, pp. 157\u2013176). Springer.","DOI":"10.1007\/978-3-540-88833-8_9"},{"issue":"12","key":"9135_CR12","first-page":"1131","volume":"24","author":"R. J. A. Buhr","year":"1998","unstructured":"Buhr R. J. A. (1998) Use case maps as architectural entities for complex systems. TSE 24(12): 1131\u20131155","journal-title":"TSE"},{"key":"9135_CR13","doi-asserted-by":"crossref","first-page":"177","DOI":"10.1007\/1-4020-8058-1_12","volume":"11","author":"G. Caire","year":"2004","unstructured":"Caire G., Coulier W., Garijo F., Gomez-Sanz J., Pavon J., Kearney P. et\u00a0al (2004) The message methodology. Methodologies and Software Engineering for Agent Systems 11: 177\u2013194","journal-title":"Methodologies and Software Engineering for Agent Systems"},{"key":"9135_CR14","unstructured":"Chesani, F., Mello, P., Montali, M., & Torroni, P. (2009). Commitment tracking via the reactive event calculus. In: C. Boutilier (Ed.), IJCAI 2009, Proceedings of the 21st International joint conference on artificial intelligence, Pasadena, CA, USA, July 11\u201317, 2009, pp. 91\u201396."},{"key":"9135_CR15","unstructured":"Chesani, F., Mello, P., Montali, M., & Torroni, P. (2009). Verification of choreographies during execution using the reactive event calculus. In: R. Bruni & K. Wolf (Eds.), Web services and formal methods, 5th international workshop, WS-FM 2008, Milan, Italy, September 4\u20135, 2008, Revised Selected Papers, Lecture Notes in Computer Science (Vol. 5387, pp 55\u201372). Springer."},{"key":"9135_CR16","doi-asserted-by":"crossref","unstructured":"Chung, L. K., Nixon, B. A., Yu, E., & Mylopoulos, J. (2000). Non-functional requirements in software engineering. Kluwer Publishing.","DOI":"10.1007\/978-1-4615-5269-7"},{"key":"9135_CR17","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1016\/0167-6423(93)90021-G","volume":"20","author":"A. Dardenne","year":"1993","unstructured":"Dardenne A., van Lamsweerde A., Fickas S. (1993) Goal-directed requirements acquisition. Science of Computer Programming 20: 3\u201350","journal-title":"Science of Computer Programming"},{"key":"9135_CR18","unstructured":"De la Vara Gonz\u00e1lez, J. L., & D\u00edaz, J. S. (2007) Business process-driven requirements engineering: A goal-based approach. In Proceedings of the 8th workshop on business process modeling, development, and support."},{"key":"9135_CR19","unstructured":"Fisher, M. (2005). Implementing temporal logics: Tools for execution and proof (tutorial paper). In: F. Toni & P. Torroni (Eds.), CLIMA VI, Lecture Notes in Computer Science (Vol. 3900, pp. 129\u2013142). Springer."},{"key":"9135_CR20","doi-asserted-by":"crossref","unstructured":"Frankova, G., Massacci, F., & Seguran, M. (2007). From early requirements analysis towards secure workflows. In Proceedings of the joint iTrust and PST conferences on privacy, trust management and security.","DOI":"10.1007\/978-0-387-73655-6_28"},{"issue":"2","key":"9135_CR21","doi-asserted-by":"crossref","first-page":"151","DOI":"10.1016\/S0743-1066(97)00026-5","volume":"33","author":"T. H. Fung","year":"1997","unstructured":"Fung T. H., Kowalski R. A. (1997) The IFF proof procedure for abductive logic programming. Journal of Logic Programming 33(2): 151\u2013165","journal-title":"Journal of Logic Programming"},{"issue":"2","key":"9135_CR22","doi-asserted-by":"crossref","first-page":"132","DOI":"10.1007\/s00766-004-0191-7","volume":"9","author":"A. Fuxman","year":"2004","unstructured":"Fuxman A., Liu L., Mylopoulos J., Pistore M., Roveri M., Traverso P. (2004) Specifying and analyzing early requirements in tropos. Requirements Engineering 9(2): 132\u2013150","journal-title":"Requirements Engineering"},{"key":"9135_CR23","doi-asserted-by":"crossref","unstructured":"Haglind, M., Johansson, L., & Rantzer, M. (1998) Experiences integrating requirements engineering and business analysis an empirical study of operations & management system procurement projects. In Proceedings of the 3rd international conference on requirements engineering (pages 108\u2013117). IEEE Computer Society.","DOI":"10.1109\/ICRE.1998.667815"},{"key":"9135_CR24","doi-asserted-by":"crossref","unstructured":"Henderson-Sellers, B., & Giorgini, P. (Eds.). (2005). Agent-oriented methodologies. Idea Group Publishing","DOI":"10.4018\/978-1-59140-581-8"},{"key":"9135_CR25","doi-asserted-by":"crossref","unstructured":"Iglesias, C. A., Garijo, M., & Centeno-Gonz\u00e1lez, J. (1999). A Survey of agent-oriented methodologies. In Proceedings of the 5th international workshop on intelligent agents V, agent theories, architectures, and languages (pp. 317\u2013330). London, UK. Springer.","DOI":"10.1007\/3-540-49057-4_21"},{"key":"9135_CR26","unstructured":"Jackson, M. (2001). Problem frames: Analysing and structuring software development problems. Addison Wesley."},{"key":"9135_CR27","unstructured":"Jacobson, I., Ericsson, M., & Jacobson, A. (1994) The object advantage: Business process reengineering with object technology. ACM Press\/Addison-Wesley Publishing Co."},{"issue":"20","key":"9135_CR28","doi-asserted-by":"crossref","first-page":"503","DOI":"10.1016\/0743-1066(94)90033-7","volume":"19","author":"J. Jaffar","year":"1994","unstructured":"Jaffar J., Maher M. (1994) Constraint logic programming: A survey. Journal of Logic Programming 19(20): 503\u2013582","journal-title":"Journal of Logic Programming"},{"key":"9135_CR29","unstructured":"Johansson, H. J., McHugh, P., Pendlebury, A. J., & Wheeler, W. A. (1993). Business process reengineering\u2014Breakpoint strategies for market dominance. Wiley."},{"issue":"6","key":"9135_CR30","doi-asserted-by":"crossref","first-page":"719","DOI":"10.1093\/logcom\/2.6.719","volume":"2","author":"A. C. Kakas","year":"1993","unstructured":"Kakas A. C., Kowalski R. A., Toni F. (1993) Abductive logic programming. Journal of Logic and Computation 2(6): 719\u2013770","journal-title":"Journal of Logic and Computation"},{"key":"9135_CR31","doi-asserted-by":"crossref","unstructured":"Kazhamiakin, R., Pistore, M., & Roveri, M. (2004). A framework for integrating business processes and business requirements. In Proceedings of the 8th international enterprise distributed object computing conference (pp. 9\u201320). IEEE Press.","DOI":"10.1109\/EDOC.2004.1342501"},{"key":"9135_CR32","unstructured":"Kiyavitskaya, N., Moretti, R., Sebastianis, M., & Zannone, N. (2007). Project Report on the Initial Analysis of (Early) Requirements of Domain 1. TOCAI Deliverable D2.1, University of Rome \u201cLa Sapienza,\u201d. Online resource, http:\/\/www.dis.uniroma1.it\/~tocai\/"},{"issue":"5","key":"9135_CR33","doi-asserted-by":"crossref","first-page":"580","DOI":"10.1007\/BF01211870","volume":"6","author":"L. Lamport","year":"1994","unstructured":"Lamport L. (1994) How to write a long formula. Formal Aspects of Computing 6(5): 580\u2013584","journal-title":"Formal Aspects of Computing"},{"key":"9135_CR34","unstructured":"Liu, L., & Yu, E. (2001). From requirements to architectural design: Using goals and scenarios. In Proceedings of the 1st international workshop on software requirements and architectures."},{"key":"9135_CR35","unstructured":"Loucopoulos, P. (2003). The S3 (Strategy-Service-Support) framework for business process modelling. In Proceedings of the workshop on requirements engineering for business process support, CEUR Workshop Proceedings (Vol. 75). CEUR-WS.org"},{"key":"9135_CR36","doi-asserted-by":"crossref","unstructured":"Massacci, F., Mylopoulos, J., & Zannone, N. (2007). An ontology for secure socio-technical systems. In Handbook of ontologies for business interaction. The IDEAGroup","DOI":"10.4018\/978-1-59904-660-0.ch011"},{"key":"9135_CR37","doi-asserted-by":"crossref","unstructured":"Mayr, H. C., Kop, C., & Esberger, D. (2007). Business process modeling and requirements modeling. In Proceedings of the 1st international conference on the digital society (p. 8). IEEE Computer Society.","DOI":"10.1109\/ICDS.2007.9"},{"key":"9135_CR38","unstructured":"Montali, M. (2009). Specification and verification of declarative open interaction models: A Logic-based framework. PhD thesis, University of Bologna."},{"key":"9135_CR39","unstructured":"Montali, M., Pesic, M., van der Aalst, W. M. P., Chesani, F., Mello, P., & Storari S. (2009). Declarative specification and verification of service choreographies. ACM Transactions on the Web, (accepted with minor revision.)"},{"key":"9135_CR40","unstructured":"Montali, M., Torroni, P., Alberti, M., Chesani, F., Gavanelli, M., Lamma, E., et\u00a0al. (2008). Verification from declarative specifications using logic programming. In: M. G. de la Banda & E. Pontelli (Eds.), Proceedings of the 24th international conference on logic programming, Lecture Notes in Computer Science (Vol. 5366, pp. 440\u2013454). Springer."},{"key":"9135_CR41","doi-asserted-by":"crossref","unstructured":"Montali, M., Torroni, P., Alberti, M., Chesani, F., Lamma, E., & Mello, P. (2010). Abductive logic programming as an effective technology for the static verification of declarative business processes. Special Issue of Journal of Algorithms in Cognition, Informatics and Logic (expected).","DOI":"10.3233\/FI-2010-310"},{"key":"9135_CR42","unstructured":"Ould, M. (1995). Business process: Modelling and analysis for re-engineering and improving. Wiley."},{"issue":"2","key":"9135_CR43","doi-asserted-by":"crossref","first-page":"121","DOI":"10.1007\/s00766-007-0043-3","volume":"12","author":"J. Rubens","year":"2007","unstructured":"Rubens J. (2007) Business analysis and requirements engineering: the same, only different?. Requirements Engineering 12(2): 121\u2013123","journal-title":"Requirements Engineering"},{"key":"9135_CR44","unstructured":"Schonenberg, H., Mans, R., Russell, N., Mulyar, N., & van der Aalst, W. M. (2008). Towards a taxonomy of process flexibility. In: Z. Bellahsene, C. Woo, E. Hunt, X. Franch, & R. Coletta (Eds.), Proceedings of the forum at the CAiSE\u201908 conference. CEUR workshop proceedings (Vol. 344, pp. 81\u201384)."},{"key":"9135_CR45","doi-asserted-by":"crossref","unstructured":"van der Aalst, W. M. P., & Pesic, M. (2006) A declarative approach for flexible business processes management. In Proceedings of the 4th international conference on business process management, Lecture Notes in Computer Science (Vol. 4103, pp. 169\u2013180). Springer.","DOI":"10.1007\/11837862_18"},{"key":"9135_CR46","doi-asserted-by":"crossref","unstructured":"van der Aalst, W. M. P., & Pesic, M. (2006) DecSerFlow: Towards a truly declarative service flow language. In Proceedings of the 3rd international workshop on web services and formal models, Lecture Notes in Computer Science (Vol. 4184).","DOI":"10.1007\/11841197_1"},{"issue":"1","key":"9135_CR47","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1023\/A:1022883727209","volume":"14","author":"W. M. P. Aalst van der","year":"2003","unstructured":"van der Aalst W. M. P., ter Hofstede A. H. M., Kiepuszewski B., Barros A. P. (2003) Workflow patterns. Distributed and Parallel Databases 14(1): 5\u201351","journal-title":"Distributed and Parallel Databases"},{"key":"9135_CR48","unstructured":"Vilain, M., Kautz, H., & van Beek, P. (1990). Constraint propagation algorithms for temporal reasoning: A revised report. In: Readings in qualitative reasoning about physical systems (pp. 373\u2013381). San Francisco, CA: Morgan Kaufmann Publishers Inc."},{"key":"9135_CR49","doi-asserted-by":"crossref","unstructured":"Wood, M. F., & DeLoach, S. A. (2001). An overview of the multiagent systems engineering methodology. In Proceedings of first international workshop on agent-oriented software engineering (pp. 207\u2013221). Springer-Verlag New York, Inc.","DOI":"10.1007\/3-540-44564-1_14"},{"key":"9135_CR50","unstructured":"Xanthakos, I. (2003). Semantic integration of information by abduction. PhD thesis, Imperial College London. Available online, http:\/\/www.doc.ic.ac.uk\/~ix98\/PhD.zip"},{"key":"9135_CR51","doi-asserted-by":"crossref","unstructured":"Yi, C.-H., & Johannesson, P. (1999). Beyond goal representation: Checking goal-satisfaction by temporal reasoning with business processes. In Proceedings of CAiSE\u201999 LNCS (Vol. 1626, pp.462\u2013466). Springer.","DOI":"10.1007\/3-540-48738-7_39"},{"issue":"3","key":"9135_CR52","doi-asserted-by":"crossref","first-page":"317","DOI":"10.1145\/958961.958963","volume":"12","author":"F. Zambonelli","year":"2003","unstructured":"Zambonelli F., Jennings N. R., Wooldridge M. (2003) Developing multiagent systems: The Gaia methodology. ACM Transactions on Software Engineering and Methodology (TOSEM) 12(3): 317\u2013370","journal-title":"ACM Transactions on Software Engineering and Methodology (TOSEM)"}],"container-title":["Autonomous Agents and Multi-Agent Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.springerlink.com\/index\/pdf\/10.1007\/s10458-010-9135-4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,20]],"date-time":"2025-02-20T21:25:38Z","timestamp":1740086738000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10458-010-9135-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,5,14]]},"references-count":52,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2011,9]]}},"alternative-id":["9135"],"URL":"https:\/\/doi.org\/10.1007\/s10458-010-9135-4","relation":{},"ISSN":["1387-2532","1573-7454"],"issn-type":[{"value":"1387-2532","type":"print"},{"value":"1573-7454","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,5,14]]}}}