Home‎ > ‎

Development Projects

The aim of this project is the development of an Eclipse-based tool that enables the formalization of process and service choreography languages as well as the verification of their corresponding models and specifications. The purpose is twofold. First, provide a verification method for process and service choreographies independent of the peculiarities of choreography languages. Second, provide a transformation engine that guarantees behavior alignment between models and specifications of process and service choreographies. The key components of this tool are: Global Interaction Nets, which is a formal language based on Hierarchical and Colored Petri Nets, to formalize the behavioral semantics of choreography models and specifications; a transformation machine for Global Interaction Nets, which enables the generation of formal models based on GI-Nets from process and service choreographies defined with any choreography language, such as UP-ColBPIP, BPMN, WS-CDL, etc.; and a transformation machine for choreographies, which enables the generation of service choreographies from process choreographies.

The aim of this project is the development of an Eclipse-based tool that enables the definition of collaborative business processes by means of the UP-ColBPIP language. UP-ColBPIP extends the UML2 semantics to model technology-independent collaborative processes. This language was defined as a UML Profile in order to provide well-known graphical notations for modeling collaborative processes that would be easy to understand by business analysts and system designers. This language encourages a top-down approach to model collaborative processes and provides the conceptual elements to support the modeling of five views: the B2B Collaboration View, which defines the participants (partners and their roles) of a B2B collaboration with their communication relationships; the Collaborative Business Process View, which is concerned with the identification of collaborative processes required to achieve the agreed business goals; the Interaction Protocol View, which defines the behavior of collaborative processes through the definition of interaction protocols; the Business Document View, which focuses on representing the business documents to be exchanged in collaborative processes; and the Business Interface View, which describes the interfaces of each role performed by partners.

The aim of this project is the development of an Integrated Development Environment (IDE) to support the modeling and specification of software agents. The main purpose is to enable the conceptual design of an agent from a high level perspective, using agent concepts such as perceptions, actions, state, decision strategies, goals, environment, and so on, and generate the partial or complete solution of the problem based on the FAIA framework.

This project presents a framework to solve academic problems of the Artificial Intelligence (AI) subject using goal-based agents. The FAIA framework helps students to focus on defining the properties of an agent and its strategy to decide what is the best action in each interaction with the environment, without worrying about the environment simulator, and the programming of AI techniques, such as Search, Situation Calculus, Planning, etc. The purpose of this work is to provide a flexible tool with which students can learn to build software agents, understanding its relationship with the environment. This way, it is possible to decrease the time and effort to implement a solution for software agents that solve complex AI problems.