2,785 research outputs found
E-BioFlow: Different Perspectives on Scientific Workflows
We introduce a new type of workflow design system called\ud
e-BioFlow and illustrate it by means of a simple sequence alignment workflow. E-BioFlow, intended to model advanced scientific workflows, enables the user to model a workflow from three different but strongly coupled perspectives: the control flow perspective, the data flow perspective, and the resource perspective. All three perspectives are of\ud
equal importance, but workflow designers from different domains prefer different perspectives as entry points for their design, and a single workflow designer may prefer different perspectives in different stages of workflow design. Each perspective provides its own type of information, visualisation and support for validation. Combining these three perspectives in a single application provides a new and flexible way of modelling workflows
Eighth Workshop and Tutorial on Practical Use of Coloured Petri Nets and the CPN Tools, Aarhus, Denmark, October 22-24, 2007
This booklet contains the proceedings of the Eighth Workshop on Practical Use of Coloured Petri Nets and the CPN Tools, October 22-24, 2007. The workshop is organised by the CPN group at the Department of Computer Science, University of Aarhus, Denmark. The papers are also available in electronic form via the web pages: http://www.daimi.au.dk/CPnets/workshop0
Petri net-based approach for web service automation resource coordination
In industrial automation, control systems and mechatronic devices are from
diverse nature, supplied by different manufacturers and made of different
technologies. The adoption of web services principles in an automated
production system satisfies some requirements, namely the interoperability of
such heterogeneous and distributed environments and the basis for flexibility
and reconfigurability. Manufacturing processes require to access resources at
different precedence levels and time instances, but in the other way resources
may also be shared by different processes. A major challenge is then how
individual services may interact, coordinating their activities. Petri nets may be
used to describe complex system behaviour and therefore also applied to
coordinate such systems. The paper introduces a Petri net based approach for the
design, analysis and coordination of systems developed using web services to
represent individual and autonomous resources. For this purpose, it is presented
a Petri nets computational tool to support the design, validation and coordination
of web service based automation systems.info:eu-repo/semantics/publishedVersio
Engineering of service-oriented automation systems: a survey
The evolution of manufacturing systems and the emergence of decentralised control require flexibility at various
levels of their lifecycle. New emerging methods, such as multi-agent and service-oriented systems are major research
topics in the sense of revitalizing the traditional production procedures. This paper takes an overview of the serviceoriented
approach in terms of platform and engineering tools, from the perspective of automation and production
systems. From the basic foundation to the more complex interactions, service-oriented architectures and its
implementation in form of web services provide diverse and quality proved features that are welcome to different
states of the production systemsâ life-cycle. Key elements are the concepts of modelling and collaboration, which
enhance the automatic binding and synchronisation of individual low-value services to more complex and meaningful
structures. Such interactions can be specified by Petri nets, a mathematically well founded tool with features that
enhance towards the modelling of systems. The right application of different methodologies together should motivate
the development of service-oriented manufacturing systems that embrace the vision of collaborative automation.The authors would like to thank the European
Commission and the partners of Network of Excellence
âInnovative Production Machines and Systemsâ
(http://www.iproms.org/) and the SOCRADES project
(http://www.socrades.eu) for their support.info:eu-repo/semantics/publishedVersio
Engineering of service-oriented automation systems: a survey
The evolution of manufacturing systems and the emergence of decentralised control require flexibility at various
levels of their lifecycle. New emerging methods, such as multi-agent and service-oriented systems are major research
topics in the sense of revitalizing the traditional production procedures. This paper takes an overview of the serviceoriented
approach in terms of platform and engineering tools, from the perspective of automation and production
systems. From the basic foundation to the more complex interactions, service-oriented architectures and its
implementation in form of web services provide diverse and quality proved features that are welcome to different
states of the production systemsâ life-cycle. Key elements are the concepts of modelling and collaboration, which
enhance the automatic binding and synchronisation of individual low-value services to more complex and meaningful
structures. Such interactions can be specified by Petri nets, a mathematically well founded tool with features that
enhance towards the modelling of systems. The right application of different methodologies together should motivate
the development of service-oriented manufacturing systems that embrace the vision of collaborative automation.The authors would like to thank the European
Commission and the partners of Network of Excellence
âInnovative Production Machines and Systemsâ
(http://www.iproms.org/) and the SOCRADES project
(http://www.socrades.eu) for their support.info:eu-repo/semantics/publishedVersio
Recent advances in petri nets and concurrency
CEUR Workshop Proceeding
Model-driven design, simulation and implementation of service compositions in COSMO
The success of software development projects to a large extent depends on the quality of the models that are produced in the development process, which in turn depends on the conceptual and practical support that is available for modelling, design and analysis. This paper focuses on model-driven support for service-oriented software development. In particular, it addresses how services and compositions of services can be designed, simulated and implemented. The support presented is part of a larger framework, called COSMO (COnceptual Service MOdelling). Whereas in previous work we reported on the conceptual support provided by COSMO, in this paper we proceed with a discussion of the practical support that has been developed. We show how reference models (model types) and guidelines (design steps) can be iteratively applied to design service compositions at a platform independent level and discuss what tool support is available for the design and analysis during this phase. Next, we present some techniques to transform a platform independent service composition model to an implementation in terms of BPEL and WSDL. We use the mediation scenario of the SWS challenge (concerning the establishment of a purchase order between two companies) to illustrate our application of the COSMO framework
Modeling and Simulation of Task Allocation with Colored Petri Nets
The task allocation problem is a key element in the solution of several applications from different engineering fields. With the explosion of the amount of information produced by the today Internet-connected solutions, scheduling techniques for the allocation of tasks relying on grids, clusters of computers, or in the cloud computing, is at the core of efficient solutions. The task allocation is an important problem within some branch of the computer sciences and operations research, where it is usually modeled as an optimization of a combinatorial problem with the inconvenience of a state explosion problem. This chapter proposes the modeling of the task allocation problem by the use of Colored Petri nets. The proposed methodology allows the construction of compact models for task scheduling problems. Moreover, a simulation process is possible within the constructed model, which allows the study of some performance aspects of the task allocation problem before any implementation stage
A Constrained Object Model for Configuration Based Workflow Composition
Automatic or assisted workflow composition is a field of intense research for
applications to the world wide web or to business process modeling. Workflow
composition is traditionally addressed in various ways, generally via theorem
proving techniques. Recent research observed that building a composite workflow
bears strong relationships with finite model search, and that some workflow
languages can be defined as constrained object metamodels . This lead to
consider the viability of applying configuration techniques to this problem,
which was proven feasible. Constrained based configuration expects a
constrained object model as input. The purpose of this document is to formally
specify the constrained object model involved in ongoing experiments and
research using the Z specification language.Comment: This is an extended version of the article published at BPM'05, Third
International Conference on Business Process Management, Nancy Franc
- âŠ