Compliant Business Process Design by Declarative Specifications

  • Francesco Olivieri
  • Guido Governatori
  • Simone Scannapieco
  • Matteo Cristani
Part of the Lecture Notes in Computer Science book series (LNCS, volume 8291)


We propose algorithms to synthesise the specifications modelling the capabilities of an agent, the environment she acts in, and the governing norms, into a process graph. This process graph corresponds to a collection of courses of action and represents all the licit alternatives the agent may choose to meet her outcomes. The starting point is a compliant situation, i.e., a situation where an agent is capable of reaching all her outcomes without violating the norms. In this case, the resulting process will be compliant by design.


Rules agents and norms Defeasible Logic BDI paradigm 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Governatori, G., Olivieri, F., Rotolo, A., Scannapieco, S., Cristani, M.: Picking up the best goal: An analytical study in defeasible logic. In: Morgenstern, L., Stefaneas, P., Lévy, F., Wyner, A., Paschke, A. (eds.) RuleML 2013. LNCS, vol. 8035, pp. 99–113. Springer, Heidelberg (2013)CrossRefGoogle Scholar
  2. 2.
    Antoniou, G., Billington, D., Governatori, G., Maher, M.J.: Representation results for defeasible logic. ACM Transactions on Computational Logic 2(2), 255–287 (2001)MathSciNetCrossRefMATHGoogle Scholar
  3. 3.
    Bratman, M.E.: Intentions, Plans and Practical Reason. Harvard University Press (1987)Google Scholar
  4. 4.
    Cohen, P.R., Levesque, H.J.: Intention is choice with commitment. Artificial Intelligence 42(2-3), 213–261 (1990)MathSciNetCrossRefMATHGoogle Scholar
  5. 5.
    Rao, A.S., Georgeff, M.P.: Modeling rational agents within a BDI-architecture. In: Allen, J.F., Fikes, R., Sandewall, E. (eds.) KR, pp. 473–484. Morgan Kaufmann (1991)Google Scholar
  6. 6.
    Rao, A.S., Georgeff, M.P.: Decision procedures for bdi logics. JLC 8(3), 293–342 (1998)MathSciNetMATHGoogle Scholar
  7. 7.
    Governatori, G., Rotolo, A.: Logic of violations: A gentzen system for reasoning with contrary-to-duty obligations. Australasian Journal of Logic 4, 193–215 (2006)MathSciNetMATHGoogle Scholar
  8. 8.
    Governatori, G., Olivieri, F., Scannapieco, S., Cristani, M.: Designing for compliance: Norms and goals. In: Olken, F., Palmirani, M., Sottara, D. (eds.) RuleML - America 2011. LNCS, vol. 7018, pp. 282–297. Springer, Heidelberg (2011)Google Scholar
  9. 9.
    Davenport, T.H.: Process innovation: reengineering work through information technology. Harvard Business School Press (1993)Google Scholar
  10. 10.
    Ghallab, M., Nau, D., Traverso, P.: Automated planning - theory and practice. Elsevier (2004)Google Scholar
  11. 11.
    Governatori, G., Rotolo, A.: BIO logical agents: Norms, beliefs, intentions in defeasible logic. Journal of Autonomous Agents and Multi-Agent Systems 17(1), 36–69 (2008)CrossRefGoogle Scholar
  12. 12.
    Broersen, J., Dastani, M., Hulstijn, J., van der Torre, L.: Goal generation in the BOID architecture. Cognitive Science Quarterly 2(3-4), 428–447 (2002)Google Scholar
  13. 13.
    Antoniou, G., Billington, D., Governatori, G., Maher, M.J., Rock, A.: A family of defeasible reasoning logics and its implementation. In: ECAI 2000, pp. 459–463 (2000)Google Scholar
  14. 14.
    Dastani, M.: 2APL: A practical agent programming language. AAMAS 16(3), 214–248 (2008)Google Scholar
  15. 15.
    Bordini, R.H., Wooldridge, M., Hübner, J.: Programming multi-agent systems in agentspeak using Jason. John Wiley & Sons (2007)Google Scholar
  16. 16.
    Alechina, N., Bassiliades, N., Dastani, M., De Vos, M., Logan, B., Mera, S., Morris-Martin, A., Schapachnik, F.: Computational models for normative multi-agent systems. In: Normative Multi-Agent Systems, pp. 71–92 (2013)Google Scholar
  17. 17.
    Kakas, A., Mancarella, P., Sadri, F., Stathis, K., Toni, F.: The kgp model of agency. In: ECAI, pp. 33–37 (2004)Google Scholar
  18. 18.
    Gabaldon, A.: Making golog norm compliant. In: Leite, J., Torroni, P., Ågotnes, T., Boella, G., van der Torre, L. (eds.) CLIMA XII 2011. LNCS, vol. 6814, pp. 275–292. Springer, Heidelberg (2011)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2013

Authors and Affiliations

  • Francesco Olivieri
    • 1
    • 2
    • 3
  • Guido Governatori
    • 1
    • 2
  • Simone Scannapieco
    • 1
    • 2
    • 3
  • Matteo Cristani
    • 3
  1. 1.NICTAQueensland Research LaboratoryAustralia
  2. 2.Institute for Integrated and Intelligent SystemsGriffith UniversityAustralia
  3. 3.Department of Computer ScienceUniversity of VeronaItaly

Personalised recommendations