A Service-Oriented UML Profile with Formal Support

Bruni, Roberto; Hölzl, M.; Koch, Nora; Lafuente, Alberto Lluch; Mayer, Philip; Montanari, Ugo; Schröeder, Andreas; Wirsing, Martin

doi:10.1007/978-3-642-10383-4_34

Cited by 6 publications

(2 citation statements)

References 17 publications

(18 reference statements)

Supporting

Mentioning

Contrasting

Order By: Relevance

“…This chapter collects results from [3][4][5][6]1]. In particular, we have provided an overview of main ADR features and the ADR representation of UML4SOA, SRML and Software Modes; the latter being original to this contribution.…”

Section: Resultsmentioning

confidence: 99%

A Formal Support to Business and Architectural Design for Service-Oriented Systems

Bruni

Foster

Lafuente

et al. 2011

Lecture Notes in Computer Science

Self Cite

View full text Add to dashboard Cite

Abstract. Architectural Design Rewriting (ADR) is an approach for the design of software architectures developed within Sensoria by reconciling graph transformation and process calculi techniques. The key feature that makes ADR a suitable and expressive framework is the algebraic handling of structured graphs, which improves the support for specification, analysis and verification of service-oriented architectures and applications. We show how ADR is used as a formal ground for high-level modelling languages and approaches developed within Sensoria.

show abstract

Section: Resultsmentioning

confidence: 99%

A Formal Support to Business and Architectural Design for Service-Oriented Systems

Bruni

Foster

Lafuente

et al. 2011

Lecture Notes in Computer Science

Self Cite

View full text Add to dashboard Cite

show abstract

“…The success of Sensoria is demonstrated by the realisation of an integrated set of theoretical and concrete tools. In particular, UML-like visual languages have been developed for the high-level modelling of Service-Oriented applications (see, e.g., [18,7]), several process calculi have been designed to formally represent the operational aspects of such applications (see, e.g., [4,30,29,5]), analysis techniques have been developed to perform both qualitative and quantitative analysis on these formal models of the applications (see, e.g., [19,37,13]), and also runtime support for application deployment has been realised by providing some of the proposed calculi with an execution environment (see, e.g., [34,31]).…”

Section: Introductionmentioning

confidence: 99%

The Evolution of Jolie

Lanese

Montesi

Zavattaro

2015

Software, Services, and Systems

View full text Add to dashboard Cite

Jolie is an orchestration language conceived during Sensoria, an FP7 European project led by Martin Wirsing in the time frame 2005-2010. Jolie was designed having in mind both the novel-at project timeconcepts related to Service-Oriented Computing and the traditional approach to the modelling of concurrency typical of process calculi. The foundational work done around Jolie during Sensoria has subsequently produced many concrete results. In this paper we focus on two distinct advancements, one aiming at the development of dynamically adaptable orchestrated systems and one focusing on global choreographic specifications. These works, more recently, contributed to the realisation of a framework for programming dynamically evolvable distributed Service-Oriented applications that are correct-by-construction.

show abstract