CLAN: A Tool for Contract Analysis and Conflict Discovery

  • Stephen Fenech
  • Gordon J. Pace
  • Gerardo Schneider
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5799)

Abstract

As Service-Oriented Architectures are more widely adopted, it becomes more important to adopt measures for ensuring that the services satisfy functional and non-functional requirements. One approach is the use of contracts based on deontic logics, expressing obligations, permissions and prohibitions of the different actors. A challenging aspect is that of service composition, in which the contracts composed together may result in conflicting situations, so there is a need to analyse contracts and ensure their soundness. In this paper, we present CLAN, a tool for automatic analysis of conflicting clauses of contracts written in the contract language \({\mathcal CL}\). We present a small case study of an airline check-in desk illustrating the use of the tool.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Fenech, S., Pace, G.J., Schneider, G.: Automatic Conflict Detection on Contracts. In: Leucker, M., Morgan, C. (eds.) ICTAC 2009. LNCS, vol. 5684, pp. 200–214. Springer, Heidelberg (2009)Google Scholar
  2. 2.
    Kyas, M., Prisacariu, C., Schneider, G.: Run-time monitoring of electronic contracts. In: Cha, S., Choi, J.-Y., Kim, M., Lee, I., Viswanathan, M. (eds.) ATVA 2008. LNCS, vol. 5311, pp. 397–407. Springer, Heidelberg (2008)CrossRefGoogle Scholar
  3. 3.
    Prisacariu, C., Schneider, G.: A Formal Language for Electronic Contracts. In: Bonsangue, M.M., Johnsen, E.B. (eds.) FMOODS 2007. LNCS, vol. 4468, pp. 174–189. Springer, Heidelberg (2007)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2009

Authors and Affiliations

  • Stephen Fenech
    • 1
  • Gordon J. Pace
    • 1
  • Gerardo Schneider
    • 2
  1. 1.Dept. of Computer ScienceUniversity of MaltaMalta
  2. 2.Dept. of InformaticsUniversity of OsloNorway

Personalised recommendations