StPowla: SOA, Policies and Workflows

Gorton, Stephen; Montangero, Carlo; Reiff-Marganiec, Stephan; Semini, Laura

doi:10.1007/978-3-540-93851-4_35

Cited by 28 publications

(21 citation statements)

References 17 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Often policy languages describe security or low level system management aspects [10]; at higher levels of abstraction the APPEL [1] policy language has been adapted for workflows, where it allows to insert and delete tasks [9]. For VO's no such language currently exists but the presented reconfiguration language is a variant of APPEL.…”

Section: Related Workmentioning

confidence: 99%

Modelling Virtual Organisations: Structure and Reconfigurations

Reiff-Marganiec

Rajper

2011

Adaptation and Value Creating Collaborative Networks

View full text Add to dashboard Cite

Abstract. Organisations have to adapt rapidly to survive in today's diverse and rapidly changing environments. The idea of virtual organisations emerged as an answer. There is a strong need to understand virtual organisations (VOs) in a formal way: changes can have side effects and hence one might wish to understand precisely what consequences a change might have. The Virtual Organisation Modelling Language (VOML) consists of sub-languages to model different aspects of VOs such as their structure or operational models: VO-S deals with structural aspects while VO-R addresses reconfigurations. The concepts are exemplified through a travel booking VO that needs to cope with extra demands imposed by a large event such as the Olympic games.

show abstract

Section: Related Workmentioning

confidence: 99%

Modelling Virtual Organisations: Structure and Reconfigurations

Reiff-Marganiec

Rajper

2011

Adaptation and Value Creating Collaborative Networks

View full text Add to dashboard Cite

show abstract

“…A more formal description of the semantics of each construct is presented together with with a description of the relevant SRML transition in section 4. We have mentioned in an earlier paper [GMRMS07] that the choice of workflow notation in STPOWLA is essentially insignificant. Policies are either Event-Condition-Action (ECA) rules (in which case they require a trigger), or goals (essentially ECAs without triggers).…”

Section: Overviewmentioning

confidence: 99%

“…Refinement policies in STPOWLA have been the focus of previous work [GMRMS07]. The overall idea is that policies can specify additional criteria on a service.…”

Section: Refining Tasks With Policiesmentioning

confidence: 99%

“…In the light of this, we discuss the relationship between two modelling languages for service oriented systems developed in the context of SENSORIA, an IST-FET Integrated Project on Software Engineering for Service-Oriented Overlay Computers: the Sensoria Reference Modelling Language (SRML) [FLB06,ABFL07] and STPOWLA: the Service-Targeted, PolicyOriented WorkfLow Approach [GMRMS07]. The former addresses the Computer Science needs of providing models at a high level of abstraction but with the possibility of presenting quite refined descriptions.…”

Section: Introductionmentioning

confidence: 99%

See 1 more Smart Citation

From StPowla processes to SRML models

Bocchi

Gorton²,

Reiff-Marganiec

2010

Form. Asp. Comput.

View full text Add to dashboard Cite

Abstract. Service Oriented Computing is a paradigm for developing software systems as the composition of a number of services. Services are loosely coupled entities, that can be dynamically published, discovered and invoked over a network. The engineering of such systems presents novel challenges, mostly due to the dynamicity and distributed nature of service-based applications. In this paper, we focus on the modelling of service orchestrations. We discuss the relationship between two languages developed under the SENSORIA project: SRML as a high level modelling language for Service Oriented Architectures, and STPOWLA as a process-oriented orchestration approach that separates core business processes from system variability at the end-user's level, where the focus is towards achieving business goals. A fundamental challenge of software engineering is to correctly align business goals with IT strategy, and as such we present an encoding of STPOWLA to SRML. This provides a formal framework for STPOWLA and also a separated view of policies representing system variability that is not present in SRML.

show abstract

“…An essential feature of a process modeling notation is a clear definition of its execution semantics, supported by efficient tools for the validation, verification and performance analysis of resulting process models. In the past decades, various modeling notations and tools for workflow and services have been proposed [29,25]. They vary at different levels, ranging from the particular graphical syntax for process model definitions to the expressiveness and extensibility of functional and organizational aspects of the model.…”

Section: Introductionmentioning

confidence: 99%

Reo + mCRL2 : A framework for model-checking dataflow in service compositions

2012

View full text Add to dashboard Cite

Abstract. The paradigm of service-oriented computing revolutionized the field of software engineering. According to this paradigm, new systems are composed of existing stand-alone services to support complex cross-organizational business processes. Correct communication of these services is not possible without a proper coordination mechanism. The Reo coordination language is a channel-based modeling language that introduces various types of channels and their composition rules. By composing Reo channels, one can specify Reo connectors that realize arbitrary complex behavioral protocols. Several formalisms have been introduced to give semantics to Reo. In their most basic form, they reflect service synchronization and dataflow constraints imposed by connectors. To ensure that the composed system behaves as intended, we need a wide range of automated verification tools to assist service composition designers. In this paper, we present our framework for the verification of Reo using the mCRL2 toolset. We unify our previous work on mapping various semantic models for Reo, namely, constraint automata, timed constraint automata, coloring semantics and the newly developed action constraint automata, to the process algebraic specification language of mCRL2, address the correctness of this mapping, discuss tool support, and present a detailed example that illustrates the use of Reo empowered with mCRL2 for the analysis of dataflow in service-based process models.

show abstract

StPowla: SOA, Policies and Workflows

Cited by 28 publications

References 17 publications

Modelling Virtual Organisations: Structure and Reconfigurations

Modelling Virtual Organisations: Structure and Reconfigurations

From StPowla processes to SRML models

Reo + mCRL2 : A framework for model-checking dataflow in service compositions

Contact Info

Product

Resources

About