Selected papers of the Second Workshop on Concurrency and compositionality
Communication and Concurrency
FoSSaCS '98 Proceedings of the First International Conference on Foundations of Software Science and Computation Structure
XDuce: A statically typed XML processing language
ACM Transactions on Internet Technology (TOIT)
Introduction: Service-oriented computing
Communications of the ACM - Service-oriented computing
Reo: a channel-based coordination model for component composition
Mathematical Structures in Computer Science
A Programming Model for the Orchestration of Web Services
SEFM '04 Proceedings of the Software Engineering and Formal Methods, Second International Conference
Theoretical foundations for compensations in flow composition languages
Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Mobile Agents in Interaction Spaces
Electronic Notes in Theoretical Computer Science (ENTCS)
Conceptual modeling of web service conversations
CAiSE'03 Proceedings of the 15th international conference on Advanced information systems engineering
A general name binding mechanism
TGC'05 Proceedings of the 1st international conference on Trustworthy global computing
XPi: a typed process calculus for XML messaging
FMOODS'05 Proceedings of the 7th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
PiDuce: a process calculus with native XML datatypes
EPEW'05/WS-FM'05 Proceedings of the 2005 international conference on European Performance Engineering, and Web Services and Formal Methods, international conference on Formal Techniques for Computer Systems and Business Processes
From theory to practice in transactional composition of web services
EPEW'05/WS-FM'05 Proceedings of the 2005 international conference on European Performance Engineering, and Web Services and Formal Methods, international conference on Formal Techniques for Computer Systems and Business Processes
Coordination Via Types in an Event-Based Framework
FORTE '07 Proceedings of the 27th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Checking Correctness of Transactional Behaviors
FORTE '08 Proceedings of the 28th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Event-Based Service Coordination
Concurrency, Graphs and Models
Refactoring Long Running Transactions
Web Services and Formal Methods
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)
Global Coordination Policies for Services
Electronic Notes in Theoretical Computer Science (ENTCS)
Foundations of security analysis and design IV
Science of Computer Programming
WS-FM'09 Proceedings of the 6th international conference on Web services and formal methods
Refactoring long running transactions: a case study
TGC'10 Proceedings of the 5th international conference on Trustworthly global computing
Call-by-contract for service discovery, orchestration and recovery
Rigorous software engineering for service-oriented systems
Advanced mechanisms for service combination and transactions
Rigorous software engineering for service-oriented systems
Model-driven development of long running transactions
Rigorous software engineering for service-oriented systems
Event based service coordination over dynamic and heterogeneous networks
ICSOC'06 Proceedings of the 4th international conference on Service-Oriented Computing
Using formal methods to develop WS-BPEL applications
Science of Computer Programming
SCC: a service centered calculus
WS-FM'06 Proceedings of the Third international conference on Web Services and Formal Methods
Dynamic Error Handling in Service Oriented Applications
Fundamenta Informaticae - Application of Concurrency to System Design
Orchestrating tuple-based languages
TGC'11 Proceedings of the 6th international conference on Trustworthy Global Computing
Formalising security in ubiquitous and cloud scenarios
CISIM'12 Proceedings of the 11th IFIP TC 8 international conference on Computer Information Systems and Industrial Management
Hi-index | 0.00 |
This paper describes the design and the prototype implementation of a middleware, called Java Signal Core Layer (jscl), for coordinating distributed services. jscl supports the coordination of distributed services by exploiting an event notification paradigm. The design and the implementation of jscl has been inspired and driven by its formal specification given as a process calculus, the Signal Calculus (sc). At the experimental level JSCL has been exploited to implement Long Running Transactions (LRTs).