Sciweavers

57 search results - page 4 / 12
» Interactive Credential Negotiation for Stateful Business Pro...
Sort
View
127
Voted
WECWIS
2007
IEEE
94views ECommerce» more  WECWIS 2007»
15 years 10 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...
168
Voted
ASM
2008
ASM
15 years 5 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
118
Voted
WECWIS
2006
IEEE
97views ECommerce» more  WECWIS 2006»
15 years 9 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...
141
Voted
KESAMSTA
2010
Springer
15 years 2 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...
116
Voted
OTM
2005
Springer
15 years 9 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 ...