This paper deals with the modeling and the automatic implementation of constraints in component based applications. Constraints have been assuming an ever more relevant role in mod...
Antonio Coronato, Antonio d'Acierno, Diego D'Ambro...
Abstract. Global choreographies define the rules that peers should respect in their interaction, with the aim of guaranteeing interoperability. act choreography can be seen as a p...
Matteo Baldoni, Cristina Baroglio, Alberto Martell...
This paper addresses the problem of mapping business contract conditions onto the messages and rules that represent service interactions in a collaborative business process. We de...
Zoran Milosevic, Maria E. Orlowska, Shazia Wasim S...
Protocols specifying business interactions among autonomous parties enable reuse and promote interoperability. A protocol is specified from a global viewpoint, but enacted in a di...
: The evaluation of Information Systems (IS) is a critical process for the successful development of any organizational IT capability. An important class of decision making techniq...