Specifying and Analysing SOC Applications with COWS

Lapadula, Alessandro; Pugliese, Rosario; Tiezzi, Francesco

doi:10.1007/978-3-540-68679-8_43

Cited by 7 publications

(3 citation statements)

References 21 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Since its definition, a number of methods and tools have been devised to analyse COWS specifications, such as a type system to check confidentiality properties [18], a logic and a model checker to express and check functional properties of services [12], a stochastic extension to enable quantitative reasoning on service behaviours [23], a static analysis to establish properties of the flow of information between services [2], and bisimulation-based observational semantics to check interchangeability of services and conformance against service specifications [24]. An overview of some of the above tools, with an application to the analysis of a case study, can be found in [19].…”

Section: Related Work and Concluding Remarksmentioning

confidence: 99%

A Symbolic Semantics for a Calculus for Service-Oriented Computing

Pugliese

Tiezzi

Yoshida

2009

Electronic Notes in Theoretical Computer Science

Self Cite

View full text Add to dashboard Cite

We introduce a symbolic characterisation of the operational semantics of COWS, a formal language for specifying and combining service-oriented applications, while modelling their dynamic behaviour. This alternative semantics avoids infinite representations of COWS terms due to the value-passing nature of communication in COWS and is more amenable for automatic manipulation by analytical tools, such as e.g. equivalence and model checkers. We illustrate our approach through a ‘translation service’ scenario

show abstract

Section: Related Work and Concluding Remarksmentioning

confidence: 99%

A Symbolic Semantics for a Calculus for Service-Oriented Computing

Pugliese

Tiezzi

Yoshida

2009

Electronic Notes in Theoretical Computer Science

Self Cite

View full text Add to dashboard Cite

show abstract

“…Due to their rich repertoire of elegant meta-theories, proof techniques and analytical tools, process calculi currently play a central role in laying rigorous methodological foundations for specification and validation of SOC applications. Our preference for COWS is motivated by its mechanisms and primitives that have proven to be particularly expressive for modeling the behavior of serviceoriented applications (see, e.g., [24], [25]). Moreover, the calculus is equipped with tools for formulating properties of COWS specifications and demonstrating their validity, like the temporal logic SocL and its model checker CMC [17] that we use in our investigation.…”

Section: Specification and Analysismentioning

confidence: 99%

A standard-driven communication protocol for disconnected clinics in rural areas

Masi

Pugliese

Tiezzi

2011

2011 IEEE 13th International Conference on E-Health Networking, Applications and Services

Self Cite

View full text Add to dashboard Cite

Abstract-The importance of the Electronic Health Record (EHR), which stores all healthcare-related data belonging to a patient, has been recognized in recent years by governments, institutions, and industry. Initiatives like Integrating the Healthcare Enterprise (IHE) have been developed for the definition of standard methodologies for secure and interoperable EHR exchanges among clinics and hospitals. Using the requisites specified by these initiatives, many large-scale projects have been set up to enable healthcare professionals to handle patients' EHRs. Applications deployed in these settings are often considered safety-critical, thus ensuring such security properties as confidentiality, authentication, and authorization is crucial for their success. In this paper, we propose a communication protocol, based on the IHE specifications, for authenticating healthcare professionals and assuring patients' safety in settings where no network connection is available, such as in rural areas of some developing countries. We define a specific threat model, driven by the experience of use cases covered by international projects, and prove that an intruder cannot cause damages to the safety of patients and their data by performing any of the attacks falling within this threat model. To demonstrate the feasibility and effectiveness of our protocol, we have fully implemented it.

show abstract

“…Analytical results for Web Services transactions are important; in particular, it is vital to verify that the various reductions to the ACID properties work correctly. Theoretical models have been developed to allow such verification (Fantechi et al, 2009;Mayer et al, 2008;Lapadula et al, 2008), but these models do not easily allow direct comparison between different transaction techniques. The models can indicate whether techniques are valid, but cannot always indicate the application for which (and environment in which) a technique is most beneficial.…”

Section: Simulating Web Services Transactionsmentioning

confidence: 99%

Simulating Web Services Transactions

Paul¹,

Henskens²,

Hannaford³

2011

Proceedings of the 7th International Conference on Web Information Systems and Technologies

View full text Add to dashboard Cite

Transactions in a service-oriented environment are very different to traditional transactions. The typical ACID properties are not always appropriate when processing transactions where multiple service providers wish to maintain autonomy and process all requests in a timely manner. Thus, reductions to the ACID properties, such as semantic atomicity and tentative holds, are often used to provide transactions for Web Services. This paper describes a simulator for modelling various Web Services transaction strategies. The simulator is deterministic, allowing the specification of network conditions, provider resources, and client workflows to be kept constant while altering the level of transaction support each provider offers. By modelling transaction flow rather than service flow, this allows true comparison of transaction techniques in various scenarios. The simulator is demonstrated using a validation experiment, and future use outlines how the simulator is being used to test a system where providers offer a dynamic level of transaction support to clients.

show abstract

Specifying and Analysing SOC Applications with COWS

Cited by 7 publications

References 21 publications

A Symbolic Semantics for a Calculus for Service-Oriented Computing

A Symbolic Semantics for a Calculus for Service-Oriented Computing

A standard-driven communication protocol for disconnected clinics in rural areas

Simulating Web Services Transactions

Contact Info

Product

Resources

About