Parallel program design: a foundation
Parallel program design: a foundation
PODS '97 Proceedings of the sixteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Component software: beyond object-oriented programming
Component software: beyond object-oriented programming
Composing contracts: an adventure in financial engineering (functional pearl)
ICFP '00 Proceedings of the fifth ACM SIGPLAN international conference on Functional programming
A discipline of multiprogramming: programming theory for distributed applications
A discipline of multiprogramming: programming theory for distributed applications
AnWeb: a system for automatic support to web application verification
SEKE '02 Proceedings of the 14th international conference on Software engineering and knowledge engineering
Computer
Refinement Calculus, Part II: Parallel and Reactive Programs
Stepwise Refinement of Distributed Systems, Models, Formalisms, Correctness, REX Workshop
Formal Development of Java Based Web Parallel Applications
HICSS '98 Proceedings of the Thirty-First Annual Hawaii International Conference on System Sciences-Volume 7 - Volume 7
Distributed enactment of multiagent workflows: temporal logic for web service composition
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
The Semantic Web: A Guide to the Future of XML, Web Services, and Knowledge Management
The Semantic Web: A Guide to the Future of XML, Web Services, and Knowledge Management
Formal Framework for Automated Analysis and Verification of Web-Based Applications
Proceedings of the 19th IEEE international conference on Automated software engineering
A Programming Model for the Orchestration of Web Services
SEFM '04 Proceedings of the Software Engineering and Formal Methods, Second International Conference
Web services: a process algebra approach
Proceedings of the 2nd international conference on Service oriented computing
LTSA-WS: a tool for model-based verification of web service compositions and choreography
Proceedings of the 28th international conference on Software engineering
A UNITY-based framework towards component based systems
OPODIS'04 Proceedings of the 8th international conference on Principles of Distributed Systems
| Hi-index | 0.00 |
This paper introduces a refinement of Misra’s Seuss logic, called Web Cube, that provides a model for programming and reasoning over web applications. It features black box composition of web services so that services offered by large systems, such as that of a back-end database, can be treated abstractly and consistently. It inherits the light weight feature of Seuss, which relies on an abstract view towards concurrency control, which leads to a less error-prone style of distributed programming, backed by a clean logic.