{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T06:50:31Z","timestamp":1725519031493},"publisher-location":"Berlin, Heidelberg","reference-count":37,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540888321"},{"type":"electronic","value":"9783540888338"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-88833-8_9","type":"book-chapter","created":{"date-parts":[[2008,10,14]],"date-time":"2008-10-14T06:02:14Z","timestamp":1223964134000},"page":"157-176","source":"Crossref","is-referenced-by-count":6,"title":["${\\cal B}$ -Tropos"],"prefix":"10.1007","author":[{"given":"Volha","family":"Bryl","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paola","family":"Mello","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marco","family":"Montali","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paolo","family":"Torroni","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nicola","family":"Zannone","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"9_CR1","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"188","DOI":"10.1007\/11875604_22","volume-title":"Foundations of Intelligent Systems","author":"M. Alberti","year":"2006","unstructured":"Alberti, M., Chesani, F., Gavanelli, M., Lamma, E., Mello, P.: A Verifiable Logic-Based Agent Architecture. In: Esposito, F., Ra\u015b, Z.W., Malerba, D., Semeraro, G. (eds.) ISMIS 2006. LNCS (LNAI), vol.\u00a04203, pp. 188\u2013197. Springer, Heidelberg (2006)"},{"key":"9_CR2","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"106","DOI":"10.1007\/11759683_7","volume-title":"Engineering Societies in the Agents World VI","author":"M. Alberti","year":"2006","unstructured":"Alberti, M., Chesani, F., Gavanelli, M., Lamma, E., Mello, P., Torroni, P.: Security Protocols Verification in Abductive Logic Programming: A Case Study. In: Dikenelli, O., Gleizes, M.-P., Ricci, A. (eds.) ESAW 2005. LNCS (LNAI), vol.\u00a03963, pp. 106\u2013124. Springer, Heidelberg (2006)"},{"issue":"2-4","key":"9_CR3","doi-asserted-by":"publisher","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.: Compliance verification of agent interaction: a logic-based software tool. Applied Artificial Intelligence\u00a020(2-4), 133\u2013157 (2006)","journal-title":"Applied Artificial Intelligence"},{"key":"9_CR4","doi-asserted-by":"crossref","unstructured":"Alberti, M., Chesani, F., Gavanelli, M., Lamma, E., Mello, P., Torroni, P.: Verifiable Agent Interaction in Abductive Logic Programming: the SCIFF framework. TOCL (accepted for publication, 2007)","DOI":"10.1145\/1380572.1380578"},{"key":"9_CR5","doi-asserted-by":"crossref","unstructured":"Allen, J., Ferguson, G.: Actions and events in interval temporal logic. Journal of Logic and Computation\u00a04(5) (1995)","DOI":"10.1093\/logcom\/4.5.531"},{"key":"9_CR6","unstructured":"Web Services Business Process Execution Language (WS-BPEL) Version 2.0. OASIS Standard, April 11, 2007, Organization for the Advancement of Structured Information Standards (2007)"},{"key":"9_CR7","unstructured":"Business Process Modeling Notation (BPMN) Specification. OMG Final Adopted Specification, February 6, 2006, Object Management Group (2006)"},{"issue":"3","key":"9_CR8","first-page":"203","volume":"8","author":"P. Bresciani","year":"2004","unstructured":"Bresciani, P., Giorgini, P., Giunchiglia, F., Mylopoulos, J., Perini, A.: TROPOS: An Agent-Oriented Software Development Methodology. JAAMAS\u00a08(3), 203\u2013236 (2004)","journal-title":"JAAMAS"},{"key":"9_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"33","DOI":"10.1007\/11767138_4","volume-title":"Advanced Information Systems Engineering","author":"V. Bryl","year":"2006","unstructured":"Bryl, V., Massacci, F., Mylopoulos, J., Zannone, N.: Designing Security Requirements Models through Planning. In: Dubois, E., Pohl, K. (eds.) CAiSE 2006. LNCS, vol.\u00a04001, pp. 33\u201347. Springer, Heidelberg (2006)"},{"key":"9_CR10","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"396","DOI":"10.1007\/11750734_23","volume-title":"Computational Logic in Multi-Agent Systems","author":"C. Cares","year":"2006","unstructured":"Cares, C., Franch, X., Mayol, E.: Extending Tropos for a Prolog Implementation: A Case Study Using the Food Collecting Agent Problem. In: Toni, F., Torroni, P. (eds.) CLIMA 2005. LNCS (LNAI), vol.\u00a03900, pp. 396\u2013405. Springer, Heidelberg (2006)"},{"key":"9_CR11","unstructured":"Chesani, F., Mello, P., Montali, M., Storari, S.: Towards a DecSerFlow declarative semantics based on computational logic. Technical Report DEIS-LIA-07-001, University of Bologna, Italy, LIA Series no.\u00a079 (January 2007)"},{"key":"9_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"222","DOI":"10.1007\/3-540-44469-6_21","volume-title":"Database and Expert Systems Applications","author":"N.K. Cicekli","year":"2000","unstructured":"Cicekli, N.K., Yildirim, Y.: Formalizing Workflows Using the Event Calculus. In: Ibrahim, M., K\u00fcng, J., Revell, N. (eds.) DEXA 2000. LNCS, vol.\u00a01873, pp. 222\u2013231. Springer, Heidelberg (2000)"},{"key":"9_CR13","unstructured":"Corapi, D.: Traduzione di un linguaggio per l\u2019ingegneria dei requisiti orientato agli agenti in logica computazionale. Technical Report DEIS-LIA-07-007, University of Bologna, Italy, Master\u2019s Thesis. LIA Series no.\u00a085 (October 2007) (in Italian)"},{"key":"9_CR14","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"373","DOI":"10.1007\/11750734_21","volume-title":"Computational Logic in Multi-Agent Systems","author":"M. Dastani","year":"2006","unstructured":"Dastani, M., Dix, J., Nov\u00e1k, P.: The First Contest on Multi-agent Systems Based on Computational Logic. In: Toni, F., Torroni, P. (eds.) CLIMA 2005. LNCS (LNAI), vol.\u00a03900, pp. 373\u2013384. Springer, Heidelberg (2006)"},{"key":"9_CR15","unstructured":"Dijkman, R., Dumas, M., Ouyang, C.: Formal Semantics and Automated Analysis of BPMN Process Models. Preprint 7115, Queensland University of Technology (2007)"},{"key":"9_CR16","unstructured":"Frankova, G., Massacci, F., Seguran, M.: From Early Requirements Analysis towards Secure Workflows. In: Proc. of IFIPTM 2007, The full version appears as Technical Report, DIT-07-036 (2007), http:\/\/eprints.biblio.unitn.it\/archive\/00001220\/"},{"issue":"2","key":"9_CR17","doi-asserted-by":"publisher","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.: The IFF proof procedure for abductive logic programming. Journal of Logic Programming\u00a033(2), 151\u2013165 (1997)","journal-title":"Journal of Logic Programming"},{"issue":"2","key":"9_CR18","first-page":"132","volume":"9","author":"A. Fuxman","year":"2004","unstructured":"Fuxman, A., Liu, L., Mylopoulos, J., Pistore, M., Roveri, M., Traverso, P.: Specifying and Analyzing Early Requirements in Tropos. REJ\u00a09(2), 132\u2013150 (2004)","journal-title":"REJ"},{"key":"9_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1007\/11554578_8","volume-title":"Foundations of Security Analysis and Design III","author":"P. Giorgini","year":"2005","unstructured":"Giorgini, P., Massacci, F., Zannone, N.: Security and Trust Requirements Engineering. In: Aldini, A., Gorrieri, R., Martinelli, F. (eds.) FOSAD 2005. LNCS, vol.\u00a03655, pp. 237\u2013272. Springer, Heidelberg (2005)"},{"key":"9_CR20","doi-asserted-by":"crossref","unstructured":"Henderson-Sellers, B., Giorgini, P. (eds.): Agent-Oriented Methodologies. Idea Group Publishing (2005)","DOI":"10.4018\/978-1-59140-581-8"},{"key":"9_CR21","doi-asserted-by":"publisher","first-page":"503","DOI":"10.1016\/0743-1066(94)90033-7","volume":"19-20","author":"J. Jaffar","year":"1994","unstructured":"Jaffar, J., Maher, M.: Constraint logic programming: a survey. Journal of Logic Programming\u00a019-20, 503\u2013582 (1994)","journal-title":"Journal of Logic Programming"},{"issue":"6","key":"9_CR22","doi-asserted-by":"publisher","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.: Abductive Logic Programming. Journal of Logic and Computation\u00a02(6), 719\u2013770 (1993)","journal-title":"Journal of Logic and Computation"},{"key":"9_CR23","first-page":"9","volume-title":"EDOC 2004","author":"R. Kazhamiakin","year":"2004","unstructured":"Kazhamiakin, R., Pistore, M., Roveri, M.: A Framework for Integrating Business Processes and Business Requirements. In: EDOC 2004, pp. 9\u201320. IEEE Computer Society Press, Los Alamitos (2004)"},{"issue":"1","key":"9_CR24","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/BF03037383","volume":"4","author":"R. Kowalski","year":"1986","unstructured":"Kowalski, R., Sergot, M.: A logic-based calculus of events. New Gen. Comput.\u00a04(1), 67\u201395 (1986)","journal-title":"New Gen. Comput."},{"key":"9_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"246","DOI":"10.1007\/978-3-540-75183-0_18","volume-title":"Business Process Management","author":"A. Lapouchnian","year":"2007","unstructured":"Lapouchnian, A., Yu, Y., Mylopoulos, J.: Requirements-Driven Design and Configuration Management of Business Processes. In: Alonso, G., Dadam, P., Rosemann, M. (eds.) BPM 2007. LNCS, vol.\u00a04714, pp. 246\u2013261. Springer, Heidelberg (2007)"},{"key":"9_CR26","unstructured":"L\u00f3pez, H.A., Massacci, F., Zannone, N.: Goal-Equivalent Secure Business Process Re-engineering. In: Proc. of SeMSoC 2007 (2007)"},{"key":"9_CR27","doi-asserted-by":"crossref","unstructured":"Massacci, F., Mylopoulos, J., Zannone, N.: An Ontology for Secure Socio-Technical Systems. In: Handbook of Ontologies for Business Interaction. The IDEA Group (2007)","DOI":"10.4018\/978-1-59904-660-0.ch011"},{"issue":"3","key":"9_CR28","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1145\/356698.356702","volume":"9","author":"J.L. Peterson","year":"1977","unstructured":"Peterson, J.L.: Petri Nets. ACM Comput. Surv.\u00a09(3), 223\u2013252 (1977)","journal-title":"ACM Comput. Surv."},{"key":"9_CR29","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/BFb0022460","volume-title":"Proc. of the International Symposium on Semantics of Concurrent Computation","author":"A. Pnueli","year":"1979","unstructured":"Pnueli, A.: The Temporal Semantics of Concurrent Programs. In: Proc. of the International Symposium on Semantics of Concurrent Computation, pp. 1\u201320. Springer, Heidelberg (1979)"},{"key":"9_CR30","volume-title":"The Theory and Practice of Concurrency","author":"A.W. Roscoe","year":"1997","unstructured":"Roscoe, A.W., Hoare, C.A.R., Bird, R.: The Theory and Practice of Concurrency. Prentice-Hall, Englewood Cliffs (1997)"},{"key":"9_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1007\/978-3-540-75183-0_12","volume-title":"Business Process Management","author":"S.W. Sadiq","year":"2007","unstructured":"Sadiq, S.W., Governatori, G., Namiri, K.: Modeling control objectives for business process compliance. In: Alonso, G., Dadam, P., Rosemann, M. (eds.) BPM 2007. LNCS, vol.\u00a04714, pp. 149\u2013164. Springer, Heidelberg (2007)"},{"key":"9_CR32","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1007\/978-1-4615-1567-8_11","volume-title":"Logic-based artificial intelligence","author":"M. Shanahan","year":"2000","unstructured":"Shanahan, M.: Reinventing shakey. In: Logic-based artificial intelligence, pp. 233\u2013253. Kluwer Academic Publishers, Dordrecht (2000)"},{"key":"9_CR33","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1007\/11837862_18","volume-title":"Business Process Management Workshops","author":"W.M.P. Aalst van der","year":"2006","unstructured":"van der Aalst, W.M.P., Pesic, M.: A declarative approach for flexible business processes management. In: Eder, J., Dustdar, S. (eds.) BPM Workshops 2006. LNCS, vol.\u00a04103, pp. 169\u2013180. Springer, Heidelberg (2006)"},{"key":"9_CR34","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/11841197_1","volume-title":"Web Services and Formal Methods","author":"W.M.P. Aalst van der","year":"2006","unstructured":"van der Aalst, W.M.P., Pesic, M.: DecSerFlow: Towards a truly declarative service flow language. In: Bravetti, M., N\u00fa\u00f1ez, M., Zavattaro, G. (eds.) WS-FM 2006. LNCS, vol.\u00a04184, pp. 1\u201323. Springer, Heidelberg (2006)"},{"issue":"1","key":"9_CR35","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1023\/A:1022883727209","volume":"14","author":"W.M.P. van der Aalst","year":"2003","unstructured":"van der Aalst, W.M.P., ter Hofstede, A.H.M., Kiepuszewski, B., Barros, A.P.: Workflow patterns. Distributed and Parallel Databases\u00a014(1), 5\u201351 (2003)","journal-title":"Distributed and Parallel Databases"},{"issue":"3","key":"9_CR36","first-page":"217","volume":"2","author":"M. Venkatraman","year":"1999","unstructured":"Venkatraman, M., Singh, M.P.: Verifying Compliance with Commitment Protocols. JAAMAS\u00a02(3), 217\u2013236 (1999)","journal-title":"JAAMAS"},{"key":"9_CR37","doi-asserted-by":"crossref","unstructured":"Wong, P., Gibbons, J.: A Process Semantics for BPMN. Oxford. University Computing Laboratory (preprint, 2007), http:\/\/web.comlab.ox.ac.uk\/","DOI":"10.1007\/978-3-540-88194-0_22"}],"container-title":["Lecture Notes in Computer Science","Computational Logic in Multi-Agent Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-88833-8_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,14]],"date-time":"2019-05-14T16:34:39Z","timestamp":1557851679000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-88833-8_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540888321","9783540888338"],"references-count":37,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-88833-8_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}