A modelling approach to formally represent service orchestration

Popescu, Corina; Lobov, Andrei; Lastra, José L. Martínez; Soto, María de los Ángeles Cavia

doi:10.1504/ijcaet.2008.021253

Cited by 3 publications

(3 citation statements)

References 12 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…However, optimal support of re-configurability and adaptability through WS technology is ensured only if dynamic decision taking mechanisms rely on formal flow representations that are obtained at runtime. This paper extends previous results on automatic representation of formal models of standalone orchestrators [3]. The contents are organized as follows: Section 2 presents the background of this work.…”

Section: Introductionmentioning

confidence: 55%

“…The flow sequence specified by a pallet's orchestrator is automatically translatable to TNCES [3]. Each time a pallet is introduced in the line, its standalone orchestrator formal model must be generated and combined with the existing overall flow model into a final orchestrator mix model.…”

Section: Runtime Modeling Of Flowmentioning

confidence: 99%

“…The review is followed by an introduction to the syntax and semantics of the Petri Net-derived formalism that is used for modeling here [4,5]. The section concludes with a summary of the earlier reported research [3] and a comparison of the presented approach with related efforts. Section 3 gives details on the runtime modeling of flow.…”

Section: Introductionmentioning

confidence: 99%

See 2 more Smart Citations

Runtime Modeling of Flow for Dynamic Deadlock-free Scheduling in Service-oriented Factory Automation Systems

Popescu

Soto²,

Lastra

2009

IETE Tech Rev

Self Cite

View full text Add to dashboard Cite

Changes in equipment and production demand cannot be predicted at the design stage. Therefore, decision taking mechanisms must rely on real time information collected from the shop floor. To perform scheduling and routing optimization, not only modifications in values of parameters of interest, but also in the flow itself must be accounted for. This paper addresses this problem and proposes a method to formally model, at runtime, the flow within a service-oriented manufacturing line. The resulting representation assists deadlock-free dynamic scheduling of the system.

show abstract

Section: Introductionmentioning

confidence: 55%

Section: Runtime Modeling Of Flowmentioning

confidence: 99%