Generative communication in Linda
ACM Transactions on Programming Languages and Systems (TOPLAS)
Communications of the ACM - Service-oriented computing
Theoretical foundations for compensations in flow composition languages
Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Comparing two approaches to compensable flow composition
CONCUR 2005 - Concurrency Theory
A calculus for orchestration of web services
ESOP'07 Proceedings of the 16th European conference on Programming
Regulating data exchange in service oriented applications
FSEN'07 Proceedings of the 2007 international conference on Fundamentals of software engineering
A feature-complete Petri net semantics for WS-BPEL 2.0
WS-FM'07 Proceedings of the 4th international conference on Web services and formal methods
A model checking approach for verifying COWS specifications
FASE'08/ETAPS'08 Proceedings of the Theory and practice of software, 11th international conference on Fundamental approaches to software engineering
SOCK: a calculus for service oriented computing
ICSOC'06 Proceedings of the 4th international conference on Service-Oriented Computing
Semantics of BPEL4WS-Like fault and compensation handling
FM'05 Proceedings of the 2005 international conference on Formal Methods
Foundations of web transactions
FOSSACS'05 Proceedings of the 8th international conference on Foundations of Software Science and Computation Structures
Specification and Analysis of SOC Systems Using COWS: A Finance Case Study
Electronic Notes in Theoretical Computer Science (ENTCS)
Calculi for Service-Oriented Computing
Formal Methods for Web Services
Dynamic Error Handling in Service Oriented Applications
Fundamenta Informaticae - Application of Concurrency to System Design
Planning and verifying service composition
Journal of Computer Security - 18th IEEE Computer Security Foundations Symposium (CSF 18)
A tool for rapid development of WS-BPEL applications
Proceedings of the 2010 ACM Symposium on Applied Computing
A standard-driven implementaion of WS-BPEL 2.0
Proceedings of the 2010 ACM Symposium on Applied Computing
A tool for rapid development of WS-BPEL applications
ACM SIGAPP Applied Computing Review
A formalisation of adaptable pervasive flows
WS-FM'09 Proceedings of the 6th international conference on Web services and formal methods
A formal semantics for the WS-BPEL recovery framework: the π-calculus way
WS-FM'09 Proceedings of the 6th international conference on Web services and formal methods
An accessible verification environment for UML models of services
Journal of Symbolic Computation
Error handling: from theory to practice
ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part II
A WSDL-based type system for asynchronous WS-BPEL processes
Formal Methods in System Design
Using formal methods to develop WS-BPEL applications
Science of Computer Programming
Programming services with correlation sets
ICSOC'11 Proceedings of the 9th international conference on Service-Oriented Computing
An operational semantics of BPEL orchestrations integrating web services resource framework
WS-FM'11 Proceedings of the 8th international conference on Web Services and Formal Methods
Dynamic Error Handling in Service Oriented Applications
Fundamenta Informaticae - Application of Concurrency to System Design
On correlation sets and correlation exceptions in ActiveBPEL
TGC'11 Proceedings of the 6th international conference on Trustworthy Global Computing
Interface-Based service composition with aggregation
ESOCC'12 Proceedings of the First European conference on Service-Oriented and Cloud Computing
Proceedings of the 17th Monterey conference on Large-Scale Complex IT Systems: development, operation and management
Recovery within long-running transactions
ACM Computing Surveys (CSUR)
| Hi-index | 0.00 |
We introduce Blite, a lightweight language for web services orchestration designed around some of WS-BPEL peculiar features like partner links, process termination, message correlation, long-running business transactions and compensation handlers. Blite formal presentation helps clarifying some ambiguous aspects of the WS-BPEL specification, which have led to engines implementing different semantics and, thus, have undermined portability of WS-BPEL programs over different platforms. We illustrate the main features of Blite by means of many examples, some of which are also exploited to test and compare the behaviour of three of the most known free WS-BPEL engines.