Inter-organizational Interoperability through integration of Multiagent, Web Service, and Semantic Web Technologies

This paper presents a software architecture for inter-organizational multiagent systems. The architecture integrates Web service technology into multiagent systems to overcome the technical interoperability problem of current multiagent systems in the fast growing service-oriented environments. We integrate Semantic Web technology to make multiagent systems semantically interoperable. We address the problem of interoperability regarding interfaces, messaging protocols, data exchanged, and security whilst considering a dynamic e-business environment. The proposed architecture enables service virtualization, secure service access across organizational boundaries, service-to-agent communication, and OWL reasoning within agents

Designing normative open virtual enterprises

This is an Accepted Manuscript of an article published by Taylor & Francis Group in Enterprise Information Systems on 23/03/2016, available online: http://www.tandfonline.com/10.1080/17517575.2015.1036927.[EN] There is an increasing interest on developing virtual enterprises in order to deal with the globalisation of the economy, the rapid growth of information technologies and the increase of competitiveness. In this paper we deal with the development of normative open virtual enterprises (NOVEs). They are systems with a global objective that are composed of a set of heterogeneous entities and enterprises that exchange services following a specific normative context. In order to analyse and design systems of this kind the multi-agent paradigm seems suitable because it offers a specific solution for supporting the social and contractual relationships between enterprises and for formalising their business processes. This paper presents how the Regulated Open Multiagent systems (ROMAS) methodology, an agent-oriented software methodology, can be used to analyse and design NOVEs. ROMAS offers a complete development process that allows identifying and formalising of the structure of NOVEs, their normative context and the interactions among their members. The use of ROMAS is exemplified by means of a case study that represents an automotive supply chain.This work was partially supported by the projects [PROMETEOII/2013/019], [TIN2012-36586-C03-01], [FP7-29493], [TIN2011-27652-C03-00] and [CSD2007-00022], and the CASES project within the 7th European Community Framework Programme [grant agreement number 294931].Garcia Marques, ME.; Giret Boggino, AS.; Botti Navarro, VJ. (2016). Designing normative open virtual enterprises. Enterprise Information Systems. 10(3):303-324. https://doi.org/10.1080/17517575.2015.1036927S303324103Cardoso, H. L., Urbano, J., Brandão, P., Rocha, A. P., & Oliveira, E. (2012). ANTE: Agreement Negotiation in Normative and Trust-Enabled Environments. Advances on Practical Applications of Agents and Multi-Agent Systems, 261-264. doi:10.1007/978-3-642-28786-2_33Chu, X. N., Tso, S. K., Zhang, W. J., & Li, Q. (2002). Partnership Synthesis for Virtual Enterprises. The International Journal of Advanced Manufacturing Technology, 19(5), 384-391. doi:10.1007/s001700200028Davidsson, P., & Jacobsson, A. (s. f.). Towards Norm-Governed Behavior in Virtual Enterprises. Studies in Computational Intelligence, 35-55. doi:10.1007/978-3-540-88071-4_3DeLoach, S. A., & Ojeda, J. C. G. (2010). O-MaSE: a customisable approach to designing and building complex, adaptive multi-agent systems. International Journal of Agent-Oriented Software Engineering, 4(3), 244. doi:10.1504/ijaose.2010.036984DI MARZO SERUGENDO, G., GLEIZES, M.-P., & KARAGEORGOS, A. (2005). Self-organization in multi-agent systems. The Knowledge Engineering Review, 20(2), 165-189. doi:10.1017/s0269888905000494Dignum, V. 2003. “A Model for Organizational Interaction: Based on Agents, Founded in Logic.” PhD diss., Utrecht University.Dignum, V., and F. Dignum. 2006.A Landscape of Agent Systems for the Real World. Technical Report 44-CS-2006-061. Utrecht: Institute of Information and Computing Sciences, Utrecht University.Dignum, V., Meyer, J.-J. C., Dignum, F., & Weigand, H. (2003). Formal Specification of Interaction in Agent Societies. Lecture Notes in Computer Science, 37-52. doi:10.1007/978-3-540-45133-4_4Garcia, E. 2013. “Engineering Regulated Open Multiagent Systems.” PhD diss., Universitat Politecnica de Valencia.Garcia, E., Giret, A., & Botti, V. (s. f.). Software Engineering for Service-Oriented MAS. Lecture Notes in Computer Science, 86-100. doi:10.1007/978-3-540-85834-8_9Garcia, E., Giret, A., & Botti, V. (2013). A Model-Driven CASE tool for developing and verifying regulated open MAS. Science of Computer Programming, 78(6), 695-704. doi:10.1016/j.scico.2011.10.009Garcia, E., Giret, A., & Botti, V. (2011). Evaluating software engineering techniques for developing complex systems with multiagent approaches. Information and Software Technology, 53(5), 494-506. doi:10.1016/j.infsof.2010.12.012Garcia, E., Giret, A., & Botti, V. (2011). Regulated Open Multi-Agent Systems Based on Contracts. Information Systems Development, 243-255. doi:10.1007/978-1-4419-9790-6_20Garcia, E., Giret, A., & Botti, V. (2014). ROMAS Methodology. Handbook on Agent-Oriented Design Processes, 331-369. doi:10.1007/978-3-642-39975-6_11Hollander, C. D., & Wu, A. S. (2011). The Current State of Normative Agent-Based Systems. Journal of Artificial Societies and Social Simulation, 14(2). doi:10.18564/jasss.1750HORLING, B., & LESSER, V. (2004). A survey of multi-agent organizational paradigms. The Knowledge Engineering Review, 19(4), 281-316. doi:10.1017/s0269888905000317Julian, V., Rebollo, M., Argente, E., Botti, V., Carrascosa, C., & Giret, A. (2009). Using THOMAS for Service Oriented Open MAS. Lecture Notes in Computer Science, 56-70. doi:10.1007/978-3-642-10739-9_5Luck, M., Barakat, L., Keppens, J., Mahmoud, S., Miles, S., Oren, N., … Taweel, A. (2011). Flexible Behaviour Regulation in Agent Based Systems. Lecture Notes in Computer Science, 99-113. doi:10.1007/978-3-642-22427-0_8Meneguzzi, F., Modgil, S., Oren, N., Miles, S., Luck, M., & Faci, N. (2012). Applying electronic contracting to the aerospace aftercare domain. Engineering Applications of Artificial Intelligence, 25(7), 1471-1487. doi:10.1016/j.engappai.2012.06.004Presley, A., Sarkis, J., Barnett, W., & Liles, D. (2001). International Journal of Flexible Manufacturing Systems, 13(2), 145-162. doi:10.1023/a:1011131417956Saeki, M., & Kaiya, H. (2008). Supporting the Elicitation of Requirements Compliant with Regulations. Active Flow and Combustion Control 2018, 228-242. doi:10.1007/978-3-540-69534-9_18Such, J. M., García-Fornes, A., Espinosa, A., & Bellver, J. (2013). Magentix2: A privacy-enhancing Agent Platform. Engineering Applications of Artificial Intelligence, 26(1), 96-109. doi:10.1016/j.engappai.2012.06.009Telang, P. R., & Singh, M. P. (2009). Enhancing Tropos with Commitments. Lecture Notes in Computer Science, 417-435. doi:10.1007/978-3-642-02463-4_22Wooldridgey, M., & Ciancarini, P. (2001). Agent-Oriented Software Engineering: The State of the Art. Lecture Notes in Computer Science, 1-28. doi:10.1007/3-540-44564-1_

Service-oriented agents for collaborative industrial automation and production systems

Service-oriented Multi-Agent Systems (SoMAS) is an approach to combine the fundamental characteristics of service-oriented and multi-agent methods into a new platform for industrial automation. Several research works already targeted the connection of these technologies, presenting different perspectives in how and why to join them. This research focuses on available efforts and solutions in the area of SoMAS and explains the idea behind the service-oriented agents in industrial automation. A SoMAS system is mainly composed by shared resources in form of services and their providing/requesting agents. The paper also discusses the required engineering aspects of these systems, from the internal anatomy to the interaction patterns. Parameters of flexibility, reconfiguration, autonomy and reduced development efforts were considered and they should be the trademark of SoMAS. Aiming to illustrate the proposed approach, an example of service-oriented automation agents is given.The authors would like to thank the European Commission and the partners of the EU IST FP6 project “Service-Oriented Cross-layer infrastructure for Distributed smart Embedded devices” (SOCRADES), the EU FP6 "Network of Excellence for Innovative Production Machines and Systems” (I*PROMS), and the EC ICT FP7 project “Cooperating Objects Network of Excellence” (CONET) for their support

A platform-independent domain-specific modeling language for multiagent systems

Associated with the increasing acceptance of agent-based computing as a novel software engineering paradigm, recently a lot of research addresses the development of suitable techniques to support the agent-oriented software development. The state-of-the-art in agent-based software development is to (i) design the agent systems basing on an agent-based methodology and (ii) take the resulting design artifact as a base to manually implement the agent system using existing agent-oriented programming languages or general purpose languages like Java. Apart from failures made when manually transform an abstract specification into a concrete implementation, the gap between design and implementation may also result in the divergence of design and implementation. The framework discussed in this dissertation presents a platform-independent domain-specific modeling language for MASs called Dsml4MAS that allows modeling agent systems in a platform-independent and graphical manner. Apart from the abstract design, Dsml4MAS also allows to automatically (i) check the generated design artifacts against a formal semantic specification to guarantee the well-formedness of the design and (ii) translate the abstract specification into a concrete implementation. Taking both together, Dsml4MAS ensures that for any well-formed design, an associated implementation will be generated closing the gap between design and code.Aufgrund wachsender Akzeptanz von Agentensystemen zur Behandlung komplexer Problemstellungen wird der Schwerpunkt auf dem Gebiet der agentenorientierten Softwareentwicklung vor allem auf die Erforschung von geeignetem Entwicklungswerkzeugen gesetzt. Stand der Forschung ist es dabei das Agentendesign mittels einer Agentenmethodologie zu spezifizieren und die resultierenden Artefakte als Grundlage zur manuellen Programmierung zu verwenden. Fehler, die bei dieser manuellen Überführung entstehen, machen insbesondere das abstrakte Design weniger nützlich in Hinsicht auf die Nachhaltigkeit der entwickelten Softwareapplikation. Das in dieser Dissertation diskutierte Rahmenwerk erörtert eine plattformunabhängige domänenspezifische Modellierungssprache für Multiagentensysteme namens Dsml4MAS. Dsml4MAS erlaubt es Agentensysteme auf eine plattformunabhängige und graphische Art und Weise darzustellen. Die Modellierungssprache umfasst (i) eine abstrakte Syntax, die das Vokabular der Sprache definiert, (ii) eine konkrete Syntax, die die graphische Darstellung spezifiziert sowie (iii) eine formale Semantik, die dem Vokabular eine präzise Bedeutung gibt. Dsml4MAS ist Bestandteil einer (semi-automatischen) Methodologie, die es (i) erlaubt die abstrakte Spezifikation schrittweise bis hin zur konkreten Implementierung zu konkretisieren und (ii) die Interoperabilität zu alternativen Softwareparadigmen wie z.B. Dienstorientierte Architekturen zu gewährleisten

Governance of Autonomous Agents on the Web: Challenges and Opportunities

International audienceThe study of autonomous agents has a long tradition in the Multiagent System and the Semantic Web communities, with applications ranging from automating business processes to personal assistants. More recently, the Web of Things (WoT), which is an extension of the Internet of Things (IoT) with metadata expressed in Web standards, and its community provide further motivation for pushing the autonomous agents research agenda forward. Although representing and reasoning about norms, policies and preferences is crucial to ensuring that autonomous agents act in a manner that satisfies stakeholder requirements, normative concepts, policies and preferences have yet to be considered as first-class abstractions in Web-based multiagent systems. Towards this end, this paper motivates the need for alignment and joint research across the Multiagent Systems, Semantic Web, and WoT communities, introduces a conceptual framework for governance of autonomous agents on the Web, and identifies several research challenges and opportunities

Coordinating negotiations in data-intensive collaborative working environments using an agent-based model-driven platform

This paper tackles the interoperability problems of enterprise information systems by presenting a distributive model-driven platform for parallel coordination of multiple negotiations in data-intensive collaborative working environments. The proposed model was validated and verified by an industrial application scenario within the European research project H2020 C2NET (Cloud Collaborative Manufacturing Networks). This real scenario developed data-intensive collaborative and cloud-enabled tools that allow the optimisation of the supply network of manufacturing SMEs, proposing a negotiation solution based on a model-driven interoperable decentralised architecture.info:eu-repo/semantics/acceptedVersio

Organization based multiagent architecture for distributed environments

[EN]Distributed environments represent a complex field in which applied solutions should be flexible and include significant adaptation capabilities. These environments are related to problems where multiple users and devices may interact, and where simple and local solutions could possibly generate good results, but may not be effective with regards to use and interaction. There are many techniques that can be employed to face this kind of problems, from CORBA to multi-agent systems, passing by web-services and SOA, among others. All those methodologies have their advantages and disadvantages that are properly analyzed in this documents, to finally explain the new architecture presented as a solution for distributed environment problems. The new architecture for solving complex solutions in distributed environments presented here is called OBaMADE: Organization Based Multiagent Architecture for Distributed Environments. It is a multiagent architecture based on the organizations of agents paradigm, where the agents in the architecture are structured into organizations to improve their organizational capabilities. The reasoning power of the architecture is based on the Case-Based Reasoning methology, being implemented in a internal organization that uses agents to create services to solve the external request made by the users. The OBaMADE architecture has been successfully applied to two different case studies where its prediction capabilities have been properly checked. Those case studies have showed optimistic results and, being complex systems, have demonstrated the abstraction and generalizations capabilities of the architecture. Nevertheless OBaMADE is intended to be able to solve much other kind of problems in distributed environments scenarios. It should be applied to other varieties of situations and to other knowledge fields to fully develop its potencial.[ES]Los entornos distribuidos representan un campo de conocimiento complejo en el que las soluciones a aplicar deben ser flexibles y deben contar con gran capacidad de adaptación. Este tipo de entornos está normalmente relacionado con problemas donde varios usuarios y dispositivos entran en juego. Para solucionar dichos problemas, pueden utilizarse sistemas locales que, aunque ofrezcan buenos resultados en términos de calidad de los mismos, no son tan efectivos en cuanto a la interacción y posibilidades de uso. Existen múltiples técnicas que pueden ser empleadas para resolver este tipo de problemas, desde CORBA a sistemas multiagente, pasando por servicios web y SOA, entre otros. Todas estas mitologías tienen sus ventajas e inconvenientes, que se analizan en este documento, para explicar, finalmente, la nueva arquitectura presentada como una solución para los problemas generados en entornos distribuidos. La nueva arquitectura aquí se llama OBaMADE, que es el acrónimo del inglés Organization Based Multiagent Architecture for Distributed Environments (Arquitectura Multiagente Basada en Organizaciones para Entornos Distribuidos). Se trata de una arquitectura multiagente basasa en el paradigma de las organizaciones de agente, donde los agentes que forman parte de la arquitectura se estructuran en organizaciones para mejorar sus capacidades organizativas. La capacidad de razonamiento de la arquitectura está basada en la metodología de razonamiento basado en casos, que se ha implementado en una de las organizaciones internas de la arquitectura por medio de agentes que crean servicios que responden a las solicitudes externas de los usuarios. La arquitectura OBaMADE se ha aplicado de forma exitosa a dos casos de estudio diferentes, en los que se han demostrado sus capacidades predictivas. Aplicando OBaMADE a estos casos de estudio se han obtenido resultados esperanzadores y, al ser sistemas complejos, se han demostrado las capacidades tanto de abstracción como de generalización de la arquitectura presentada. Sin embargo, esta arquitectura está diseñada para poder ser aplicada a más tipo de problemas de entornos distribuidos. Debe ser aplicada a más variadas situaciones y a otros campos de conocimiento para desarrollar completamente el potencial de esta arquitectura

Wide-Area Time-Synchronized Closed-Loop Control of Power Systems And Decentralized Active Distribution Networks

The rapidly expanding power system grid infrastructure and the need to reduce the occurrence of major blackouts and prevention or hardening of systems against cyber-attacks, have led to increased interest in the improved resilience of the electrical grid. Distributed and decentralized control have been widely applied to computer science research. However, for power system applications, the real-time application of decentralized and distributed control algorithms introduce several challenges. In this dissertation, new algorithms and methods for decentralized control, protection and energy management of Wide Area Monitoring, Protection and Control (WAMPAC) and the Active Distribution Network (ADN) are developed to improve the resiliency of the power system. To evaluate the findings of this dissertation, a laboratory-scale integrated Wide WAMPAC and ADN control platform was designed and implemented. The developed platform consists of phasor measurement units (PMU), intelligent electronic devices (IED) and programmable logic controllers (PLC). On top of the designed hardware control platform, a multi-agent cyber-physical interoperability viii framework was developed for real-time verification of the developed decentralized and distributed algorithms using local wireless and Internet-based cloud communication. A novel real-time multiagent system interoperability testbed was developed to enable utility independent private microgrids standardized interoperability framework and define behavioral models for expandability and plug-and-play operation. The state-of-theart power system multiagent framework is improved by providing specific attributes and a deliberative behavior modeling capability. The proposed multi-agent framework is validated in a laboratory based testbed involving developed intelligent electronic device prototypes and actual microgrid setups. Experimental results are demonstrated for both decentralized and distributed control approaches. A new adaptive real-time protection and remedial action scheme (RAS) method using agent-based distributed communication was developed for autonomous hybrid AC/DC microgrids to increase resiliency and continuous operability after fault conditions. Unlike the conventional consecutive time delay-based overcurrent protection schemes, the developed technique defines a selectivity mechanism considering the RAS of the microgrid after fault instant based on feeder characteristics and the location of the IEDs. The experimental results showed a significant improvement in terms of resiliency of microgrids through protection using agent-based distributed communication

Development of service-oriented architectures using model-driven development : a mapping study

Context: Model-Driven Development (MDD) and Service-Oriented Architecture (SOA) are two challenging research areas in software engineering. MDD is about improving software development whilst SOA is a service-based conceptual development style, therefore investigating the available proposals in the literature to use MDD when developing SOA may be insightful. However, no studies have been found with this purpose. Objective: This work aims at assessing the state of the art in MDD for SOA systems. It mainly focuses on: what are the characteristics of MDD approaches that support SOA; what types of SOA are supported; how do they handle non-functional requirements. Method: We conducted a mapping study following a rigorous protocol. We identified the representative set of venues that should be included in the study. We applied a search string over the set of selected venues. As result, 129 papers were selected and analysed (both frequency analysis and correlation analysis) with respect to the defined classification criteria derived from the research questions. Threats to validity were identified and mitigated whenever possible. Results: The analysis allows us to answer the research questions. We highlight: (1) predominance of papers from Europe and written by researchers only; (2) predominance of top-down transformation in software development activities; (3) inexistence of consolidated methods; (4) significant percentage of works without tool support; (5) SOA systems and service compositions more targeted than single services and SOA enterprise systems; (6) limited use of metamodels; (7) very limited use of NFRs; and (8) limited application in real cases. Conclusion: This mapping study does not just provide the state of the art in the topic, but also identifies several issues that deserve investigation in the future, for instance the need of methods for activities other than software development (e.g., migration) or the need of conducting more real case studies.Peer ReviewedPostprint (author's final draft