The interaction of autonomous and heterogeneous business partners is often specified by business protocols. Particularly challenging is the case when such protocols must embed regulations, that change along time. In this work we focus on commitment-based protocols extended with temporal constraints among commitments and facts. We formalize a notion of “grafting” of new regulations inside protocols, where the new activities, foreseen by the regulation, are properly interleaved with the original ones thanks to the temporal constraints. We present a tool that exploitsthese principles to support the analysis of risks of violation, an apply it to two real-world case studies. This is a starting point for defining a notion of protocol compositionality that meets the requirements of flexible enactment, typical of cross-business settings, as well as that of modularity typical of Software Engineering.

Grafting Regulations into Business Protocols: Supporting the Analysis of Risks of Violation

BALDONI, Matteo;BAROGLIO, Cristina;MARENGO, ELISA;PATTI, Viviana
2011-01-01

Abstract

The interaction of autonomous and heterogeneous business partners is often specified by business protocols. Particularly challenging is the case when such protocols must embed regulations, that change along time. In this work we focus on commitment-based protocols extended with temporal constraints among commitments and facts. We formalize a notion of “grafting” of new regulations inside protocols, where the new activities, foreseen by the regulation, are properly interleaved with the original ones thanks to the temporal constraints. We present a tool that exploitsthese principles to support the analysis of risks of violation, an apply it to two real-world case studies. This is a starting point for defining a notion of protocol compositionality that meets the requirements of flexible enactment, typical of cross-business settings, as well as that of modularity typical of Software Engineering.
2011
Fourth International Workshop on Requirements Engineering and Law (RELAW 2011)
Trento, Italy
30 agosto 2011
Proc. of Fourth International Workshop on Requirements Engineering and Law (RELAW 2011)
IEEE Xplore
50
59
9781457709470
http://dx.doi.org/10.1109/RELAW.2011.6050273
http://relaw2011.dke.univie.ac.at/
M. Baldoni; C. Baroglio; E. Marengo; V. Patti
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/2318/89101
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 3
  • ???jsp.display-item.citation.isi??? ND
social impact