Results 1  10
of
123
Simulating Taverna workflows using stochastic process algebras
, 2010
"... Scientific workflows provide powerful middleware for scientific computing in that they represent a central abstraction in the research task, by simultaneously acting as an editable action plan, collaboration tool, and executable entity. Taverna workflows in particular have been widely accepted in th ..."
Abstract
 Add to MetaCart
about functional and trace equivalences, this aspect does not help with modelling the throughput and utilisation of individual services in the workflow. In this paper we present a stochastic process model for Taverna, and use it to perform execution simulations in Microsoft’s SPIM tool. The model also
Performance analysis of Stochastic Process Algebra models using Stochastic Simulation
 in: Proceedings of 20th IEEE International Parallel and Distributed Processing Symposium, IEEE Computer Society
, 2006
"... We present a translation of a generic stochastic process algebra model into a form suitable for stochastic simulation. By systematically generating rate equations from a process description, we can use tools developed for chemical and biochemical reaction analysis to provide timeseries output for mo ..."
Abstract

Cited by 5 (4 self)
 Add to MetaCart
We present a translation of a generic stochastic process algebra model into a form suitable for stochastic simulation. By systematically generating rate equations from a process description, we can use tools developed for chemical and biochemical reaction analysis to provide timeseries output
Performance analysis of Stochastic Process Algebra models using StochasticSimulation
"... Abstract We present a translation of a generic stochastic processalgebra model into a form suitable for stochastic simulation. By systematically generating rate equations from aprocess description, we can use tools developed for chemical and biochemical reaction analysis to provide timeseries outpu ..."
Abstract
 Add to MetaCart
Abstract We present a translation of a generic stochastic processalgebra model into a form suitable for stochastic simulation. By systematically generating rate equations from aprocess description, we can use tools developed for chemical and biochemical reaction analysis to provide time
Stochastic Process Algebra Structure for Insensitivity
 In Hillston and Silva [57
, 1999
"... . Recent research has investigated ways in which general probability distributions may be incorporated into stochastic process algebra. These proposals allow the arbitrary use of such distributions, improving expressibility, but in general this makes performance evaluation difficult. Typically, simu ..."
Abstract

Cited by 5 (0 self)
 Add to MetaCart
. Recent research has investigated ways in which general probability distributions may be incorporated into stochastic process algebra. These proposals allow the arbitrary use of such distributions, improving expressibility, but in general this makes performance evaluation difficult. Typically
Using the PiCalculus for Formalizing Workflow Patterns
 BPM 2005, VOLUME 3649 OF LNCS
, 2005
"... This paper discusses the application of a general process theory—the picalculus—for describing the behavioral perspective of workflow. The picalculus is a process algebra that describes mobile systems. Mobile systems are made up of components that communicate and change their structure as a resu ..."
Abstract

Cited by 46 (10 self)
 Add to MetaCart
This paper discusses the application of a general process theory—the picalculus—for describing the behavioral perspective of workflow. The picalculus is a process algebra that describes mobile systems. Mobile systems are made up of components that communicate and change their structure as a
Stochastic simulation of event structures
 In Proceedings PAPM'96, pp 21{40
, 1996
"... Currently the semantics of stochastic process algebras are dened using (an extension) of labelled transition systems. This usually results in a semantics based on the interleaving of causally independent actions. The advantage is that the structure of transition systems closely resembles that of Ma ..."
Abstract

Cited by 14 (10 self)
 Add to MetaCart
Currently the semantics of stochastic process algebras are dened using (an extension) of labelled transition systems. This usually results in a semantics based on the interleaving of causally independent actions. The advantage is that the structure of transition systems closely resembles
WORKFLOWS IN CONSTRUCTIONS MODELLED WITH STOCHASTIC ARTIFICIAL SOCIAL SYSTEMS
"... Abstract: This paper focuses on evaluation of the performance characteristics of workflows in constructions modeled with stochastic Petri nets (SPN). This goal is achieved by focusing on a new model for Artificial Social Systems (ASS) behaviors. ASS exists in practically every multiagent system, an ..."
Abstract
 Add to MetaCart
and control information data of the ASS’s components. In the analysis of SPN we use simulations in respect to timing parameters in a generalized semiMarkov process (GSMP). By using existing results on perturbation (e.g., delays in supply with raw materials, derangements of equipments, etc.) analysis
Stochastic expansions and Hopf algebras
, 2009
"... We study solutions to nonlinear stochastic differential systems driven by a multidimensional Wiener process. A useful algorithm for strongly simulating such stochastic systems is the Castell–Gaines method, which is based on the exponential Lie series. When the diffusion vector fields commute, it has ..."
Abstract

Cited by 4 (2 self)
 Add to MetaCart
We study solutions to nonlinear stochastic differential systems driven by a multidimensional Wiener process. A useful algorithm for strongly simulating such stochastic systems is the Castell–Gaines method, which is based on the exponential Lie series. When the diffusion vector fields commute
Stochastic Process Algebras and their Application to Performance Modelling
 Proc. of TOOLS’98 tutorials
, 1998
"... In this tutorial we present two major applications of process algebras to performance modelling. The first is the use of classical or timed process algebra to verify simulation models. The second is the direct use of stochastic process algebras to construct and solve performance models. The tutorial ..."
Abstract

Cited by 2 (0 self)
 Add to MetaCart
In this tutorial we present two major applications of process algebras to performance modelling. The first is the use of classical or timed process algebra to verify simulation models. The second is the direct use of stochastic process algebras to construct and solve performance models
Process algebras in systems biology
"... Abstract. In this chapter we introduce process algebras, a class of formal modelling techniques developed in theoretical computer science, and discuss their use within systems biology. These formalisms have a number of attractive features which make them ideal candidates to be intermediate, formal, ..."
Abstract

Cited by 10 (2 self)
 Add to MetaCart
Abstract. In this chapter we introduce process algebras, a class of formal modelling techniques developed in theoretical computer science, and discuss their use within systems biology. These formalisms have a number of attractive features which make them ideal candidates to be intermediate, formal
Results 1  10
of
123