WS-Engineer: A Model-Based Approach to Engineering Web Service Compositions and Choreography

Foster, Howard G.; Uchitel, Sebastián; Magee, Jeff; Kramer, Jeff

doi:10.1007/978-3-540-72912-9_4

Cited by 87 publications

(90 citation statements)

References 18 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Then, the TGTS uses the connectivity and allowed input/output messages of each service specified in the societal diagrams, to produce another set of concurrent processes. These processes are similar to a rudimentary web-service choreography description language [11].…”

Section: Analysis Of Vismodle By Fspa: An Example Of Textual Semanticmentioning

confidence: 99%

Supporting user-oriented analysis for multi-view domain-specific visual languages

Guerra

Lara

Malizia

et al. 2009

Information and Software Technology

248

149

View full text Add to dashboard Cite

Esta es la versión de autor del artículo publicado en: This is an author produced version of a paper published in: AbstractThe integration of usable and flexible analysis support in modelling environments is a key success factor in Model-Driven Development. In this paradigm, models are the core asset from which code is automatically generated, and thus ensuring model correctness is a fundamental quality control activity. For this purpose, a common approach consists on transforming the system models into formal semantic domains for verification. However, if the analysis results are not shown in a proper way to the end-user (e.g. in terms of the original language) they may become useless.In this paper we present a novel DSVL called BaVeL that facilitates the flexible annotation of verification results obtained in semantic domains to different formats, including the context of the original language. BaVeL is used in combination with a consistency framework, providing support for all the verification life cycle: acquisition of additional input data, transformation of the system models into semantic domains, verification, and flexible annotation of analysis results.The approach has been empirically validated by its implementation in the AToM 3 meta-modelling tool, and tested with several DSVLs. In this paper we present a case study for the analysis of a notation in the area of Digital Libraries, where the analysis is performed by transformations into Petri nets and a process algebra.

show abstract

Section: Analysis Of Vismodle By Fspa: An Example Of Textual Semanticmentioning

confidence: 99%

Supporting user-oriented analysis for multi-view domain-specific visual languages

Guerra

Lara

Malizia

et al. 2009

Information and Software Technology

248

149

View full text Add to dashboard Cite

show abstract

“…-There exist transformations from other notations for service behaviour modelling to FSMs. In particular several transformations from BPEL to FSMs are implemented in existing tools such as WS-Engineer [9].…”

Section: Modelling Behavioural Dimension Of Service Interfacesmentioning

confidence: 99%

Diagnosing and Measuring Incompatibilities between Pairs of Services

Aït-Bachir

Fauvet

2009

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Abstract. This text presents a tool, from its design to its implementation, which detects all behavioural incompatibilities between two service interfaces. Unlike prior work, the proposed solution does not simply check whether two services are incompatible or not, it rather provides detailed diagnosis, including the incompatibilities and for each one the location in the service interfaces where these incompatibilities occur. A measure of similarity between interfaces which considers outputs from the detection algorithm is proposed too. A visual report of the comparison analysis is also provided which pinpoints a set of incompatibilities that cause a behavioural interface not to simulate another one.

show abstract

“…Note that the transitions are labeled with conditions on the returned API calls. The web services composition and choreography described by BPEL can be formalized based using finite state processes (FSP) [8,22,7]. In what follows we define the application as a transition system.…”

Section: Customized Application Service Provisioningmentioning

confidence: 99%

Beyond User-to-User Access Control for Online Social Networks

Shehab

Squicciarini

Ahn

2008

Information and Communications Security

View full text Add to dashboard Cite

Abstract. With the development of Web 2.0 technologies, online social networks are able to provide open platforms to enable the seamless sharing of profile data to enable public developers to interface and extend the social network services as applications (or APIs). At the same time, these open interfaces pose serious privacy concerns as third party applications are usually given full read access to the user profiles. Current related research has focused on mainly user-to-user interactions in social networks, and seems to ignore the third party applications. In this paper, we present an access control framework to manage the third party to user interactions. Our framework is based on enabling the user to specify the data attributes to be shared with the application and at the same time be able to specify the degree of specificity of the shared attributes. We model applications as finite state machines, and use the required user profile attributes as conditions governing the application execution. We formulate the minimal attribute generalization problem and we propose a solution that maps the problem to the shortest path problem to find the minimum set of attribute generalization required to access the application services.

show abstract

WS-Engineer: A Model-Based Approach to Engineering Web Service Compositions and Choreography

Cited by 87 publications

References 18 publications

Supporting user-oriented analysis for multi-view domain-specific visual languages

Supporting user-oriented analysis for multi-view domain-specific visual languages

Diagnosing and Measuring Incompatibilities between Pairs of Services

Beyond User-to-User Access Control for Online Social Networks

Contact Info

Product

Resources

About