Actors: a model of concurrent computation in distributed systems
Actors: a model of concurrent computation in distributed systems
Promises: linguistic support for efficient asynchronous procedure calls in distributed systems
PLDI '88 Proceedings of the ACM SIGPLAN 1988 conference on Programming Language design and Implementation
The revised report on the syntactic theories of sequential control and state
Theoretical Computer Science
The process group approach to reliable distributed computing
Communications of the ACM
Maude: specification and programming in rewriting logic
Theoretical Computer Science - Rewriting logic and its applications
A Programmer's Reduction Semantics for Classes and Mixins
Formal Syntax and Semantics of Java
Verification for Java's Reentrant Multithreading Concept
FoSSaCS '02 Proceedings of the 5th International Conference on Foundations of Software Science and Computation Structures
The incremental garbage collection of processes
Proceedings of the 1977 symposium on Artificial intelligence and programming languages
Modern concurrency abstractions for C#
ACM Transactions on Programming Languages and Systems (TOPLAS)
A Theory of Distributed Objects
A Theory of Distributed Objects
Semantic Subtyping for the p-Calculus
LICS '05 Proceedings of the 20th Annual IEEE Symposium on Logic in Computer Science
OOPSLA '05 Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
A concurrent lambda calculus with futures
Theoretical Computer Science - Applied semantics
Creol: a type-safe object-oriented model for distributed concurrent systems
Theoretical Computer Science - Components and objects
Semantics and pragmatics of Real-Time Maude
Higher-Order and Symbolic Computation
ELECTRA: making distributed programs object-oriented
Sedms'93 USENIX Systems on USENIX Experiences with Distributed and Multiprocessor Systems - Volume 4
Programming Erlang: Software for a Concurrent World
Programming Erlang: Software for a Concurrent World
A complete guide to the future
ESOP'07 Proceedings of the 16th European conference on Programming
The essence of data access in Cω: the power is in the dot!
ECOOP'05 Proceedings of the 19th European conference on Object-Oriented Programming
SCC: a service centered calculus
WS-FM'06 Proceedings of the Third international conference on Web Services and Formal Methods
Session types for object-oriented languages
ECOOP'06 Proceedings of the 20th European conference on Object-Oriented Programming
Type-Safe runtime class upgrades in creol
FMOODS'06 Proceedings of the 8th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
Formal semantics of a VDM extension for distributed embedded systems
Concurrency, Compositionality, and Correctness
An Object-Oriented Component Model for Heterogeneous Nets
Formal Methods for Components and Objects
Formal semantics of a VDM extension for distributed embedded systems
Concurrency, Compositionality, and Correctness
Hi-index | 0.00 |
Services are autonomous, self-describing, technology-neutral software units that can be described, published, discovered, and composed into software applications at run-time. Designing software services and composing services in order to form applications or composite services requires abstractions beyond those found in typical object-oriented programming languages. In this paper, we explore a number of the abstractions used in service-oriented computing and related Internet- and web-based programming models in the context of Creol, an executable concurrent object-oriented modeling language with active objects and futures; i.e., features capable of expressing and dealing with asynchronous actions. By adding various abstractions to the modeling language, we demonstrate how a concurrent object language may naturally address many of the requirements of service-oriented computing. The study of language extensions in the restricted setting of a small, high-level modeling language, such as Creol, suggests a cheap way of developing new abstractions for emerging application domains. In this paper, we explore abstractions in the context of service-oriented computing, particularly with regard to dynamic aspects such as service discovery and structuring mechanisms such as groups.