Lending Petri Nets and Contracts - Fundamentals of Software Engineering Access content directly
Conference Papers Year : 2013

Lending Petri Nets and Contracts

Massimo Bartoletti
  • Function : Author
  • PersonId : 998106
Tiziana Cimoli
  • Function : Author
  • PersonId : 1007026
G. Michele Pinna
  • Function : Author
  • PersonId : 1007027


Choreography-based approaches to service composition typically assume that, after a set of services has been found which correctly play the roles prescribed by the choreography, each service respects his role. Honest services are not protected against adversaries. We propose a model for contracts based on an extension of Petri nets, which allows services to protect themselves while still realizing the choreography. We relate this model with Propositional Contract Logic, by showing a translation of formulae into our Petri nets which preserves the logical notion of agreement, and allows for compositional verification.
Fichier principal
Vignette du fichier
978-3-642-40213-5_5_Chapter.pdf (406.71 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-01514665 , version 1 (26-04-2017)





Massimo Bartoletti, Tiziana Cimoli, G. Michele Pinna. Lending Petri Nets and Contracts. 5th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2013, Tehran, Iran. pp.66-82, ⟨10.1007/978-3-642-40213-5_5⟩. ⟨hal-01514665⟩
41 View
57 Download



Gmail Facebook X LinkedIn More