Untitled

Muth, P.; Wodtke, Dirk; Weißenfels, Jeanine; Dittrich, Angelika Kotz; Weikum, Gerhard

doi:10.1023/a:1008608810770

Cited by 155 publications

(12 citation statements)

References 22 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Finally, Muth et al [50] use the formal semantics of state/activity charts to develop an algorithm for transforming centralized state/activity charts into equivalent partitioned ones, suitable for distributed execution by a workflow engine. Muth et al subsequently refine their basic approach to also reducing communication overhead and exploiting parallelism between parts in partitions.…”

Section: Distributed Orchestration/workflowmentioning

confidence: 99%

Partially distributed coordination with Reo and constraint automata

Jongmans

Santini

Arbab

2015

SOCA

View full text Add to dashboard Cite

Coordination languages, such as Reo, have emerged for the specification and implementation of interaction protocols among concurrent entities, manifested as connectors. In this paper, we describe a theoretical justification and a practical proof-of-concept tool for automatically generating partially distributed, partially centralized implementations of Reo connectors. Such implementations have three performance advantages: faster compilation at build time (compared to a purely centralized approach), reduced latency at run time (compared to a purely distributed approach), and improved parallelism at run time (compared to a purely centralized approach). Our theory relies on the definition of a new product operator on constraint automata (Reo's formal semantics), which we use to formally justify distributions of disjoint parts of a coordination scheme over different machines according to several possible motivations (e.g., performance, QoS constraints, privacy, resource availability, and network topology). To exemplify our work, in a case study, we show and explain how a generated connector implementation can be executed.

show abstract

Section: Distributed Orchestration/workflowmentioning

confidence: 99%

Partially distributed coordination with Reo and constraint automata

Jongmans

Santini

Arbab

2015

SOCA

View full text Add to dashboard Cite

show abstract

“…State charts [5], Petri nets [6], and activity diagrams [7] have been utilized by many studies. Issues of intuitiveness, ease, and rigorousness of semantics are discussed repeatedly in these works.…”

Section: Related Workmentioning

confidence: 99%

A New Methodology for Process Modeling of Workflows

Al-Fedaghi¹,

Alloughani²,

Sanousi³

2012

JSEA

View full text Add to dashboard Cite

Workflow-based systems are typically said to lead to better use of staff and better management and productivity. The first phase in building a workflow-based system is capturing the real-world process in a conceptual representation suitable for the following phases of formalization and implementation. The specification may be in text or diagram form or written in a formal language. This paper proposes a flow-based diagrammatic methodology as a tool for workflow specification. The expressiveness of the method is appraised though its ability to capture a workflow-based application. Here we show that the proposed conceptual diagrams are able to express situations arising in practice as an alternative to tools currently used in workflow systems. This is demonstrated by using the proposed methodology to partial build demo systems for two government agencies.

show abstract

“…The static temporal constraint of a(i) is represented as d a (i) = TAU 1 (m a (i), M a (i)); (2) a( j) is the direct preceding activity of a(i) and its actual execution duration is E a ( j). The temporal constraints between activity a(i) and a( j) is d a ( j, i) = TAU 2 (s a ( j, i), e a ( j, i)); (3) a(k) is the direct subsequent activity of a(i) and its static temporal constraints is d a (k) = TAU 3 (m a (k), M a (k)). The temporal constraints between activity a(k) and a(i) is d a (i, k) = TAU 4 (s a (i, k), e a (i, k)).…”

Section: Dynamic Temporal Constraints Analysismentioning

confidence: 99%

“…Distributed workflow management system (DWfS) is one of the strong and useful tools to model and enact business and scientific collaboration processes as well as distributed and heterogeneous system integration. Thus, it is studied widely in academe and industrial groups [1][2][3][4][5]. Grid computing is a new kind of concept and methodology for building distributed computing platforms across different virtual organizations [6], among which Grid workflow technology plays one of the fundamental roles.…”

Section: Introductionmentioning

confidence: 99%

An integrated time management model for distributed workflow management systems in Grid environments

Liu

Zhou²,

Cao

2009

Concurrency and Computation

View full text Add to dashboard Cite

SUMMARYMulti-granularity of time and time zone difference are two aspects of a time management model (TMM) for distributed workflow management system (DWfS). There are some recent literatures concerning each of them. However, current researches on DWfS have not put them together but have built up an integrated model. As business and scientific collaboration processes across continents become more and more frequent, it is increasingly important to build an integrated model to take them as a whole to make the time transformation and temporal verification in collaboration processes easy and efficient. Aiming at solving this problem, an integrated TMM, DWfS-TMM, is proposed in this paper. The DWfS-TMM model consists of a set of general time ontology and a set of general rules for unified transformation between different time zones and different time granularity units. The representation of build-time and run-time temporal constraints in workflow processes and the temporal consistency checking method in this model is investigated. Finally, a real case study is investigated and it is shown from this case study that the presented model is useful and practicable.

show abstract

Untitled

Cited by 155 publications

References 22 publications

Partially distributed coordination with Reo and constraint automata

Partially distributed coordination with Reo and constraint automata

A New Methodology for Process Modeling of Workflows

An integrated time management model for distributed workflow management systems in Grid environments

Contact Info

Product

Resources

About