1,420 Hits in 3.1 sec

Service Oriented Computing: A New Challenge for Process Algebras

Mario Bravetti, Gianluigi Zavattaro
2006 Electronical Notes in Theoretical Computer Science  
Service Oriented Computing is emerging as a reference model for a new class of distributed computing technologies such as Web Services and the Grid.  ...  We discuss three main aspects of Service Oriented Computing (loose coupling, communication latency, and open endedness), and we relate them with traditional process algebra operators.  ...  [1] for a comprehensive overview. In [2] a model of time particularly suited for loosely coupled distributed computing has been defined and investigated in the context of π-calculus.  ... 
doi:10.1016/j.entcs.2005.12.116 fatcat:5ywrrpyq4jhffhgipg4zc7tckq

On the Impact of Formal Methods in the SOA

Laura Bocchi, Paolo Ciancarini
2006 Electronical Notes in Theoretical Computer Science  
Despite the shared interest in these weaker transactions, supported by most languages for Web service coordination and composition, in many cases there is not an agreement on their semantics.  ...  We present an overview of recent research that provide a formal analysis of coordination and composition in Service Oriented Architectures.  ...  This is modeled in πt-calculus by the fact that a process can emit messages out of the transaction boundary during the transaction execution. πt-calculus has been encoded into the asynchronous pi calculus  ... 
doi:10.1016/j.entcs.2006.05.018 fatcat:6cs4luj6mre3vbxpa7gcjhuub4

A Formal Framework for Web Services Coordination

Claudio Guidi, Roberto Lucchi, Manuel Mazzara
2007 Electronical Notes in Theoretical Computer Science  
BPEL4WS) make use of concepts as long-running transactions and compensations for coping with error handling.  ...  In this paper, we formally address Web Services Coordination with particular attention to Web transactions.  ...  XLANG -the internal orchestration language of BizTalk -is explicitly built on a model from the π-calculus for a rigorous mathematical basis.  ... 
doi:10.1016/j.entcs.2006.10.046 fatcat:qdbtfwcdezbrxcaoktttnsml2m

A pi-calculus based semantics for WS-BPEL

Roberto Lucchi, Manuel Mazzara
2007 The Journal of Logic and Algebraic Programming  
Several proposals for describing orchestration for business processes have been presented in the last years and many of these languages make use of concepts as long-running transactions and compensations  ...  Recently, the term Web services orchestration has been introduced to address some issues related to Web services composition, that is the way of defining a complex service out of simpler ones.  ...  Acknowledgments The authors would like to acknowledge Cosimo Laneve, Nadia Busi, Claudio Guidi, Andrea Carpineti, Alessandro Perfetti and Enrico Tosi for their comments and contributions to the paper.  ... 
doi:10.1016/j.jlap.2006.05.007 fatcat:twfog6scjfa3jdk5qi32iphzwm

Semantic-Based Development of Service-Oriented Systems [chapter]

Martin Wirsing, Allan Clark, Stephen Gilmore, Matthias Hölzl, Alexander Knapp, Nora Koch, Andreas Schroeder
2006 Lecture Notes in Computer Science  
In this paper we present first ideas for the SENSORIA semantic-based development of service-oriented systems.  ...  Service-oriented computing is an emerging paradigm where services are understood as autonomous, platform-independent computational entities that can be described, published, categorised, discovered, and  ...  Hence, the saga calculus is a suitable semantic basis for service orchestrations.  ... 
doi:10.1007/11888116_3 fatcat:lkiwczznjzfbrcy5fcgifbyeaq

The benefits of service choreography for data-intensive computing

Adam Barker, Paolo Besana, David Robertson, Jon B. Weissman
2009 Proceedings of the 7th international workshop on Challenges of large applications in distributed environments - CLADE '09  
As the number of services and the size of data involved in workflows increases, centralised orchestration techniques are reaching the limits of scalability.  ...  , providing the functionality for peers to coordinate in an open peer-to-peer system.  ...  In a global (or choreography) model, interactions are described from the viewpoint of an ideal observer who oversees all interactions between a set of services.  ... 
doi:10.1145/1552315.1552317 dblp:conf/clade/BarkerBRW09 fatcat:56zt5riqvjhb7fsz2vexrd3sue

Preface: Special issue on objects and services

2014 Mathematical Structures in Computer Science  
The paper 'Abstract Delta Modelling', by Clarke, Helvensteijn and Schaefer, presents delta modelling: an approach to facilitate automated product derivation for software product lines.  ...  The paper explores delta modelling from an abstract, algebraic perspective. Further, a mechanism is proposed for resolving conflicts and ambiguity during code reuse.  ...  The paper 'CaSPiS: A Calculus of Sessions, Pipelines and Services', by Boreale, Bruni, De Nicola and Loreti, presents CaSPiS, a calculus for modelling services based on the concept of binary session.  ... 
doi:10.1017/s0960129512000898 fatcat:gq4mwrdli5hzljw3tyrsku2aim

Modelling and verifying web service orchestration by means of the concurrency workbench

Mariya Koshkina, Franck van Breugel
2004 Software engineering notes  
By means of the Process Algebra Compiler (PAC), the CWB is modified to support the BPE-calculus. The BPE-calculus is a small language, based on BPEL4WS, to express web service orchestration.  ...  Verification techniques like model checking, preorder checking and equivalence checking are shown to be relevant to web service orchestration.  ...  These extensions would allow us to model web service orchestration described in BPEL4WS more accurately and it would form the basis of an even more powerful tool for the verification of web service orchestration  ... 
doi:10.1145/1022494.1022526 fatcat:nycz2wm5jjgavhfedaub7wqf7q

BPMN Modelling of Services with Dynamically Reconfigurable Transactions [chapter]

Laura Bocchi, Roberto Guanciale, Daniele Strollo, Emilio Tuosto
2010 Lecture Notes in Computer Science  
We promote the use of transactional attributes for modelling business processes in the service-oriented scenario.  ...  An original element of our research programme is the definition and study of modelling and programming mechanisms to control dynamically reconfigurable transactional scopes in Service-Oriented Computing  ...  A formal model for failure propagation in dynamically reconfiguring systems has been proposed in [2] as a CCS-like process calculus called ATc (after Attribute-based Transactional calculus).  ... 
doi:10.1007/978-3-642-17358-5_27 fatcat:tq45i3oah5bfbktiwv7rvtppwq

An animation tool for exploring transactions in a DE

Sotiris Moschoyiannis, Paul J. Krause, Pavlos Georgiou
2012 2012 6th IEEE International Conference on Digital Ecosystems and Technologies (DEST)  
We introduce an animation tool that has been developed to explore the behaviours of long-running transactions within our modelling environment.  ...  This includes support for the recovery of a long-running transaction whenever some failure is encountered.  ...  The authors would like to thank Dr Mariam Cirovic for insightful discussions, which drew upon her implementation of order-theoretic properties in transaction languages.  ... 
doi:10.1109/dest.2012.6227907 dblp:conf/dest/MoschoyiannisKG12 fatcat:ibdaehd65nbpbikobsh2w5xjrq

A Survey on Formal Methods for Web Service Composition [article]

Yong Wang
2013 arXiv   pre-print
Through analyses of Web Service Composition, we establish a reference model called RM-WSComposition to capture elements of Web Service Composition.  ...  For convenience, we use an example called BuyingBooks to illustrate the concepts and mechanisms in Web Service Composition.  ...  [32] defines a calculus called Calculus for Orchestration of Web Services (COWS) to verify a WSO.  ... 
arXiv:1306.5535v2 fatcat:vkrb56ydhbf2zpdzekw4lw72si

A Calculus for Long-Running Transactions [chapter]

Laura Bocchi, Cosimo Laneve, Gianluigi Zavattaro
2003 Lecture Notes in Computer Science  
Despite the interest of such transactional mechanisms, a formal modeling of them is still lacking.  ...  In this paper we address this issue by designing an extension of the asynchronous π-calculus with longrunning transactions (and sequences) -the πt-calculus.  ...  Acknowledgement We thank the anonymous referees for their fruitful comments and Greg Meredith and Tony Hoare for the insightful discussions about the topics treated in this paper.  ... 
doi:10.1007/978-3-540-39958-2_9 fatcat:x2k6e3zjavfqjfq7ihrsqerbhm

Issues about the Adoption of Formal Methods for Dependable Composition of Web Services [article]

Manuel Mazzara, Michele Ciavotta
2013 arXiv   pre-print
Web Services provide interoperable mechanisms for describing, locating and invoking services over the Internet; composition further enables to build complex services out of simpler ones for complex B2B  ...  The aim of this work is to individuate the proper questions on the adoption of formal methods for dependable composition of Web Services, not necessarily to find the optimal answers.  ...  For some of the ideas discussed here we have also to thank Cosimo Laneve, and Gianluigi Zavattaro among the others.  ... 
arXiv:1311.2535v1 fatcat:yko65m62nzgjdehpbqperntkxe


2008 International journal of software engineering and knowledge engineering  
to guide the discovery and modelling of services and processes.  ...  We propose a framework for the compositional definition of Web services based on the π-calculus to define protocol-like restrictions on service interactions and based on description logic and ontologies  ...  The authors are greatly indebted to Padraig de Buitlar, Rembert Douwen, and Gerard Gleeson, who all contributed tool components for  ... 
doi:10.1142/s0218194008003684 fatcat:wiuxbuehjbgkdc2bqvefjw4hwa

Current trends in modeling inter‐organizational cooperation

Antonia Albani, Jan L.G. Dietz
2009 Journal of Enterprise Information Management  
Practical implications This overview is a useful source of knowledge for those who want to have a quick insight in the relevant aspects of cooperation, and in many well known modeling approaches and techniques  ...  Particularly for practice, the value of this report will therefore last for a considerable time.  ...  Recently, BPEL has become the most prominent XML-based language for Web Service orchestration.  ... 
doi:10.1108/17410390910949724 fatcat:ces2xy772rehhoxdgtksa4emam
« Previous Showing results 1 — 15 out of 1,420 results