Object remoting middleware greatly facilitates creating distributed, object-oriented systems. However, developers face many situations in which a middleware’s invocation and message processing architecture fails to fully support all their requirements. This problem is caused, for instance, by limitations in realising certain invocation styles (e.g., one-way and two-way conversations) on top of ...

Development and maintenance of implicit invocation systems is not as well understood and supported as the development of explicit invocation systems. The situation is aggravated in systems that allow the composition of functionality developed by different organizations, potentially using different programming languages and methodologies. In this document, we categorize the various ways in which...

Implicit invocation [SN92,GN91] has become an important architectural style for large-scale system design and evolution. This paper addresses the lack of speci cation and veri cation formalisms for such systems. A formal computational model for implicit invocation is presented. We develop a veri cation framework for implicit invocation that is based on Jones' rely/guarantee reasoning for concur...

In Early Modern Persian prose and verse, verbs with a present stem accompanied by grapheme "-y" have been used to express modal concepts of imperative and command or invocation and request. Researchers, regardless of the historical changes of Early Modern Persian, believe that this structure of  subjunctive 2nd person singular has been used to express imperative mood, and that &q...

Service-oriented architectures (SOA) based on Web service technology play an increasingly important role in many different application areas. The current service invocation methodology suffers from performance problems and heavy resource consumption when services are used to process large amounts of data. A number of solutions to this problem have been proposed. Unfortunately, these modified in...