McRunjob: A High Energy Physics Workflow Planner for Grid Production Processing

McRunjob is a powerful grid workflow manager used to manage the generation of large numbers of production processing jobs in High Energy Physics. In use at both the DZero and CMS experiments, McRunjob has been used to manage large Monte Carlo production processing since 1999 and is being extended to uses in regular production processing for analysis and reconstruction. Described at CHEP 2001, McRunjob converts core metadata into jobs submittable in a variety of environments. The powerful core metadata description language includes methods for converting the metadata into persistent forms, job descriptions, multi-step workflows, and data provenance information. The language features allow for structure in the metadata by including full expressions, namespaces, functional dependencies, site specific parameters in a grid environment, and ontological definitions. It also has simple control structures for parallelization of large jobs. McRunjob features a modular design which allows for easy expansion to new job description languages or new application level tasks.Comment: CHEP 2003 serial number TUCT00

Autonomic Protocol-based Coordination in Dynamic Inter-Organizational Workflow

International audienceGiven the maturity of Internet standards, inter-organizational workflow is expected to be deployed in environments that are more dynamic and open than before. This paper addresses Inter Organizational Workflow (IOW) coordination in such a context, mainly investigating autonomic coordination managed at run-time. It is based on the idea that an agent-based approach is suitable to deal with this issue. More precisely, this paper introduces a framework for dynamic IOW in which involved processes are encapsulated into agents, called Process Agents (PA) in order to give them the capability to autonomously decide with whom, when and how to cooperate, and in which involved processes can access protocol components for their coordination needs. Our approach is based on the capability of PAs in playing different coordination protocols in order to take part in new business opportunities. This solution has numerous advantages. First, it provides extendable and reusable coordination components. Then, it supports run-time protocol integration. Finally, it eases openness since it imposes very few constraints

Modeling and Executing Production Processes with Capabilities and Skills using Ontologies and BPMN

Current challenges of the manufacturing industry require modular and changeable manufacturing systems that can be adapted to variable conditions with little effort. At the same time, production recipes typically represent important company know-how that should not be directly tied to changing plant configurations. Thus, there is a need to model general production recipes independent of specific plant layouts. For execution of such a recipe however, a binding to then available production resources needs to be made. In this contribution, select a suitable modeling language to model and execute such recipes. Furthermore, we present an approach to solve the issue of recipe modeling and execution in modular plants using semantically modeled capabilities and skills as well as BPMN. We make use of BPMN to model \emph{capability processes}, i.e. production processes referencing abstract descriptions of resource functions. These capability processes are not bound to a certain plant layout, as there can be multiple resources fulfilling the same capability. For execution, every capability in a capability process is replaced by a skill realizing it, effectively creating a \emph{skill process} consisting of various skill invocations. The presented solution is capable of orchestrating and executing complex processes that integrate production steps with typical IT functionalities such as error handling, user interactions and notifications. Benefits of the approach are demonstrated using a flexible manufacturing system.Comment: To be submitted to ETFA 202

Intelligent Agents and Their Potential for Future Design and Synthesis Environment

This document contains the proceedings of the Workshop on Intelligent Agents and Their Potential for Future Design and Synthesis Environment, held at NASA Langley Research Center, Hampton, VA, September 16-17, 1998. The workshop was jointly sponsored by the University of Virginia's Center for Advanced Computational Technology and NASA. Workshop attendees came from NASA, industry and universities. The objectives of the workshop were to assess the status of intelligent agents technology and to identify the potential of software agents for use in future design and synthesis environment. The presentations covered the current status of agent technology and several applications of intelligent software agents. Certain materials and products are identified in this publication in order to specify adequately the materials and products that were investigated in the research effort. In no case does such identification imply recommendation or endorsement of products by NASA, nor does it imply that the materials and products are the only ones or the best ones available for this purpose. In many cases equivalent materials and products are available and would probably produce equivalent results

Modeling Big Data based Systems through Ontological Trading

One of the great challenges the information society faces is dealing with the huge amount of information generated and handled daily on the Internet. Today, progress in Big Data proposals attempt to solve this problem, but there are certain limitations to information search and retrieval due basically to the large volumes handled, the heterogeneity of the information and its dispersion among a multitude of sources. In this article, a formal framework is defined to facilitate the design and development of an Environmental Management Information System which works with an heterogeneous and large amount of data. Nevertheless, this framework can be applied to other information systems that work with Big Data, since it does not depend on the type of data and can be utilized in other domains. The framework is based on an Ontological Web-Trading Model (OntoTrader) which follows Model-Driven Engineering and Ontology-Driven Engineering guidelines to separate the system architecture from its implementation. The proposal is accompanied by a case study, SOLERES-KRS, an Environmental Knowledge Representation System designed and developed using Software Agents and Multi-Agent Systems

Methodology and Software Prototype for Ontology-Enabled Traceability Mechanisms

Due to the rapid advancement of technology, industrial-aged systems are being replaced by information-based models through system integration, where hardware and software are combined by a variety of communication means. As engineering systems become progressively complex, the challenge is to fully understand and implement the connectivity relationships among various models of visualization so that catastrophic and expensive failures of engineering systems can be avoided. In order to achieve these connectivity relationships, this project inserts a new notion called "Design Concepts" in the traceability link between the already connected requirements and engineering objects, where rule-checking may be embedded into the design concepts. A software prototype of the Washington, D.C. Metro System has been built to illustrate the feasibility of connectivity between requirements, UML class diagrams and an engineering model. The software makes use of listener-driven events, which are a scalable and efficient method for establishing traceability links and responding to external user events

FLACOS’08 Workshop proceedings

The 2nd Workshop on Formal Languages and Analysis of Contract-Oriented Software (FLACOS’08) is held in Malta. The aim of the workshop is to bring together researchers and practitioners working on language-based solutions to contract-oriented software development. The workshop is partially funded by the Nordunet3 project “COSoDIS” (Contract-Oriented Software Development for Internet Services) and it attracted 25 participants. The program consists of 4 regular papers and 10 invited participant presentations

Ontological Smart Contracts in OASIS: Ontology for Agents, Systems, and Integration of Services

In this contribution we extend an ontology for modelling agents and their interactions, called Ontology for Agents, Systems, and Integration of Services (in short, OASIS), with conditionals and ontological smart contracts (in short, OSCs). OSCs are ontological representations of smart contracts that allow to establish responsibilities and authorizations among agents and set agreements, whereas conditionals allow one to restrict and limit agent interactions, define activation mechanisms that trigger agent actions, and define constraints and contract terms on OSCs. Conditionals and OSCs, as defined in OASIS, are applied to extend with ontological capabilities digital public ledgers such as the blockchain and smart contracts implemented on it. We will also sketch the architecture of a framework based on the OASIS definition of OSCs that exploits the Ethereum platform and the Interplanetary File System.Comment: This work has been accepted for publication at The 14th International Symposium on Intelligent Distributed Computing, 21--23 September 2020, Scilla, Reggio Calabria, Italy. Proceedings and conference have been postponed to September 2021. Paper accepted on 8 September 202

A Framework for Collaborative Content Mashup with Pervasive Services

Kombineerides erinevaid teenuseid saavad mobiiltelefonid rahuldada paljusid tööstus ja ärivajadusi.Samas tuleb teenuste kombineerimise raames sisu õigesti tuvastamiseks ja tõlgendamiseks avastada ja töödelda suurt hulka andmeid. Kuna ainult ühe seadme kasu-tamine mingi ülesande lahendamiseks ei ole väga efektiivne on ühiste eesmärkide saa-vutamiseks soovitatav tööd mitme seadme vahel jagada. Pakume välja ja arendame üldraamistikku, mis toetab teenustele orienteeritud sisu segunemist ning laialt levinud teenuste loomise integreerimist, mis toimuks Business Process Execution Language (BPEL)-tuginevale kollaboratsioonile. Esitasime kollaboratsioonis seadmetele ressursi-säästliku teisaldamise plaani ja implementeerimise selle proof of concept'ina (kontseptsiooni tõestus). Hinnangu tulemused näitavad, et raamistik toetab kollaboratiivset ülesannete teisaldamise kava, mis vähendab mobiilsete seadete ressursside kasutamist.By composing pervasive services, mobile phones can support various industrial and commercial needs. However, the pervasive services composition involves discovering and processing a large amount of data in order to identify and interpret the content. Due to the limitation of the single device capability, it is advisable to collaborate with other devices via a wireless network to accomplish common goals. In this thesis, we propose and develop a generic framework that supports service-oriented content mashup and integrating pervasive services composition in the Business Process Execution Language (BPEL)-based collaboration. A resource-aware offloading scheme to collaborative devices has been proposed and implemented as a proof of concept. The evaluation results have shown that the framework supports collaborative task-offloading scheme that reduces the resource usage of mobile devices