Software Traceability for Multi-Agent Systems Implemented Using BDI Architecture

The development of multi-agent software systems is considered a complex task due to (a) the large number and heterogeneity of documents generated during the development of these systems, (b) the lack of support for the whole development life-cycle by existing agent-oriented methodologies requiring the use of different methodologies, and (c) the possible incompleteness of the documents and models generated during the development of the systems. In order to alleviate the above problems, in this thesis, a traceability framework is described to support the development of multi-agent systems. The framework supports automatic generation of traceability relations and identification of missing elements (i.e., completeness checking) in the models created during the development life-cycle of multi-agent systems using the Belief-Desire-Intention (BDI) architecture. Traceability has been recognized as an important activity in the software development process. Traceability relations can guarantee and improve software quality and can help with several tasks such as the evolution of software systems, reuse of parts of the system, validation that a system meets its requirements, understanding of the rationale for certain design decisions, identification of common aspects of the system, and analysis of implications of changes in the system. The traceability framework presented in this thesis concentrates on multi-agent software systems developed using i* framework, Prometheus methodology, and JACK language. Here, a traceability reference model is presented for software artefacts generated when using i* framework, Prometheus methodology, and JACK language. Different types of relations between the artefacts are identified. The framework is based on a rule-based approach to support automatic identification of traceability relations and missing elements between the generated artefacts. Software models represented in XML were used to support the heterogeneity of models and tools used during the software development life-cycle. In the framework, the rules are specified in an extension of XQuery to support (i) representation of the consequence part of the rules, i.e. the actions to be taken when the conditions are satisfied, and (ii) extra functions to cover some of the traceability relations being proposed and completeness checking of the models. A prototype tool has been developed to illustrate and evaluate the work. The work has been evaluated in terms of recall and precision measurements in three different case studies. One small case study of an Automatic Teller Machine application, one medium case study of an Air Traffic Control Environment application, and one large case study of an Electronic Bookstore application

JAMDER: JADE to MULTI-Agent Systems Development Resource

The semantic gap is distinguished by the difference between two descriptions generated using different representations. This difference has a negative impact on the developer productivity and probably, the quality of the written code. In software development context, the coding phase aims at coding the system consistent with the detailed project developed with a group of designed models. This paper presents an endeavor to consolidate different agent type definitions and implementation concepts for Multi-Agent Systems (MAS) involving the adaptation of the JADE framework regarding the theoretical concepts in MAS. Additionally, it contains a standardization of code generation. The main benefit of the proposed extension is to include the agent internal architectures, entities and relationships in an implementation framework and increase the productivity by code generation, ensuring the consistency between design and code. The applicability of the extension is illustrated by developing a multi-agent system for Moodle

Software traceability for multi-agent systems implemented using BDI architecture

The development of multi-agent software systems is considered a complex task due to (a) the large number and heterogeneity of documents generated during the development of these systems, (b) the lack of support for the whole development life-cycle by existing agent-oriented methodologies requiring the use of different methodologies, and (c) the possible incompleteness of the documents and models generated during the development of the systems. In order to alleviate the above problems, in this thesis, a traceability framework is described to support the development of multi-agent systems. The framework supports automatic generation of traceability relations and identification of missing elements (i.e., completeness checking) in the models created during the development life-cycle of multi-agent systems using the Belief-Desire-Intention (BDI) architecture. Traceability has been recognized as an important activity in the software development process. Traceability relations can guarantee and improve software quality and can help with several tasks such as the evolution of software systems, reuse of parts of the system, validation that a system meets its requirements, understanding of the rationale for certain design decisions, identification of common aspects of the system, and analysis of implications of changes in the system. The traceability framework presented in this thesis concentrates on multi-agent software systems developed using i* framework, Prometheus methodology, and JACK language. Here, a traceability reference model is presented for software artefacts generated when using i* framework, Prometheus methodology, and JACK language. Different types of relations between the artefacts are identified. The framework is based on a rule-based approach to support automatic identification of traceability relations and missing elements between the generated artefacts. Software models represented in XML were used to support the heterogeneity of models and tools used during the software development life-cycle. In the framework, the rules are specified in an extension of XQuery to support (i) representation of the consequence part of the rules, i.e. the actions to be taken when the conditions are satisfied, and (ii) extra functions to cover some of the traceability relations being proposed and completeness checking of the models. A prototype tool has been developed to illustrate and evaluate the work. The work has been evaluated in terms of recall and precision measurements in three different case studies. One small case study of an Automatic Teller Machine application, one medium case study of an Air Traffic Control Environment application, and one large case study of an Electronic Bookstore application.EThOS - Electronic Theses Online ServiceGBUnited Kingdo

Application of multi-agents to power distribution systems

The electric power system has become a very complicated network at present because of re-structuring and the penetration of distributed energy resources. In addition, due to increasing demand for power, issues such as transmission congestion have made the power system stressed. A single fault can lead to massive cascading effects, affecting the power supply and power quality. An overall solution for these issues can be obtained by a new artificial intelligent mechanism called the multi-agent system. A multi-agent system is a collection of agents, which senses the environmental changes and acts diligently on the environment in order to achieve its objectives. Due to the increasing speed and decreasing cost in communication and computation of complex matrices, multi-agent system promise to be a viable solution for today\u27s intrinsic network problems.;A multi-agent system model for fault detection and reconfiguration is presented in this thesis. These models are developed based on graph theory and mathematical programming. A mathematical model is developed to specify the objective function and the constraints.;The multi-agent models are simulated in Java Agent Development Framework and MatlabRTM and are applied to the power system model designed in the commercial software, Distributed Engineering Workstation(c) . The circuit that is used to model the power distribution system is the Circuit of the Future, developed by Southern California Edison.;The multi-agent system model can precisely detect the fault location and according to the type of fault, it reconfigures the system to supply as much load as possible by satisfying the power balance and line capacity constraints. The model is also capable of handling the assignment of load priorities.;All possible fault cases were tested and a few critical test scenarios are presented in this thesis. The results obtained were promising and were as expected

A survey on quality of service support on middelware-based distributed messaging systems used in multi agent systems

The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-642-19934-9_10Messaging systems are widely used in distributed systems to hide the details of the communications mechanism to the multi agents systems. However, the Quality of Service is treated in different way depending on the messaging system used. This article presents a review and further analysis of the quality of service treatment in the mainly messaging systems used in distributed multi agent systems. The review covers the issues related to the purpose of the functions provided and the scope of the quality of service offered by every messaging system. We propose ontology for classifying and decide which parameters are relevant to the user. The results of the analysis and the ontology can be used to select the most suitable messaging system to distributed multi agent architecture and to establish the quality of service requirements in a distributed system.The study described in this article is a part of the coordinated project SIDIRELI: Distributed Systems with Limited Resources. Control Kernel and Coordination. Education and Science Department, Spanish Government and European FEDER found. CICYT: MICINN: DPI2008-06737-C02-01/02.Poza-Lujan, J.; Posadas-Yagüe, J.; Simó Ten, JE. (2011). A survey on quality of service support on middelware-based distributed messaging systems used in multi agent systems. En International Symposium on Distributed Computing and Artificial Intelligence. Springer. 77-84. https://doi.org/10.1007/978-3-642-19934-9_10S7784Gaddah, A., Kunz, T.: A survey of middleware paradigms for mobile computing. Technical Report SCE-03-16. Carleton University Systems and Computing Engineering (2003)Foundation for Intelligent Physical Agents, http://www.fipa.org/Java Message Service Specification, http://java.sun.com/products/jms/docs.htmlCommon Object Request Broker Architecture, http://www.corba.org/Data Distribution Service, http://portals.omg.org/dds/Java Agent DEvelopment Framework, http://jade.tilab.com/Agent Oriented Software Pty Ltd., JACK Intelligent Agents: User Guide (1999)Nwana, H., Ndumu, D., Lee, L., Collis, J.: ZEUS: A tool-kit for building distributed multi-agent systems. Applied Artifical Intelligence Journal 13(1), 129–186 (1999)Perdikeas, M.K., Chatzipapadopoulos, F.G., Venieris, I.S., Marino, G.: Mobile Agent Standards and Available Platforms. Computer Networks Journal, Special Issue on ’Mobile Agents in Intelligent Networks and Mobile Communication Systems’ 31(10) (1999)Perrone, P.J., Chaganti, K.: J2EE Developer’s Handbook. Sam’s Publishing, Indianapolis (2003)Apache ActiveMQ, http://activemq.apache.org/IBM WebSphere MQSeries, http://mqseries.net/Object Management Group, http://www.omg.org/RTI Data Distribution Service. RTI corp., http://www.rti.com/OpenSplice DDS. PrismTech Ltd., http://www.prismtech.comVogel, A., Kerherve, B., von Bochmann, G., Gecsei, J.: Distributed Multimedia and QoS: A Survey. IEEE Multimedia 2(2), 10–19 (1995)Crawley, E., Nair, R., Rajagopalan, B.: RFC 2386: A Framework for QoS-based Routing in the Internet. IETF Internet Draft, 1–37 (1998)Foundation for Intelligent Physical Agents. FIPA Quality of Service Ontology Specification. Doc: SC00094A (2002)Sun Microsystems, Inc. Java(TM) Message Service Specification Final Release 1.1 (2002)Object Management Group (OMG). The Common Object Request Broker Architecture and Specification. CORBA 2.4.2 (2001

Model-driven engineering techniques for the development of multi-agent systems

Model-driven engineering (MDE), implicitly based upon meta-model principles, is gaining more and more attention in software systems due to its inherent benefits. Its use normally improves the quality of the developed systems in terms of productivity, portability, inter-operability and maintenance. Therefore, its exploitation for the development of multi-agent systems (MAS) emerges in a natural way. In this paper, agent-oriented software development (AOSD) and MDE paradigms are fully integrated for the development of MAS. Meta-modeling techniques are explicitly used to speed up several phases of the process. The Prometheus methodology is used for the purpose of validating the proposal. The meta-object facility (MOF) architecture is used as a guideline for developing a MAS editor according to the language provided by Prometheus methodology. Firstly, an Ecore meta-model for Prometheus language is developed. Ecore is a powerful tool for designing model-driven architectures (MDA). Next, facilities provided by the Graphical Modeling Framework (GMF) are used to generate the graphical editor. It offers support to develop agent models conform to the meta-model specified. Afterwards, it is also described how an agent code generator can be developed. In this way, code is automatically generated using as input the model specified with the graphical editor. A case of study validates the method put in practice for the development of a multi-agent surveillance system

An Architecture for an Intelligent Assistant System for use in Software Project Planning

It is the proposition of this research that there are a number of weaknesses in the current approaches being taken in the provision of software project planning tools and that there is significant scope to improve on existing systems by the development of an intelligent assistant system which will provide decision support for the software project planner in the creation of plans for a software development project. This research has devised a framework and architecture based on a fusion of a number of techniques within a multi-agent framework which aims to improve the quality of the decision making process of software project planners. This framework incorporates the information gathering and analysis techniques of a Decision Support System with the ability of an Expert System to propose possible solutions using expert knowledge and best practices and the power of Blackboard to exchange information between components. This novel approach enables the inter-working of a variety of well understood techniques within a single underlying framework - that of the agent-orientated paradigm. To assist with validating the proposed architecture, a prototype application was developed and a series of user trials conducted. The conclusion of these trials was that the prototype system demonstrated that the notion of an intelligent assistant system for software project planning was a viable concept, worthy of further investigation. Further, it demonstrated that the proposed architecture provided a viable framework for supporting the software project planners decision making process and has the potential to be of use in a commercial setting

Adapting Quality Assurance to Adaptive Systems: The Scenario Coevolution Paradigm

From formal and practical analysis, we identify new challenges that self-adaptive systems pose to the process of quality assurance. When tackling these, the effort spent on various tasks in the process of software engineering is naturally re-distributed. We claim that all steps related to testing need to become self-adaptive to match the capabilities of the self-adaptive system-under-test. Otherwise, the adaptive system's behavior might elude traditional variants of quality assurance. We thus propose the paradigm of scenario coevolution, which describes a pool of test cases and other constraints on system behavior that evolves in parallel to the (in part autonomous) development of behavior in the system-under-test. Scenario coevolution offers a simple structure for the organization of adaptive testing that allows for both human-controlled and autonomous intervention, supporting software engineering for adaptive systems on a procedural as well as technical level.Comment: 17 pages, published at ISOLA 201

Managing healthcare workflows in a multi-agent system environment

Whilst Multi-Agent System (MAS) architectures appear to offer a more flexible model for designers and developers of complex, collaborative information systems, implementing real-world business processes that can be delegated to autonomous agents is still a relatively difficult task. Although a range of agent tools and toolkits exist, there still remains the need to move the creation of models nearer to code generation, in order that the development path be more rigorous and repeatable. In particular, it is essential that complex organisational process workflows are captured and expressed in a way that MAS can successfully interpret. Using a complex social care system as an exemplar, we describe a technique whereby a business process is captured, expressed, verified and specified in a suitable format for a healthcare MAS.</p