Movatterモバイル変換

[0]ホーム
URL:

Skip to main content

Advertisement

Springer Nature Link
Log in

\({\cal B}\)-Tropos

Agent-Oriented Requirements Engineering Meets Computational Logic for Declarative Business Process Modeling and Verification

  • Conference paper

Part of the book series:Lecture Notes in Computer Science ((LNAI,volume 5056))

Abstract

The work presented in this paper stands at the intersection of three diverse research areas: agent-oriented early requirements engineering, business process requirements elicitation and specification, and computational logic-based specification and verification. The analysis of business requirements and the specification of business processes are fundamental steps in the development of information systems. The first part of this paper presents\(\mathcal{B}\)-Tropos as a way to combine business goals and requirements with the business process model.\(\mathcal{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\(\mathcal{B}\)-Tropos onto\(\mathcal{S}\)CIFF, a computational logic-based framework for properties and conformance verification.

This work has been partially funded by EU SENSORIA and SERENITY projects, by the national MIUR-FIRB TOCAI.IT and MIUR-PRIN 2005-011293 projects, and by the PAT MOSTRO project.

This is a preview of subscription content,log in via an institution to check access.

Access this chapter

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. Alberti, M., Chesani, F., Gavanelli, M., Lamma, E., Mello, P.: A Verifiable Logic-Based Agent Architecture. In: Esposito, F., Raś, Z.W., Malerba, D., Semeraro, G. (eds.) ISMIS 2006. LNCS (LNAI), vol. 4203, pp. 188–197. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  2. 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. 3963, pp. 106–124. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  3. 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 20(2-4), 133–157 (2006)

    Article MATH  Google Scholar 

  4. 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)

    Google Scholar 

  5. Allen, J., Ferguson, G.: Actions and events in interval temporal logic. Journal of Logic and Computation 4(5) (1995)

    Google Scholar 

  6. 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)

    Google Scholar 

  7. Business Process Modeling Notation (BPMN) Specification. OMG Final Adopted Specification, February 6, 2006, Object Management Group (2006)

    Google Scholar 

  8. Bresciani, P., Giorgini, P., Giunchiglia, F., Mylopoulos, J., Perini, A.: TROPOS: An Agent-Oriented Software Development Methodology. JAAMAS 8(3), 203–236 (2004)

    MATH  Google Scholar 

  9. Bryl, V., Massacci, F., Mylopoulos, J., Zannone, N.: Designing Security Requirements Models through Planning. In: Dubois, E., Pohl, K. (eds.) CAiSE 2006. LNCS, vol. 4001, pp. 33–47. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  10. 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. 3900, pp. 396–405. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  11. 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. 79 (January 2007)

    Google Scholar 

  12. Cicekli, N.K., Yildirim, Y.: Formalizing Workflows Using the Event Calculus. In: Ibrahim, M., Küng, J., Revell, N. (eds.) DEXA 2000. LNCS, vol. 1873, pp. 222–231. Springer, Heidelberg (2000)

    Chapter  Google Scholar 

  13. Corapi, D.: Traduzione di un linguaggio per l’ingegneria dei requisiti orientato agli agenti in logica computazionale. Technical Report DEIS-LIA-07-007, University of Bologna, Italy, Master’s Thesis. LIA Series no. 85 (October 2007) (in Italian)

    Google Scholar 

  14. Dastani, M., Dix, J., Novák, P.: The First Contest on Multi-agent Systems Based on Computational Logic. In: Toni, F., Torroni, P. (eds.) CLIMA 2005. LNCS (LNAI), vol. 3900, pp. 373–384. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  15. Dijkman, R., Dumas, M., Ouyang, C.: Formal Semantics and Automated Analysis of BPMN Process Models. Preprint 7115, Queensland University of Technology (2007)

    Google Scholar 

  16. 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/

  17. Fung, T.H., Kowalski, R.A.: The IFF proof procedure for abductive logic programming. Journal of Logic Programming 33(2), 151–165 (1997)

    Article MathSciNet MATH  Google Scholar 

  18. Fuxman, A., Liu, L., Mylopoulos, J., Pistore, M., Roveri, M., Traverso, P.: Specifying and Analyzing Early Requirements in Tropos. REJ 9(2), 132–150 (2004)

    Google Scholar 

  19. Giorgini, P., Massacci, F., Zannone, N.: Security and Trust Requirements Engineering. In: Aldini, A., Gorrieri, R., Martinelli, F. (eds.) FOSAD 2005. LNCS, vol. 3655, pp. 237–272. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  20. Henderson-Sellers, B., Giorgini, P. (eds.): Agent-Oriented Methodologies. Idea Group Publishing (2005)

    Google Scholar 

  21. Jaffar, J., Maher, M.: Constraint logic programming: a survey. Journal of Logic Programming 19-20, 503–582 (1994)

    Article MathSciNet MATH  Google Scholar 

  22. Kakas, A.C., Kowalski, R.A., Toni, F.: Abductive Logic Programming. Journal of Logic and Computation 2(6), 719–770 (1993)

    Article MathSciNet MATH  Google Scholar 

  23. Kazhamiakin, R., Pistore, M., Roveri, M.: A Framework for Integrating Business Processes and Business Requirements. In: EDOC 2004, pp. 9–20. IEEE Computer Society Press, Los Alamitos (2004)

    Google Scholar 

  24. Kowalski, R., Sergot, M.: A logic-based calculus of events. New Gen. Comput. 4(1), 67–95 (1986)

    Article  Google Scholar 

  25. 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. 4714, pp. 246–261. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  26. López, H.A., Massacci, F., Zannone, N.: Goal-Equivalent Secure Business Process Re-engineering. In: Proc. of SeMSoC 2007 (2007)

    Google Scholar 

  27. Massacci, F., Mylopoulos, J., Zannone, N.: An Ontology for Secure Socio-Technical Systems. In: Handbook of Ontologies for Business Interaction. The IDEA Group (2007)

    Google Scholar 

  28. Peterson, J.L.: Petri Nets. ACM Comput. Surv. 9(3), 223–252 (1977)

    Article MathSciNet MATH  Google Scholar 

  29. Pnueli, A.: The Temporal Semantics of Concurrent Programs. In: Proc. of the International Symposium on Semantics of Concurrent Computation, pp. 1–20. Springer, Heidelberg (1979)

    Chapter  Google Scholar 

  30. Roscoe, A.W., Hoare, C.A.R., Bird, R.: The Theory and Practice of Concurrency. Prentice-Hall, Englewood Cliffs (1997)

    Google Scholar 

  31. 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. 4714, pp. 149–164. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  32. Shanahan, M.: Reinventing shakey. In: Logic-based artificial intelligence, pp. 233–253. Kluwer Academic Publishers, Dordrecht (2000)

    Chapter  Google Scholar 

  33. 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. 4103, pp. 169–180. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  34. van der Aalst, W.M.P., Pesic, M.: DecSerFlow: Towards a truly declarative service flow language. In: Bravetti, M., Núñez, M., Zavattaro, G. (eds.) WS-FM 2006. LNCS, vol. 4184, pp. 1–23. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  35. van der Aalst, W.M.P., ter Hofstede, A.H.M., Kiepuszewski, B., Barros, A.P.: Workflow patterns. Distributed and Parallel Databases 14(1), 5–51 (2003)

    Article  Google Scholar 

  36. Venkatraman, M., Singh, M.P.: Verifying Compliance with Commitment Protocols. JAAMAS 2(3), 217–236 (1999)

    Google Scholar 

  37. Wong, P., Gibbons, J.: A Process Semantics for BPMN. Oxford. University Computing Laboratory (preprint, 2007),http://web.comlab.ox.ac.uk/

Download references

Author information

Authors and Affiliations

  1. DISI, University of Trento, Via Sommarive 14, 38100, Povo (TN), Italy

    Volha Bryl & Nicola Zannone

  2. DEIS, University of Bologna, V.le Risorgimento 2, 40136, Bologna, Italy

    Paola Mello, Marco Montali & Paolo Torroni

Authors
  1. Volha Bryl

    You can also search for this author inPubMed Google Scholar

  2. Paola Mello

    You can also search for this author inPubMed Google Scholar

  3. Marco Montali

    You can also search for this author inPubMed Google Scholar

  4. Paolo Torroni

    You can also search for this author inPubMed Google Scholar

  5. Nicola Zannone

    You can also search for this author inPubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computing, Imperial College London, London, UK

    Fariba Sadri

  2. National Institute of Informatics, Sokendai, Japan

    Ken Satoh

Rights and permissions

Copyright information

© 2008 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Bryl, V., Mello, P., Montali, M., Torroni, P., Zannone, N. (2008).\({\cal B}\)-Tropos. In: Sadri, F., Satoh, K. (eds) Computational Logic in Multi-Agent Systems. CLIMA 2007. Lecture Notes in Computer Science(), vol 5056. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-88833-8_9

Download citation

Publish with us

[8]ページ先頭
©2009-2025 Movatter.jp