The Infona portal uses cookies, i.e. strings of text saved by a browser on the user's device. The portal can access those files and use them to remember the user's data, such as their chosen settings (screen view, interface language, etc.), or their login data. By using the Infona portal the user accepts automatic saving and using this information for portal operation purposes. More information on the subject can be found in the Privacy Policy and Terms of Service. By closing this window the user confirms that they have read the information on cookie usage, and they accept the privacy policy and the way cookies are used by the portal. You can change the cookie settings in your browser.
We introduce a Timed Linda language (T-Linda) which is obtained by a natural timed interpretation of the usual constructs of the Linda model and by adding a simple primitive which allows one to specify time-outs. Parallel execution of processes follows the scheduling policy of interleaving, however maximal parallelism is assumed for actions depending on time. We define the operational semantics of...
Internet-based multi-agent systems call for new metaphors, abstractions, methodologies and enabling technologies specifically tailored to agent-oriented engineering. While coordination models define the framework to manage the space of agent interaction, ruling social behaviours and accomplishing social tasks, their impact on system design and development calls for an effective coordination technology...
This paper describes an efficient implementation of Scope, a coordination language for open distributed systems. We use distributed broadcasts for the in primitive, which allows tuples to be placed on the most appropriate node and easily migrated. We test the performance of our reference implementation over a geographically-distributed network, and show how scopes can used to optimise the placement...
The separation between computation and coordination, as proposed by recent languages and models [7], has opened important new perspectives for supporting extendibility of systems, i.e. the possibility of adapting software systems to changes in requirements in an easy way. The evolutionary model that we have been developing is based on the representation of the more volatile aspects of the application...
Coordination models and Software Architectures (SAs) have been recognized as valid tools to manage complex distributed systems. Coordination models and languages provide a specification level description of processes interaction, separating control issues from the computational oncerns. Software Architectures provide a high level description of software components interactions designing applications...
An open systems approach for supporting groupware is advocated and an open systems middleware technology, called Wilde, is presented. Wilde is built on the principle of separating design from functional code. A distinguishing feature of Wilde is that it supports a design level paradigm that supports system redesign. A Wilde based systems can be redesigned after it has been deployed, and even as it...
Scenario-based verification is introduced as a technique to deal with the complexity of coordination languages, which feature both data manipulation and concurrency. The approach is exemplified by a verification study of the software architecture Splice that is used by Hollandse Signaalapparaten. A detailed specification of Splice, including the Ethernet network that Splice is using, is written in...
Latest trends in coordination models and languages suggest that it must be supported the separated specification of and the dynamic change of coordination constraints. However, little attention has been paid to guaranteeing that, the application of a separately specified coordination pattern to a set of encapsulated objects, or changing the coordination constraints of a software system at run-time,...
We present a component-based formal approach to the design of distributed systems based on the coordination of the interaction and of the flow of control using graphical notation, refinement and guarded composition.
Set the date range to filter the displayed results. You can set a starting date, ending date or both. You can enter the dates manually or choose them from the calendar.