Sciweavers

2123 search results - page 276 / 425
» Flexible Service Composition
Sort
View
117
Voted
ICWS
2004
IEEE
15 years 2 months ago
Net Traveler: A Framework for Autonomic Web Services Collaboration, Orchestration and Choreography in E-Government Information S
Next-generation Government Information Systems will integrate large amounts of heterogeneous data sources located on distributed networks like the Internet. We present Net Travele...
Hillary Caituiro-Monge, Manuel Rodriguez-Martinez
109
Voted
I3E
2003
100views Business» more  I3E 2003»
15 years 2 months ago
Use of Models and Modelling Techniques for Service Development
: E-applications are increasingly being composed from individual services that can be realized with different technologies, such as, e.g., Web Services and standard component techn...
Luís Ferreira Pires, Marten van Sinderen, C...
104
Voted
IFIP
2009
Springer
15 years 7 months ago
Transformations between Cryptographic Protocols
Abstract. A transformation F between protocols associates the messages sent and received by participants in a protocol Π1 with messages sent and received in some Π2. Transformati...
Joshua D. Guttman
125
Voted
WSFM
2007
Springer
15 years 7 months ago
From BPEL to SRML: A Formal Transformational Approach
The SENSORIA Reference Modelling Language (SRML) provides primitives for modelling business processes in a technology agnostic way. At the core of SRML is the notion of module as a...
Laura Bocchi, Yi Hong, Antónia Lopes, Jos&e...
122
Voted
WECWIS
2006
IEEE
151views ECommerce» more  WECWIS 2006»
15 years 7 months ago
DAG Synchronization Constraint Language for Business Processes
Correct synchronization among activities is critical in a business process. Current workflow languages such as BPEL specify the control flow of processes explicitly. However, thei...
Qinyi Wu, Akhil Sahai