Rigorous Analysis of Service Composability by Embedding WS-BPEL into the BIP Component Framework

Stachtiari, Emmanouela; Mentis, Anakreon; Katsaros, Panagiotis

doi:10.1109/icws.2012.63

Cited by 11 publications

(9 citation statements)

References 11 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…Similar translations have been already defined in the literature [11]. As the above translation is structural the resulting model remains comprehensive for the WS designer.…”

Section: The Bpel Compositionmentioning

confidence: 80%

“…In a first step, the BPEL composition is structurally transformed into a component-based model representation in BIP [12]. The transformation extends an already existing translation of BPEL to BIP developed in [11] to study functional aspects. In a second step, the synthesis tool takes as input the system model (.bip) and the configuration file (.xml), builds the dependency graphs of components and runs the synthesis algorithm to produce the complete configuration.…”

Section: Methodsmentioning

confidence: 99%

See 1 more Smart Citation

A Robust Framework for Securing Composed Web Services

Said

Abdellatif

Bensalem

et al. 2016

Formal Aspects of Component Software

View full text Add to dashboard Cite

This paper proposes a framework that automatically checks and configures data security in Web Services starting from high level business requirements. We consider BPEL-based composed Web Services. BPEL processes and initial security parameters are represented as component-based models labeled with security annotations. These models are formal and enable automated analysis and synthesis of security configurations, under the guidance of the service designer. The security property considered is the non-interference. The overall approach is practical since security is defined separately from functional processes and automatically verified. We illustrate its utility to solve intricate security problems using a smart grid application.

show abstract

“…Similar translations have been already defined in the literature [11]. As the above translation is structural the resulting model remains comprehensive for the WS designer.…”

Section: The Bpel Compositionmentioning

confidence: 80%

Section: Methodsmentioning

confidence: 99%

A Robust Framework for Securing Composed Web Services

Said

Abdellatif

Bensalem

et al. 2016

Formal Aspects of Component Software

View full text Add to dashboard Cite

show abstract

“…In our future plans we aim to combine the new design flow with the result of our work in [7] towards the development of correct-by-construction service compositions. We also aim to utilize the BIP extensions for the modeling and analysis of Web Service architectures with dynamic reconfigurations [16].…”

Section: Discussionmentioning

confidence: 99%

“…In [7], we presented a language embedding for translating WS-BPEL service compositions into BIP application models. Our main contributions in this article are summarized as follows:…”

Section: Introductionmentioning

confidence: 99%

Correct-by-Construction Web Service Architecture

Stachtiari

Vesyropoulos

Kourouleas

et al. 2014

2014 IEEE 8th International Symposium on Service Oriented System Engineering

Self Cite

View full text Add to dashboard Cite

Abstract-Service-Oriented Computing aims to facilitate development of large-scale applications out of loosely coupled services. The service architecture sets the framework for achieving coherence and interoperability despite service autonomy and the heterogeneity in data representation and protocols. Service-Oriented Architectures are based on standardized service contracts, in order to infuse characteristic properties (stateless interactions, atomicity etc). However, contracts cannot ensure correctness of services if essential operational details are overlooked, as is usually the case. We introduce a modeling framework for the specification of Web Service architectures, in terms of formal operational semantics. Our approach aims to enable rigorous design of Web Services, based on the Behaviour Interaction Priorities (BIP) component framework and the principles of correctness-by-construction. We provide executable BIP models for SOAP-based and RESTful Web Services and for a service architecture with session replication. The architectures are treated as reusable design artifacts that may be composed, such that their characteristic properties are preserved.

show abstract

“…In [84], we presented a first version of our translator for a limited set of BPEL constructs with more emphasis on the translation algorithm. The verification of a functional property for a showcase application scenario was also demonstrated along with evidence for its violation in the form of a counterexample.…”

Section: Introductionmentioning

confidence: 99%

Correct by construction model based design for systems and software

Stachtiari¹,

Στάχτιαρη²

View full text Add to dashboard Cite

Η παρούσα διατριβή εισάγει τεχνικές για την αυστηρή και από κατασκευής ορθή σχεδίαση συστημάτων. Ειδικότερα, εστιάσαμε στο πώς μπορούμε να παράγουμε και να επικυρώνουμε ένα λειτουργικό μοντέλο της εφαρμογής που προκύπτει από ένα σύνολο απαιτήσεων ή από τον κώδικα της εφαρμογής. Αρχικά, ασχοληθήκαμε με την πρώιμη επικύρωση των απαιτήσεων και της σχεδίασης του συστήματος, ώστε να εξαλειφθεί η ανάγκη επαλήθευσης εκ των υστέρων και να περιοριστούν οι έλεγχοι επικύρωσης κατά τα τελευταία στάδια ανάπτυξης. Δεύτερον, εστιάσαμε στην αυτόματη δημιουργία λειτουργικών μοντέλων εφαρμογών από προγράμματα με εμφωλευμένη σύνταξη, διατηρώντας τη σημασιολογία των προγραμμάτων. Τέλος, προτείναμε μία ροή σχεδίασης που αποσκοπεί στη διατήρηση της συνέπειας μεταξύ του λειτουργικού μοντέλου και του κώδικα εφαρμογής μέσω της χρήσης μιας νέας γλώσσας ειδικού σκοπού, κατάλληλης για τη σχεδίαση συστημάτων περιορισμένων πόρων του διαδικτύου των αντικειμένων.

show abstract

Rigorous Analysis of Service Composability by Embedding WS-BPEL into the BIP Component Framework

Cited by 11 publications

References 11 publications

A Robust Framework for Securing Composed Web Services

A Robust Framework for Securing Composed Web Services

Correct-by-Construction Web Service Architecture

Correct by construction model based design for systems and software

Contact Info

Product

Resources

About