Sciweavers

866 search results - page 19 / 174
» A compositional semantics for CHR
Sort
View
ENTCS
2006
175views more  ENTCS 2006»
13 years 7 months ago
A Semantical Framework for the Orchestration and Choreography of Web Services
Web Services are software services that can be advertised by providers and invoked by customers using Web technologies. This concept is currently carried further to address the co...
Claus Pahl, Yaoling Zhu
FASE
2008
Springer
13 years 9 months ago
Object Composition in Scenario-Based Programming
We investigate the classical notion of object composition in the framework of scenario-based specification and programming. We concentrate on live sequence charts (LSC), which exte...
Yoram Atir, David Harel, Asaf Kleinbort, Shahar Ma...
ENTCS
2006
135views more  ENTCS 2006»
13 years 7 months ago
Formal Semantics and Analysis of Component Connectors in Reo
We present an operational semantics for a component composition language called Reo. Reo connectors exogenously compose and coordinate the interactions among individual components...
Mohammad Reza Mousavi, Marjan Sirjani, Farhad Arba...
WISE
2007
Springer
14 years 1 months ago
Web Service Composition: A Reality Check
Automated web service composition is one of the major promises of serviceoriented architecture, where services can be discovered and composed dynamically and automatically. To inv...
Jianguo Lu, Yijun Yu, Debashis Roy, Deepa Saha
BPM
2008
Springer
174views Business» more  BPM 2008»
13 years 9 months ago
A Framework for Dependency Based Automatic Service Composition
Abstract. Developing service based complex applications (service composition) has become an important area of research in SOA. In spite of this, there has been little effort to und...
Abrehet M. Omer, Alexander Schill