Describing and reasoning on Web Services using Process Algebra

Salaün, Gwen; Bordeaux, Lucas; Schaerf, Marco

doi:10.1504/ijbpim.2006.010025

Cited by 106 publications

(93 citation statements)

References 0 publications

Supporting

Mentioning

Contrasting

Unclassified

Order By: Relevance

“…The use of formal methods like process algebras can aid the specification of WSs and their orchestration, similar results have been obtained in [19] and thoroughly discussed. Such an algebra is under development and will formalize pipes connections and flow control.…”

Section: Future Work and Conclusionsupporting

confidence: 53%

Connecting Smart Things through Web Services Orchestrations

Pintus

Carboni

Piras

et al. 2010

Current Trends in Web Engineering

View full text Add to dashboard Cite

Abstract. The Web of Things is an emerging scenario in which objects are connected to Internet and can answer to HTTP queries. To date, new applications in this field are mainly produced by designers and engineers while we claim that with simple and effective composition rules and easy-to-use building blocks, even users could invent new applications unforeseen by technology experts. In this paper, we describe a solution for modeling, implementing and running simple connections of smart things based on the point-click-and-compose paradigm. We envision a Service-oriented Architecture (SOA) where things are Web Services using WSDL standard and logical connections between things are modeled as Web Services orchestrations using the WS-BPEL language.

show abstract

Section: Future Work and Conclusionsupporting

confidence: 53%

Connecting Smart Things through Web Services Orchestrations

Pintus

Carboni

Piras

et al. 2010

Current Trends in Web Engineering

View full text Add to dashboard Cite

show abstract

“…Functional features can be formalized by using a selection of semantic frameworks. For formalizing behavioural features, such as service conversations, formal methods based on Petri-nets (Hamadi & Benatallah, 2003), process algebras (Salan, Bordeaux, & Schaerf, 2004), or finite-state machines (Berardi, Calvanese, Giacomo, Lenzerini, & Mecella, 2003) can be used. Structural features, such as business document typing, can be formalized with appropriate typing schemes addressing XML (Simeon & Wadler, 2003, Hosoya, Vouillon, & Pierce, 2005, for example.…”

Section: Characteristics Of Service Ecosystem Featuresmentioning

confidence: 99%

Framework for Managing Features of Open Service Ecosystems

Ruokolainen

Kutvonen

2012

Handbook of Research on Service-Oriented Systems and Non-Functional Properties

View full text Add to dashboard Cite

The recent increased use of Internet, social media, and networked business mark a development trend where software-based services flow to the open market for enabling service-oriented networked business. Our vision is that in future, organizations and individuals collaborate within open service ecosystems. An open service ecosystem is characterized especially by the autonomy of its entities, its evolution with respect to available services and collaboration types, and dynamic establishment of collaborations. For facilitating collaboration establishment in open service ecosystems features of services and cooperation facilities, and feature inter-dependencies need to be governed rigorously. Towards this purpose we have established a framework for unambiguous description of service ecosystem features. The framework comprises a conceptual model which provides especially a categorization of features, and a formalization of the conceptual model as a meta-model for service ecosystems. We show that the corresponding feature categories have their specific roles and semantics as part of different ecosystem elements and in different phases of service ecosystem processes.

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

Describing and reasoning on Web Services using Process Algebra

Cited by 106 publications

References 0 publications

Connecting Smart Things through Web Services Orchestrations

Connecting Smart Things through Web Services Orchestrations

Framework for Managing Features of Open Service Ecosystems

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

Contact Info

Product

Resources

About