Sciweavers

516 search results - page 14 / 104
» Value-Oriented Coordination Process Modeling
Sort
View
COORDINATION
2006
Springer
14 years 1 months ago
Formalising Business Process Execution with Bigraphs and Reactive XML
Bigraphical Reactive Systems have been proposed as a meta model for global ubiquitous computing generalising process calculi for mobility such as the pi-calculus and the Mobile Amb...
Thomas T. Hildebrandt, Henning Niss, Martin Olsen
ATAL
2007
Springer
14 years 1 months ago
Workflow coordination for service-oriented multiagent systems
From a multiagent viewpoint, a workflow is a dynamic set of tasks performed by a set of agents to reach a shared goal. We show herein that commitments among agents can be used to ...
Jiangbo Dang, Jingshan Huang, Michael N. Huhns
WETICE
2007
IEEE
14 years 4 months ago
Data-Driven Design of Engineering Processes with COREPROModeler
Enterprises increasingly demand IT support for the coordination of their engineering processes, which often consist of hundreds up to thousands of sub-processes. From a technical ...
Dominic Müller, Manfred Reichert, Joachim Her...
COORDINATION
2004
Springer
14 years 3 months ago
O'Klaim: A Coordination Language with Mobile Mixins
This paper presents O’KLAIM (Object-Oriented KLAIM), a linguistic extension of the higher-order calculus for mobile processes KLAIM with objectoriented features. Processes intera...
Lorenzo Bettini, Viviana Bono, Betti Venneri
SAC
2005
ACM
14 years 3 months ago
MoCha-pi, an exogenous coordination calculus based on mobile channels
In this paper we present MoCha-π, an exogenous coordination calculus that is based on mobile channels. A mobile channel is a coordination primitive that allows anonymous point-to...
Juan Guillen Scholten, Farhad Arbab, Frank S. de B...