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_

Monitoring morphisms to support sustainable interoperability of enterprise systems

Dissertation to obtain the Master degree in Electrical Engineering and Computer ScienceNowadays, organizations are required to be part of a global collaborative world. Sometimes this is the only way they can access new and wider markets, reaching new opportunities, skills and sharing assets, e.g. tools, lessons learnt. However, due to the different sources of enterprise models and semantics, organizations are experiencing difficulties in exchanging vital information via electronic and in a seamlessly way. To solve this issue, most of them try to attain interoperability by establishing peer-to-peer mappings with different business partners, or in optimized networks using neutral data standards to regulate communications. Moreover, the systems are more and more dynamic, changing frequently to answer new customer’s requirements, causing new interoperability problems and a reduction of efficiency. This dissertation proposes a multi-agent system to monitor existing enterprise systems, by being capable of detecting morphism changes. With this, network harmonization breakings are timely detected, and possible solutions are suggested to regain the interoperable status, thus enhancing robustness for reaching sustainability of business networks

An Evaluation of Communication Protocol Languages for Engineering Multiagent Systems

Communication protocols are central to engineering decentralized multiagent systems. Modern protocol languages are typically formal and address aspects of decentralization, such as asynchrony. However, modern languages differ in important ways in their basic abstractions and operational assumptions. This diversity makes a comparative evaluation of protocol languages a challenging task. We contribute a rich evaluation of diverse and modern protocol languages. Among the selected languages, Scribble is based on session types; Trace-C and Trace-F on trace expressions; HAPN on hierarchical state machines, and BSPL on information causality. Our contribution is four-fold. One, we contribute important criteria for evaluating protocol languages. Two, for each criterion, we compare the languages on the basis of whether they are able to specify elementary protocols that go to the heart of the criterion. Three, for each language, we map our findings to a canonical architecture style for multiagent systems, highlighting where the languages depart from the architecture. Four, we identify design principles for protocol languages as guidance for future research

Negotiation environment to support enterprise interoperability sustainability

Dissertation to obtain the Master degree in Electrical Engineering and Computer ScienceSpecialized and diversified global markets are facing a competitiveness that keeps pushing enterprises to abandon their traditional product centrism, where basically it is enough to concentrate their efforts in very narrow specialization fields and change their methods of work relying on networks of other providers that are able to fulfill their needs towards the development of complete solutions. These new methods of work, regarding the rapid change in markets and business organizations, requires new interoperability demands and complexity levels, from connection and syntax-oriented exchanges to semantic and model-oriented knowledge, which becomes very difficult for enterprises to cope with the pace of change. This dissertation proposes the implementation of a framework, based on agents and rules, to achieve solid and stable integration of solutions, via the use of a strong and formal negotiation mechanism, which will be the basis for increasing the enterprise interoperability in the supply chain for the development of solutions.European Commission through the funding of the FP7 ENSEMBLE, UNITE, MSEE and IMAGINE project

Multi-Agent Systems

A multi-agent system (MAS) is a system composed of multiple interacting intelligent agents. Multi-agent systems can be used to solve problems which are difficult or impossible for an individual agent or monolithic system to solve. Agent systems are open and extensible systems that allow for the deployment of autonomous and proactive software components. Multi-agent systems have been brought up and used in several application domains

Development of an ontology for a multi-agent system controlling a production line

Nowadays, the industry is very demanding in terms of customized high quality products at lower costs. Furthermore, the customers intention of having the product as soon as possible, and companies having the restriction of time, which in this case is a crucial variable, also increases the nal product cost. For this reason, it becomes unacceptable the development of solutions based on centralized implementations, which do not provide robustness, exibility and recon gurability. Therefore, the implementation of multi-agent based solutions ful l the described requirements leading to a more exible, robust and agile system. This work presents the development of an important issue concerning the cooperation between the distributed agents, since one of them only has a partial view of the system. In this way the ontologies are crucial to guarantee a common structure of the knowledge exchanged among the agents. The objective of this work is the development of an ontology integrating process and quality levels to be used to represent the knowledge exchanged in a multi-agent system solution for a production line producing washing machines. Consequently, the agents exchanging shared knowledge will support better and more accurate decisions. The contribution of this work comprises the implementation of a multi-agent system, the appropriate ontology formulation as well as its implementation, which makes the integration of an industrial production line more versatile and more customized. Naturally, with this project, it is created a recon gurable and highly interoperable system. Hoje em dia, a indústria é muito exigente em termos de produtos personalizados de alta qualidade a custos baixos. Além disso, a intenção dos clientes é ter o produto logo que possível, assim as empresas têm uma limitação de tempo, que neste caso é uma variável importante, também aumenta o custo do produto nal. Por esta razão, torna-se inaceitável o desenvolvimento de soluções baseadas em implementa ções centralizadas, que não proporcionam a exibilidade, robustez e recon gurabilidade. Portanto, a implementação de soluções baseadas em multi-agente cumprem os requisitos descritos levando a um sistema mais exível, robusto e ágil. Este trabalho representa o desenvolvimento de uma questão importante relativa à coopera ção entre os agentes distribuídos, uma vez que apenas um deles tem uma visão parcial do sistema. Desta forma, as ontologias são cruciais para garantir uma estrutura comum de conhecimento trocadas entre os agentes. O objectivo deste trabalho é o desenvolvimento de uma ontologia da integração de processos e qualidade a serem utilizados para representar o conhecimento trocado em uma solução de sistema multi-agente para uma linha de produção de máquinas de lavar. Consequentemente, os agentes trocam conhecimento compartilhado que irão suportar decisões melhores e mais precisas. A contribuição deste trabalho consiste na implementação de um sistema multi-agente, a adequada formulação da ontologia, bem como a sua implementação, o que torna a integração de uma linha de produção industrial mais versátil e mais personalizada. Naturalmente, com este projecto, é criado um sistema recon gurável e altamente interoperável

Multi-agent communication for the realization of business-processes

As Internet and information technologies expand further into daily business activities, new solutions and techniques are required to cope with the growing complexity. One area that has gained attention is systems and organizations interoperability and Service Oriented Architectures (SOA). Web Services have grown as a preferred technology in this area. Although these techniques have proved to solve problems of low level integration of heterogeneous systems, there has been little advance at higher levels of integration like how to rule complex conversations between participants that are autonomous and cannot depend on some ruling or orchestrating system. Multi-agent technology has studied techniques for content-rich communication, negotiation, autonomous problem solving and conversation protocols. These techniques have solved some of the problems that emerge when integrating autonomous systems to perform complex business processes. The present research work intends to provide a solution for the realization of complex Business Process between heterogeneous autonomous participants using multi-agent technology. We developed an integration of Web Services and agent-based technologies along with a model for creating conversation protocols that respect the autonomy of participants. A modeling tool has been developed to create conversation protocols in a modular and reusable manner. BDI-Agents implementations that communicate over Web Services are automatically generated out of these models.Internet und Informationstechnik finden immer mehr Verwendung in alltäglichen Geschäftsaktivitäten und als Folge dessen, werden neue Lösungen und Verfahren gebraucht, um der steigenden Komplexität gerecht zu werden. Insbesondere Bereiche wie System- und Organizations- Interoperabilität, wie auch dienst-orientierte Architekturen (SOA) haben demzufolge mehr Aufmerksamkeit bekommen. Dabei sind Web Services zur bevorzugten Technologie geworden. Tatsächlich haben diese Techniken Probleme in niedrigeren Ebenen gelöst, die beim lntegrieren von heterogenen Systemen entstehen. Allerdings gab es bisher weniger Fortschritte in höheren Ebenen, wie der Regelung von komplexen Dialogen zwischen Teilnehmern, die aufgrund ihrer Autonomie, sich nicht nach anderen kontrollierenden oder orchestrierenden Systemen richten lassen. Multiagenten-Systeme haben Bereiche wie inhaltreiche Kommunikation, Handel, autonome Problemlösung und Interaktionsprotokolle im Detail geforscht. Diese Techniken haben Probleme gelöst, die beim Ausführen von komplexen Geschäftsprozessen auftreten. Die vorliegende Doktorarbeit beabsichtigt, mit Verwendung von Multiagenten-Technologien, eine Lösung für die Umsetzung von komplexen Geschäftsprozessen zwischen heterogenen autonomen Teilnehmern bereitzustellen. Wir haben eine Integrationslösung für Web Services und agenten-basierte Technologien zur Verfügung gestellt, zusammen mit einem Model für die Erstellung von Interaktions-Protokollen, die die Autonomie der Teilnehmer berücksichtigt. Ein Modellierungstool wurde entwickelt, um modulare und wiederverwendbare Interaktionsprotokolle gestalten zu können. Aus diesen Modellen kann man auch Implementierungen automatisch erzeugen lassen, welche BDI-Agenten, die über Web Services kommunizieren, verwenden

Collaborative environment to support a professional community

Dissertação apresentada na Faculdade de Ciências e Tecnologia da Universidade Nova de Lisboa para obtenção do grau de Mestre em Engenharia Electrotécnica e de ComputadoresRecent manufacturing roadmaps stress current production systems limitations, emphasizing social, economic and ecologic consequences for Europe of a non-evolution to sustainable Production Systems. Hence, both academic institutions and enterprises are committed to develop solutions that would endow enterprises to survive in nowadays’ extremely competitive business environment. A research effort is being carried on by the Evolvable Production Systems consortium towards attaining Production Systems that can cope with current technological, economical, ecological and social demands fulfilling recent roadmaps. Nevertheless research success depends on attaining consensus in the scientific community and therefore an accurate critical mass support is required in the whole process. The main goal of this thesis is the development of a Collaborative Environment Tool to assist Evolvable Production Systems consortium in such research efforts and to enhance Evolvable Assembly Systems paradigm dissemination. This work resulted in EASET (Evolvable Assembly Systems Environment Tool), a collaborative environment tool which promotes EAS dissemination and brings forth improvements through the raise of critical mass and collaboration between entities

Service architecting and dynamic composition in pervasive smart ecosystems for the Internet of things based on sensor network technology

Why pervasive awareness and Ambient Intelligence are perceived by a great part of the academia and industry as a massive revolution in the short-term? In our best knowledge, a cornerstone of this thought is based on the fact that the ultimate nature of the smart environment paradigm is not in the technology itself, but on a people-centered approach. Perhaps, is in this apparently simple conception where precisely lies the boldness of this promising vision, which has been consolidated in recent years with the emerging proliferation of mobile, personal, portable, wearable and sensory computing: to reach everyone and everywhere. On the one hand, it touches our daily lives in a close manner, minimizing the required attention from the users, anticipating to their needs with the main intention of redefining our idea of Quality of Experience. On the other hand, this new wave impacts everywhere at both global and personal scales allowing expanded connectivity between devices and smart objects, in a dynamic and ubiquitous manner, as a natural extension of the physical world around us. According to the above, this doctoral dissertation focuses on contributing to the integration of software and networking engineering advances in the field of pervasive smart spaces and environment using sensor networks. This is founded on the convergence of some information technology and computer science paradigms, such as service and agent orientation, semantic technologies and knowledge management in the framework of pervasive computing and the Internet of Things. To this end, the nSOM (nano Service-Oriented Middleware) and nSOL (nano Semantics-Oriented Language) approaches are presented. Firstly, the nSOM proposal defines a service-oriented platform for the implementation, deployment and exposure of agent-based in-network services to the Internet cloud on heterogeneous sensor devices. Secondly, the nSOL solution enables an abstraction for supporting ubiquitous service composition based on semantic knowledge management. The integration of both contributions leads to the formal modelling and practical development of adaptive virtual sensor services for pervasive Ambient Intelligence ecosystems. This work includes also the related performance characterization of the resulting prototype according to several metrics such as code size, volatile memory footprint, CPU overhead, service time delay and battery lifetime. Main foundations and outcomes presented in this essay are contextualized in the following European Research Projects: μSWN (FP6 code: IST-034642), DiYSE (ITEA2 code: 08005) and LifeWear (ITEA2 code: 09026). --------------------¿Por qué la sensibilidad ubicua y la inteligencia ambiental son percibidas por una gran parte de las comunidades académica e industrial como una revolución masiva en el corto plazo? En nuestra opinión, una piedra angular de este pensamiento es el hecho de que la naturaleza última del paradigma de entornos inteligentes no reside en la tecnología en sí misma, sino en una aproximación centrada en las personas. Y es quizá en esta aparente simple concepción donde se halla precisamente el atrevimiento de esta prometedora visión, consolidada en los últimos años con la emergente proliferación de la computación móvil, personal, portable, llevable y sensorial: llegar a todos y a todas partes. Por un lado, esta alcanza nuestras vidas de una manera cercana, minimizando la atención requerida por los usuarios, anticipándose a sus necesidades con el objetivo de redefinir nuestra idea de calidad de experiencia. Por otro lado, esta impacta en todas partes tanto a escala global como personal, con una conectividad expandida entre dispositivos y objetos inteligentes, de un modo ubicuo y dinámico, como una extensión natural del mundo que nos rodea. Conforme a lo anterior, esta tesis doctoral se centra en contribuir en la integración de los avances de ingeniería de redes y software en el ámbito de los espacios y entornos inteligentes ubicuos basados en redes de sensores. Esto se fundamenta en la convergencia de diversos paradigmas de las tecnologías de la información y ciencia de la computación, tales como orientación a servicios y agentes, tecnologías semánticas y de gestión del conocimiento en el contento de la computación ubicua en la Internet de las Cosas. Para este fin, se presentan las aproximaciones nSOM (nano Service-Oriented Middleware) y nSOL (nano Semantics-Oriented Language). En primer lugar, nSOM define una plataforma orientada a servicios para la implementación, despliegue y exposición a la nube de servicios basados en agentes e implementados en red sobre dispositivos heterogéneos de sensores. En segundo lugar, nSOL habilita una abstracción para proporcionar composición ubicua de servicios basada en gestión semántica del conocimiento. La integración de ambas contribuciones conduce a un modelado formal y de implementación práctica de servicios de sensor virtual adaptativos para ecosistemas de inteligencia ambiental. Este trabajo incluye la caracterización del rendimiento del prototipo resultante, basándonos para ello en métricas tales como tamaño de código, tamaño de memoria volátil, sobrecarga de procesamiento, retardo en tiempo de servicio y autonomía de baterías. Los principales fundamentos y resultados discutidos en este ensayo están contextualizados en los siguientes Proyectos de Investigación Europeos: μSWN (FP6 código: IST-034642), DiYSE (ITEA2 código: 08005) y LifeWear (ITEA2 código: 09026).Presidente: Juan Ramón Velasco Pérez; Vocal: Juan Carlos Dueñas; Secretario: Mario Muñoz Organer