Skip to Main content Skip to Navigation
Conference papers

Lending Petri Nets and Contracts

Abstract : 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.
Document type :
Conference papers
Complete list of metadata

Cited literature [22 references]  Display  Hide  Download

https://hal.inria.fr/hal-01514665
Contributor : Hal Ifip <>
Submitted on : Wednesday, April 26, 2017 - 3:22:07 PM
Last modification on : Wednesday, April 26, 2017 - 3:26:39 PM
Long-term archiving on: : Thursday, July 27, 2017 - 1:06:38 PM

File

978-3-642-40213-5_5_Chapter.pd...
Files produced by the author(s)

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

Citation

Massimo Bartoletti, Tiziana Cimoli, G. 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⟩

Share

Metrics

Record views

98

Files downloads

162