Tools & Applications

BDI4JADE

BDI4JADE is an agent platform based on the BDI architecture implemented in pure Java. Therefore, Java features can be exploited; and it facilitates the integration of existing technologies, what is essential in the context of enterprise applications.

Website: BDI4JADE: a BDI layer on top of JADE

prosoft-reduce

Download

Prosoft is a research project developed by the Prosoft group. The project’s goal is to develop a full software development environment, the Prosoft Environment, which is based on the concepts of Models, Lambda Calculus, Abstract Data Types and Object orientation.

One of the components of the Prosoft Environment is Algebraic Prosoft, its algebraic specifiction language. Although being the basis and the theme of several works in the Prosoft research group, Algebraic Prosoft does not have its semantics properly defined.

This work presents a study of semantic prototyping using the Haskell programming language. The concept of Literate Programing and the proximity between lambda calculus and Haskell were crucial to the rapid implementation of a prototype implementation of Algebraic Prosoft, based on the specified semantics.

APSEE

Download

APSEE is a software-based architecture, which provides a unified meta-model that integrates organizational and management information, along with software artifact and tool support. The proposed meta-model rigorously defines its components. Therefore, resource and people properties are formally described in order to allow better allocation through an automated process instantiation mechanism. In addition, a visual software process modeling language is provided which is, in turn, related to the underlying metamodel.

Finally, a flexible process enactment mechanism was specified to support dynamic changes on process models that work together with consistency check and monitoring mechanisms.

The required software components for the proposed meta-model were specified through algebraic specification and graph grammar-based techniques which, in turn, were used to derive prototypes for the Java-PROSOFT environment. This implementation was also useful to evaluate the feasibility of using APSEE as an integration platform for a number of process management services developed by PROSOFT research group.

APSEE-Global

Since the beginning of 90’s, a trend on software development has awakened the attention of the researchers: the distribution of the software development. This phenomenon is an economics and socials changes reflex, which has taken organizations to distribute geographically their investments and resources, seeking an increase in the productivity, a quality improvement and cost reduction on software development. By virtue of this distribution, geographically dispersed teams cooperate to obtaining a final software product. The team physical distribution aggravates problems already inherent to software process management. The development of environments, models and tools to manage processes led in this context is a challenge that has increased its importance on Software Processes Technology researches. The process support environments must provide the infrastructure to distributed processes. This research proposes a model of distributed software process management, named APSEE-Global, that extends the APSEE, a process-centered software engineering environment developed in the context of the Prosoft research group, providing a set of functionalities to support distributed processes. The APSEE-Global makes possible the increase of project’s team autonomy, by the possibility of adopting distinct process models and by the decentralized process management; allows documentation and facilitates the analysis and management of the relationship among teams; and provide a formal communication channel to monitoring the execution of distributed process. The different components of APSEE-Global were formally specified, which constitutes a semantic base with high level of abstraction that originates the implementation of a prototype integrated to the Prosoft software development environment. The model specification was made by the combination of Algebraic- Prosoft and Graph Grammar formalisms.

Behaviour Analyzer of CCS Agents

CCS Agents Tester is a tool developed to compare the behavioural trees of a couple of CCS agents.

Download

Leave a Reply