19,117 research outputs found
CaSPiS: A Calculus of Sessions, Pipelines and Services
Service-oriented computing is calling for novel computational models and languages with well
disciplined primitives for client-server interaction, structured orchestration and unexpected events handling. We present CaSPiS, a process calculus where the conceptual abstractions of sessioning and pipelining play a central role for modelling service-oriented systems. CaSPiS sessions are two-sided, uniquely named and can be nested. CaSPiS pipelines permit orchestrating the flow of data produced by different sessions. The calculus is also equipped with operators for handling (unexpected) termination of the partner’s side of a session. Several examples are presented to provide evidence of the flexibility of the chosen set of primitives. One key contribution is a fully abstract encoding of Misra et al.’s orchestration language Orc. Another main result shows that in CaSPiS it is possible to program a “graceful termination” of nested sessions, which guarantees that no session is forced to hang forever after the loss of its partner
A Calculus for Orchestration of Web Services
We introduce COWS (Calculus for Orchestration of Web Services), a new foundational language for SOC whose design has been influenced by WS-BPEL, the de facto standard language for orchestration of web services. COWS combines in an original way a number of ingredients borrowed from well-known process calculi, e.g. asynchronous communication, polyadic synchronization, pattern matching, protection, delimited receiving and killing activities, while resulting different from any of them. Several examples illustrates COWS peculiarities and show its expressiveness both for modelling imperative and orchestration constructs, e.g. web services, flow graphs, fault and compensation handlers, and for encoding other process and orchestration languages
A Calculus of Mobility and Communication for Ubiquitous Computing
We propose a Calculus of Mobility and Communication (CMC) for the modelling
of mobility, communication and context-awareness in the setting of ubiquitous
computing. CMC is an ambient calculus with the in and out capabilities of
Cardelli and Gordon's Mobile Ambients. The calculus has a new form of global
communication similar to that in Milner's CCS. In CMC an ambient is tagged with
a set of ports that agents executing inside the ambient are allowed to
communicate on. It also has a new context-awareness feature that allows
ambients to query their location. We present reduction semantics and labelled
transition system semantics of CMC and prove that the semantics coincide. A new
notion of behavioural equivalence is given by defining capability barbed
bisimulation and congruence which is proved to coincide with barbed
bisimulation congruence. The expressiveness of the calculus is illustrated by
two case studies.Comment: In Proceedings WWV 2015, arXiv:1508.0338
Predicting employees' commitment to and support for organisational change
This study aimed to identify factors that predict employees' commitment to and support for organisational change. The three components of Herscovitch and Meyer's (2002) commitment to organisational change model were hypothesised to mediate the relationship between organisational climate and behavioural support for organisational change. Data were collected from a Queensland government department (N = 342). Analysis of correlations revealed that organisational climate, commitment to change, and behavioural support for change variables were all significantly related. Structural equation modelling demonstrated that affective, normative, and continuance commitment to change were all predictors of behavioural support for organisational change. Positive work climate also contributed directly to the prediction of behavioural support for change over and above the indirect influence through commitment to organisational change, indicating a partial mediation effect. These findings support Herscovitch and Meyer's (2002) three-component model of commitment to organisational change and extend their nomological network by showing the relevance of two types of organisational climate to the core components of the model. Affective commitment to organisational change is a positive influence on employees' behavioural support for change and also reflects healthy aspects of the organisational climate. However, continuance commitment to organisational change is detrimental influence on employees' behavioural support for change and is linked with unhealthy dimensions of the organisational climate
Regulating Data Exchange in Service Oriented Applications
We define a type system for COWS, a formalism for specifying and combining services, while modelling their dynamic behaviour. Our types permit to express policies constraining data exchanges in terms of sets of service partner names attachable to each single datum. Service programmers explicitly write only the annotations necessary to specify the wanted policies for communicable data, while a type inference system (statically) derives the minimal additional annotations that ensure consistency of services initial configuration. Then, the language dynamic semantics only performs very simple checks to authorize or block communication. We prove that the type system and the operational semantics are sound. As a consequence, we have the following data protection property: services always comply with the policies regulating the exchange of data among interacting services. We illustrate our approach through a simplified but realistic scenario for a service-based electronic marketplace
Bisimilarity and Behaviour-Preserving Reconfigurations of Open Petri Nets
We propose a framework for the specification of behaviour-preserving
reconfigurations of systems modelled as Petri nets. The framework is based on
open nets, a mild generalisation of ordinary Place/Transition nets suited to
model open systems which might interact with the surrounding environment and
endowed with a colimit-based composition operation. We show that natural
notions of bisimilarity over open nets are congruences with respect to the
composition operation. The considered behavioural equivalences differ for the
choice of the observations, which can be single firings or parallel steps.
Additionally, we consider weak forms of such equivalences, arising in the
presence of unobservable actions. We also provide an up-to technique for
facilitating bisimilarity proofs. The theory is used to identify suitable
classes of reconfiguration rules (in the double-pushout approach to rewriting)
whose application preserves the observational semantics of the net.Comment: To appear in "Logical Methods in Computer Science", 41 page
COWS: A Timed Service-Oriented Calculus
COWS (Calculus for Orchestration of Web Services) is a foundational language for Service Oriented Computing that combines in an original way a number of ingredients borrowed from well-known process calculi, e.g. asynchronous communication, polyadic synchronization, pattern matching, protection, delimited receiving and killing activities, while resulting different from any of them. In this paper, we extend COWS with timed orchestration constructs, this way we obtain a language capable of completely formalizing the semantics of WS-BPEL, the ‘de facto’ standard language for orchestration of web services. We present the semantics of the extended language and illustrate its peculiarities and expressiveness by means of several examples
Recommended from our members
Investigating the relationship of brand experience and loyalty: A study of luxury brand in Thailand
The concept of 'brand experience' has evolved as an imperative arena of study in the marketing discipline. Although the importance and the concept of experience have been adapted in marketing such as customer experience, consumption experience and so on, the explanations of brand experiences have remained vague and absent a thorough theoretical foundation. This research aims to understand the concept of 'brand experience' and its impact of consumer behaviour (loyalty) direct or indirect through brand personality, satisfaction or [and] brand trust in the luxury brand context (Thailand). This research is carried out in one stage 'quantitative'. Furthermore the research data will be collected based on distributing survey questionnaire. Among of 400 Thai citizen samples will be surveyed to measure a modify framework from (Brakus et al, 2009). The result will provide meaningful information in both academic research and marketing practice. Furthermore, it will be presented the prediction of consumer behaviour via brand experience. Moreover, it guides marketers to various marketing strategy option such as experiential marketing or traditional marketing
On Asynchronous Session Semantics
This paper studies a behavioural theory of the π-calculus with session types under the fundamental principles of the practice of distributed computing — asynchronous communication which is order-preserving inside each connection (session), augmented with asynchronous inspection of events (message arrivals). A new theory of bisimulations is introduced, distinct from either standard
asynchronous or synchronous bisimilarity, accurately capturing the semantic nature of session-based asynchronously communicating processes augmented with
event primitives. The bisimilarity coincides with the reduction-closed barbed congruence. We examine its properties and compare them with existing semantics.
Using the behavioural theory, we verify that the program transformation of multithreaded into event-driven session based processes, using Lauer-Needham duality,
is type and semantic preserving
- …