A Model for Visual Specification of E-contracts

Abstract--In a web service composition, an electronic contract (e-contract) regulates how the services participating in the composition should behave, including the restrictions that these services must fulfill, such as real-time constraints. In this work we present a visual model that allows us to specify e-contracts in a user friendly way, including conditional behavior and realtime constraints. A case study is presented to illustrate how this visual model defines e-contracts and a preliminary evaluation of the model is also done. Keywords-contracts; deontic specifications; visual models;

• Type: Conference
• Year: 2010
• Where: IEEESCC
• Authors: Enrique Martinez, Gregorio Díaz, María-Emilia Cambronero, Gerardo Schneider
• Keywords: Applied Computing, IEEESCC 2010, Visual Model Defines, Visual Models, Web Service Composition