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.
Type de document :
Communication dans un congrès
Farhad Arbab; Marjan Sirjani. 5th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2013, Tehran, Iran. Springer Berlin Heidelberg, Lecture Notes in Computer Science, LNCS-8161, pp.66-82, 2013, Fundamentals of Software Engineering. 〈10.1007/978-3-642-40213-5_5〉
Liste complète des métadonnées

Littérature citée [22 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01514665
Contributeur : Hal Ifip <>
Soumis le : mercredi 26 avril 2017 - 15:22:07
Dernière modification le : mercredi 26 avril 2017 - 15:26:39
Document(s) archivé(s) le : jeudi 27 juillet 2017 - 13:06:38

Fichier

978-3-642-40213-5_5_Chapter.pd...
Fichiers produits par l'(les) auteur(s)

Licence


Distributed under a Creative Commons Paternité 4.0 International License

Identifiants

Citation

Massimo Bartoletti, Tiziana Cimoli, G. Pinna. Lending Petri Nets and Contracts. Farhad Arbab; Marjan Sirjani. 5th International Conference on Fundamentals of Software Engineering (FSEN), Apr 2013, Tehran, Iran. Springer Berlin Heidelberg, Lecture Notes in Computer Science, LNCS-8161, pp.66-82, 2013, Fundamentals of Software Engineering. 〈10.1007/978-3-642-40213-5_5〉. 〈hal-01514665〉

Partager

Métriques

Consultations de la notice

48

Téléchargements de fichiers

24