An efficient and flexible C++ library for concurrent programming

Poggi, Agostino; Rimassa, Giovanni

doi:10.1002/(sici)1097-024x(1998110)28:13<1437::aid-spe210>3.0.co;2-o

Cited by 6 publications

(3 citation statements)

References 12 publications

(18 reference statements)

Supporting

Mentioning

Contrasting

Order By: Relevance

“…In the first phase, we develop an architecture-driven technique for thread coordination management. Similar to previous work (see, e.g., [37]), we advocate the provision of a suitable software package that takes care of the details of thread coordination by means of architecture-inspired units in a way that is completely transparent to the software developer. The distinguishing feature of the first phase of our proposal is that also the employment of the package should follow the same architecture-centric spirit.…”

Section: Introductionmentioning

confidence: 83%

Handling communications in process algebraic architectural description languages: Modeling, verification, and implementation

Bernardo

Bontí

Aldini

2010

Journal of Systems and Software

View full text Add to dashboard Cite

Architectural description languages are a useful tool for modeling complex software systems at a high level of abstraction. If based on formal methods, they can also serve for enabling the early verification of various properties such as component coordination and for guiding the synthesis of code correct by construction. This is the case with process algebraic architectural description languages, which are process calculi enhanced with the main architectural concepts. However, the techniques with which those languages have been equipped are mainly conceived to work with synchronous communications only. The objective of this paper is threefold. On the modeling side, we show how to enhance the expressiveness of a typical process algebraic architectural description language by including the capability of representing nonsynchronous communications in such a way that the usability of the original language is preserved. On the verification side, we show how to modify techniques for analyzing the absence of coordination mismatches like the compatibility check for acyclic topologies and the interoperability check for cyclic topologies in such a way that those checks are valid also for nonsynchronous communications. On the implementation side, we show how to generate multithreaded object-oriented software in the presence of synchronous and nonsynchronous communications in such a way that the properties proved at the architectural level are preserved at the code level.

show abstract

Section: Introductionmentioning

confidence: 83%

Handling communications in process algebraic architectural description languages: Modeling, verification, and implementation

Bernardo

Bontí

Aldini

2010

Journal of Systems and Software

View full text Add to dashboard Cite

show abstract

“…To cope with inheritance anomaly we decomposed the code od the behaviour method in three parts (methods) as proposed in [5]. The three parts are: a guard, that is a boolean predicate without side-effect, representing the precondition for the behaviour execution; a body that contains the part of code executing the behaviour task," a transition that can enable~disable some other agent behaviors.…”

Section: Agent Design and Realizationmentioning

confidence: 99%

An agent model platform for realizing efficient and reusable agent software

Poggi

Rimassa

2000

Proceedings of the Fourth International Conference on Autonomous Agents

Self Cite

View full text Add to dashboard Cite

In this paper, we present an agent model and platform we defined and implemented to realize efficient and reusable agent software through an agent development environment called JADE. JADE (Java Agent Development Environment) is a software framework to make easy the development of agent applications in compliance with the FIPA specifications for interoperable intelligent multi-agent systems. JADE AGENT PLATFORMThe JADE Agent Platform complies with the FIPA specifications [2] and includes all those mandatory agents that manage the platform, that is the ACC, the AMS, and the DF. Agent communication is performed through message passing, where FIPA ACL is the language to represent messages. JADE communication architecture tries to offer flexible and efficient messaging, transparently choosing the best transport a'¢ailable and leveraging state-of-the-art distributed object technology embedded within Java runtime environment. While appearing as a single entity to the outside world, a JADE agent platform is itself a distributed system, since it can be split over several hosts with one among them acting as a front end for interplatform IIOP communication. A JADE system is made by one or more Agent Container, each one living in a separate Java VirtualMachine and deiivering runtime environment support to JADE agents. Java RMI is used to communicate among the containers and each one of them can also act as an IIOP client to forward outgoing messages to foreign agent platforms. A special, Front End container is also an IIOP server, listening at the official agent platform ACC address for incoming messages from other platforms. The two mandatory system agents, that is the AMS and the default DF, run within the front-end container.

show abstract

“…Similarly to previous work (see, e.g., [10]), we advocate the provision of a suitable package of software components that take care of the details of the thread synchronization, in a way that is transparent to the software developer. Among the programming languages supporting multithreading, we concentrate on Java.…”

Section: Introductionmentioning

confidence: 98%