Choreographing agent encounters in the Semantic Web using rules

Abstract. In order for automated agent-based e-Commerce transactions to blossom, well-defined, analyzable and easily customizable interaction protocols or choreographies of involved parties need to be developed. Although, several domaindepended protocols have already been developed, efficient methodologies and technologies for facilitating the definition, deployment, reuse and maintenance of interaction protocols should be developed. This paper proposes a rule-based, reusable, analyzable and easily comprehensible by the user choreography definition methodology, called K-SWAN. Τhe proposed choreography scheme separates the definition of the agent shared interaction protocol from the private agent interaction strategy and enables agents to choose the appropriate protocol for the transaction, from a library of re-usable interaction protocols, and automatically combine it with their personal strategy, from a private library, by using SW technologies for both. Complying with K-SWAN methodology will let agents participate seamlessly in different interaction processes and/or modify their behavior with a minimal programming effort. Finally, this paper presents the integration of the K-SWAN methodology into EMERALD, a multi-agent knowledge-based framework based on SW standards, which maximizes reusability and interoperability of behavior between agents

A Temporal Distributed Group Decision Support System Based on Multi-Criteria Analysis

Decision support consists of proposing tasks and projects by taking into account temporal constraints and the use of resources with the aim of finding a compromise solution between several alternatives. Indeed, on the one hand, centralized resolution systems and methods are generally inappropriate to the real case because of the local unavailability of decision makers. On the other hand, the data of the decisional problem are generally poorly expressed in a negotiation environment. Other techniques and approaches treat the same decision-making problem and impose a distributed vision for coherent decisions. For this purpose, Multi-Agent Systems (MAS) allow modeling a distributed resolution of the group decision support problem. In this article, we propose a new model of a multi-criteria group decision support system based on a multi-agent system modeling a spatial problem. We consider that each decision maker is assimilated to an agent that has a decision-making autonomy, in which he interacts with other agents in the debate through a negotiation process in order to reach an acceptable compromise. In this study, we propose coordination mechanisms among agents to highlight the simulated negotiation. Therefore, the proposed system finds a solution before fixed deadlines’ time expire. We experiment the suggested negotiation model to solve the decisional problem of spatial localization in territory planning

Evolutionäre Referenzmodelle: Anforderungen an eine methodische Unterstützung zur systematischen Wiederverwendung und Weiterentwicklung von modellhaft aufbereitetem Wissen

Konzeptuelle Modelle sind zur Gestaltung und Steuerung von Informationssystemen ein akzeptiertes und weit verbreitetes Instrument. Sie werden sowohl zur Gestaltung der Organisationsstruktur als auch zur Entwicklung der unterstützenden IT-Systeme verwendet. Für diesen Aufgabenbereich existiert eine hohe Nachfrage nach externer Unterstützung, da spezifische Fachkenntnisse und Erfahrungen notwendig sind. In diesem Zusammenhang werden seit Jahrzehnten Ansätze zur Wiederverwendung in Wissenschaft und Praxis diskutiert. Die Akzeptanz und Verbreitung von explizit zur Wiederverwendung konstruierten Modellen (Referenzmodelle) bleiben jedoch deutlich hinter den Erwartungen zurück. Die vorliegende Arbeit trägt zur Untersuchung möglicher Ursachen für den ausbleibenden Erfolg von Referenzmodellen bei. Der Forschung liegt die Vermutung zugrunde, dass die Potentiale von Referenzmodellen nicht zufriedenstellend ausgeschöpft werden können, weil die existierenden bzw. verwendeten Modellierungsmethoden die theoretischen Anforderungen an die Wiederverwendung von modellhaft dargestellten Lösungen zur Unternehmensgestaltung nicht erfüllen. Die vorliegende Arbeit fasst neun Einzelpublikationen zum Themenbereich Evolutionäre Referenzmodelle zu einer kumulativen Dissertation zusammen. Es werden in einem argumentativdeduktiven Verfahren konstruktivistische Theorien zur systematischen Weiterentwicklung und Wiederverwendung konzeptueller Unternehmensmodelle untersucht. Die auf dieseWeise resultierende Erweiterung der allgemeinen Modelltheorie wurde ihrerseits argumentativ-konzeptionell mit Hilfe von semiformalen Argumentationsmodellen aufbereitet. Im Ergebnis werden ein theoretisches Rahmenwerk zur evolutionären Referenzmodellierung präsentiert und 23 konzeptionelle Anforderungen definiert, die eine gezielte Methodenentwicklung für die evolutionäre Referenzmodellierung steuern sollen

Applications of agent architectures to decision support in distributed simulation and training systems

This work develops the approach and presents the results of a new model for applying intelligent agents to complex distributed interactive simulation for command and control. In the framework of tactical command, control communications, computers and intelligence (C4I), software agents provide a novel approach for efficient decision support and distributed interactive mission training. An agent-based architecture for decision support is designed, implemented and is applied in a distributed interactive simulation to significantly enhance the command and control training during simulated exercises. The architecture is based on monitoring, evaluation, and advice agents, which cooperate to provide alternatives to the dec ision-maker in a time and resource constrained environment. The architecture is implemented and tested within the context of an AWACS Weapons Director trainer tool. The foundation of the work required a wide range of preliminary research topics to be covered, including real-time systems, resource allocation, agent-based computing, decision support systems, and distributed interactive simulations. The major contribution of our work is the construction of a multi-agent architecture and its application to an operational decision support system for command and control interactive simulation. The architectural design for the multi-agent system was drafted in the first stage of the work. In the next stage rules of engagement, objective and cost functions were determined in the AWACS (Airforce command and control) decision support domain. Finally, the multi-agent architecture was implemented and evaluated inside a distributed interactive simulation test-bed for AWACS Vv\u27Ds. The evaluation process combined individual and team use of the decision support system to improve the performance results of WD trainees. The decision support system is designed and implemented a distributed architecture for performance-oriented management of software agents. The approach provides new agent interaction protocols and utilizes agent performance monitoring and remote synchronization mechanisms. This multi-agent architecture enables direct and indirect agent communication as well as dynamic hierarchical agent coordination. Inter-agent communications use predefined interfaces, protocols, and open channels with specified ontology and semantics. Services can be requested and responses with results received over such communication modes. Both traditional (functional) parameters and nonfunctional (e.g. QoS, deadline, etc.) requirements and captured in service requests

Interruption and Uncooperativeness in Academic ELF Group Work : An Application of Linear Unit Grammar

This study addresses the challenge of analyzing interruption in spoken interaction. It begins with my observation of eight hours of academic group work among speakers of English as a lingua franca (ELF) in a university course. Unlike the common findings of ELF research which underscore the cooperative orientation of ELF users, this particular group gave strong impressions of interruption and uncooperativeness as they prepared a scientific group presentation. In the effort to investigate these impressions, I found that no satisfactory method exists for systematically identifying and analyzing interruptions. A useful tool was found in Linear Unit Grammar or LUG (Sinclair & Mauranen 2006), which analyzes spoken interaction prospectively as linear text. In the course of transcribing one of the early group work meetings, I developed a model of LUG-based criteria for identifying individual instances of interruption. With this system in place, I was then able to evaluate the aggregate occurrences of interruption in the group work and identify co-occurring interactive features which further influenced the perception of uncooperativeness. Finally, these aggregate statistics directed a return to the data and a contextually sensitive, qualitative analysis. This research cycle illuminates the interactive features which contributed to my own impressions of uncooperativeness, as well as the group members orientations to their own interruptive practice

Extra Functional Properties Evaluation of Self-managed Software Systems with Formal Methods

Multitud de aplicaciones software actuales están abocadas a operar en contextos dinámicos. Estos pueden manifestarse en términos de cambios en el entorno de ejecución de la aplicación, cambios en los requisitos de la aplicación, cambios en la carga de trabajo recibida por la aplicación, o cambios en cualquiera de los elementos que la aplicación software pueda percibir y verse afectada. Además, estos contextos dinámicos no están restringidos a un dominio particular de aplicaciones sino que se pueden encontrar en múltiples dominios, tales como: sistemas empotrados, arquitecturas orientadas a servicios, clusters para computación de altas prestaciones, dispositivos móviles o software para el funcionamiento de la red. La existencia de estas características disuade a los ingenieros de desarrollar software que no sea capaz de cambiar de modo alguno su ejecución para acomodarla al contexto en el que se está ejecutando el software en cada momento. Por lo tanto, con el objetivo de que el software pueda satisfacer sus requisitos en todo momento, este debe incluir mecanismos para poder cambiar su configuración de ejecución. Además, debido a que los cambios de contexto son frecuentes y afectan a múltiples dispositivos de la aplicación, la intervención humana que cambie manualmente la configuración del software no es una solución factible. Para enfrentarse a estos desafíos, la comunidad de Ingeniería del Software ha propuesto nuevos paradigmas que posibilitan el desarrollo de software que se enfrenta a contextos cambiantes de un modo automático; por ejemplo las propuestas Autonomic Computing y Self-* Software. En tales propuestas es el propio software quien gestiona sus mecanismos para cambiar la configuración de ejecución, sin requerir por lo tanto intervención humana alguna. Un aspecto esencial del software auto-adaptativo (Self-adaptive Software es uno de los términos más generales para referirse a Self-* Software) es el de planear sus cambios o adaptaciones. Los planes de adaptación determinan tanto el modo en el que se adaptará el software como los momentos oportunos para ejecutar tales adaptaciones. Hay un gran conjunto de situaciones para las cuales la propiedad de auto- adaptación es una solución. Una de esas situaciones es la de mantener al sistema satisfaciendo sus requisitos extra funcionales, tales como la calidad de servicio (Quality of Service, QoS) y su consumo de energía. Esta tesis ha investigado esa situación mediante el uso de métodos formales. Una de las contribuciones de esta tesis es la propuesta para asentar en una arquitectura software los sistemas que son auto-adaptativos respecto a su QoS y su consumo de energía. Con este objetivo, esta parte de la investigación la guía una arquitectura de tres capas de referencia para sistemas auto-adaptativos. La bondad del uso de una arquitectura de referencia es que muestra fácilmente los nuevos desafíos en el diseño de este tipo de sistemas. Naturalmente, la planificación de la adaptación es una de las actividades consideradas en la arquitectura. Otra de las contribuciones de la tesis es la propuesta de métodos para la creación de planes de adaptación. Los métodos formales juegan un rol esencial en esta actividad, ya que posibilitan el estudio de las propiedades extra funcionales de los sistemas en diferentes configuraciones. El método formal utilizado para estos análisis es el de las redes de Petri markovianas. Una vez que se ha creado el plan de adaptación, hemos investigado la utilización de los métodos formales para la evaluación de QoS y consumo de energía de los sistemas auto-adaptativos. Por lo tanto, se ha contribuido a la comunidad de análisis de QoS con el análisis de un nuevo y particularmente complejo tipo de sistemas software. Para llevar a cabo este análisis se requiere el modelado de los cambios din·micos del contexto de ejecución, para lo que se han utilizado una variedad de métodos formales, como los Markov modulated Poisson processes para estimar los parámetros de las variaciones en la carga de trabajo recibida por la aplicación, o los hidden Markov models para predecir el estado del entorno de ejecución. Estos modelos han sido usados junto a las redes de Petri para evaluar sistemas auto-adaptativos y obtener resultados sobre su QoS y consumo de energía. El trabajo de investigación anterior sacó a la luz el hecho de que la adaptabilidad de un sistema no es una propiedad tan fácilmente cuantificable como las propiedades de QoS -por ejemplo, el tiempo de respuesta- o el consumo de energÌa. En consecuencia, se ha investigado en esa dirección y, como resultado, otra de las contribuciones de esta tesis es la propuesta de un conjunto de métricas para la cuantificación de la propiedad de adaptabilidad de sistemas basados en servicios. Para conseguir las anteriores contribuciones se realiza un uso intensivo de modelos y transformaciones de modelos; tarea para la que se han seguido las mejores prácticas en el campo de investigación de la Ingeniería orientada a modelos (Model-driven Engineering, MDE). El trabajo de investigación de esta tesis en el campo MDE ha contribuido con: el aumento de la potencia de modelado de un lenguaje de modelado de software propuesto anteriormente y métodos de transformación desde dos lenguajes de modelado de software a redes de Petri estocasticas

A practical guide to conversation research: how to study what people say to each other

Conversation—a verbal interaction between two or more people—is a complex, pervasive, and consequential human behavior. Conversations have been studied across many academic disciplines. However, advances in recording and analysis techniques over the last decade have allowed researchers to more directly and precisely examine conversations in natural contexts and at a larger scale than ever before, and these advances open new paths to understand humanity and the social world. Existing reviews of text analysis and conversation research have focused on text generated by a single author (e.g., product reviews, news articles, and public speeches) and thus leave open questions about the unique challenges presented by interactive conversation data (i.e., dialogue). In this article, we suggest approaches to overcome common challenges in the workflow of conversation science, including recording and transcribing conversations, structuring data (to merge turn-level and speaker-level data sets), extracting and aggregating linguistic features, estimating effects, and sharing data. This practical guide is meant to shed light on current best practices and empower more researchers to study conversations more directly—to expand the community of conversation scholars and contribute to a greater cumulative scientific understanding of the social world

Designing a manufacturing strategy

"September 1984."Bibliography: p. 34-35.Charles H. Fine, Arnoldo C. Hax

Languages for Engineering Design: Empirical Constructs for Representing Objects and Articulating Processes

Design knowledge incorporates knowledge and information about designed objects and their attributes, as well as about methods and means for undertaking the design process. Such design knowledge is articulated in several different representations or languages. This paper presents a typology of the languages of engineering design, emphasizing the representation of designed objects and the articulation and representation of the cognitive processes of design. Design languages include verbal or textual statements, drawings and graphics, formulas, and numbers. Still other design languages follow from computational styles. The languages of design and their computer-based implementations are empirical in origin, since observation reveals that these languages are derived not from an overarching theory, but from our experience in trying to understand what we do when we: talk about designed objects, articulate design processes, and teach computers how to do these things as well. Next to presenting a typology of the languages of engineering design, and discussing the role of these languages in design activity, the paper also discusses the possibility of automating design activity through the design and manufacture of expert systems for product design. We will be looking at one of the most advanced systems of this sort, the PRIDE system, and use our study of PRIDE to discuss the possibilities and limits of automating design through the use of expert systems