Sciweavers

57 search results - page 4 / 12
» Interactive Credential Negotiation for Stateful Business Pro...
Sort
View
WECWIS
2007
IEEE
94views ECommerce» more  WECWIS 2007»
14 years 2 months ago
Modeling Business Entity State Centric Choreographies
In a B2B environment business partners interact with each other by exchanging electronic business documents. The agreements and commitments between the partner require a certain o...
Christian Huemer, Marco Zapletal, Philipp Liegl, R...
ASM
2008
ASM
13 years 10 months ago
Modeling Workflows, Interaction Patterns, Web Services and Business Processes: The ASM-Based Approach
Abstract. We survey the use of the Abstract State Machines (ASM) method for a rigorous foundation of modeling and validating web services, workflows, interaction patterns and busin...
Egon Börger, Bernhard Thalheim
WECWIS
2006
IEEE
97views ECommerce» more  WECWIS 2006»
14 years 2 months ago
On State Synchronization of Business Conversations
The paper assumes that business interactions between trading partners are composed of well defined conversations (tasks), such as issue a purchase order, process payment, refund m...
Carlos Molina-Jiménez, Santosh K. Shrivasta...
KESAMSTA
2010
Springer
13 years 7 months ago
Modeling and Verifying Business Interactions via Commitments and Dialogue Actions
A variety of business interactions in open environments can be captured in terms of creation and manipulation of social commitments among the agents. Such interactions include B2B ...
Mohamed El-Menshawy, Jamal Bentahar, Rachida Dssou...
OTM
2005
Springer
14 years 2 months ago
A Service-Oriented Workflow Language for Robust Interacting Applications
Abstract. In a service-oriented world, a long-running business process can be implemented as a set of stateful services that represent the individual but coordinated steps that mak...
Surya Nepal, Alan Fekete, Paul Greenfield, Julian ...