3,052 research outputs found
Behavioral types in programming languages
A recent trend in programming language research is to use behav- ioral type theory to ensure various correctness properties of large- scale, communication-intensive systems. Behavioral types encompass concepts such as interfaces, communication protocols, contracts, and choreography. The successful application of behavioral types requires a solid understanding of several practical aspects, from their represen- tation in a concrete programming language, to their integration with other programming constructs such as methods and functions, to de- sign and monitoring methodologies that take behaviors into account. This survey provides an overview of the state of the art of these aspects, which we summarize as the pragmatics of behavioral types
Recommended from our members
Requirements-Driven Adaptation of Choreographed Interactions
Electronic services are emerging as the de-facto enabler of interaction interoperability across organization boundaries. Cross-organizational interactions are often “choreographed”, i.e. specified by a messaging protocol from a global point of view independent of the local view of each interacting organization. Local requirements motivating an interaction as well as the global contextual requirements governing the interaction inevitably evolve over time, requiring adaptation of the corresponding interaction protocol. Adaptation of an interaction protocol must ensure the satisfaction of both sets of interaction requirements while maintaining consistency between the global view and the local views of an interaction specification. Such adaptation is not possible with the current state-of-the-art representations of choreographed interactions, as they capture only operational messaging specifications detached from both local organizational requirements as well as global contextual requirements.
This thesis presents three novel contributions that tackle adaptation of choreographed interaction protocols: an automated technique for deriving an interaction protocol from requirements, a formalization of consistency between local and global views, and a framework for guiding the adaptation of a choreographed interaction. A choreographed interaction is specified using models of organizational requirements motivating the interaction. We employ the formal semantics embedded in requirements models to automatically derive an interaction protocol. We propose a framework for relating the global and local views of interaction specification and maintaining consistency between them. We develop a metamodel for interaction specification, from which we enumerate adaptation operations. We build a catalogue that provides guidance on performing each operation and propagating changes between the global and local views. These contributions are evaluated using examples from the literature as well as a real-world case study
Improving sustainability through intelligent cargo and adaptive decision making
In the current society, logistics is faced with the challenge to meet more stringent sustainability goals. Shippers and transport service providers both aim to reduce the carbon footprint of their logistic operations. To do so, optimal use of logistics resources and physical infrastructure should be aimed for. An adaptive decision making process for the selection of a specific transport modality, transport provider and timeslot (aimed at minimisation of the carbon footprint) enables shippers to achieve this. This requires shippers to have access to up-to-date capacity information from transport providers (e.g. current and scheduled loading status of the various transport means and information on carbon footprint) and traffic information (e.g. city logistics and current traffic information). A prerequisite is an adequate infrastructure for collaboration and open exchange of information between the various stakeholders in the logistics value chain to obtain the up-to-date information. This paper gives a view on how such an advanced information infrastructure can be realised, currently being developed within the EU iCargo project. The paper describes a reference logistics value chain, including business benefits for each of the roles in the logistics value chain of aiming for sustainability. A case analysis is presented that reflects a practical situation in which the various roles collaborate and exchange information for realizing sustainability goals, using adaptive decision making for selecting a transport modality, transport provider, and timeslot. A high-level overview is provided of the requirements on and technical implementation of the supporting advanced infrastructure for collaboration and open information exchange.In the current society, logistics is faced with the challenge to meet more stringent sustainability goals. Shippers and transport service providers both aim to reduce the carbon footprint of their logistic operations. To do so, optimal use of logistics resources and physical infrastructure should be aimed for. An adaptive decision making process for the selection of a specific transport modality, transport provider and timeslot (aimed at minimisation of the carbon footprint) enables shippers to achieve this. This requires shippers to have access to up-to-date capacity information from transport providers (e.g. current and scheduled loading status of the various transport means and information on carbon footprint) and traffic information (e.g. city logistics and current traffic information). A prerequisite is an adequate infrastructure for collaboration and open exchange of information between the various stakeholders in the logistics value chain to obtain the up-to-date information. This paper gives a view on how such an advanced information infrastructure can be realised, currently being developed within the EU iCargo project. The paper describes a reference logistics value chain, including business benefits for each of the roles in the logistics value chain of aiming for sustainability. A case analysis is presented that reflects a practical situation in which the various roles collaborate and exchange information for realizing sustainability goals, using adaptive decision making for selecting a transport modality, transport provider, and timeslot. A high-level overview is provided of the requirements on and technical implementation of the supporting advanced infrastructure for collaboration and open information exchange.In the current society, logistics is faced with the challenge to meet more stringent sustainability goals. Shippers and transport service providers both aim to reduce the carbon footprint of their logistic operations. To do so, optimal use of logistics resources and physical infrastructure should be aimed for. An adaptive decision making process for the selection of a specific transport modality, transport provider and timeslot (aimed at minimisation of the carbon footprint) enables shippers to achieve this. This requires shippers to have access to up-to-date capacity information from transport providers (e.g. current and scheduled loading status of the various transport means and information on carbon footprint) and traffic information (e.g. city logistics and current traffic information). A prerequisite is an adequate infrastructure for collaboration and open exchange of information between the various stakeholders in the logistics value chain to obtain the up-to-date information. This paper gives a view on how such an advanced information infrastructure can be realised, currently being developed within the EU iCargo project. The paper describes a reference logistics value chain, including business benefits for each of the roles in the logistics value chain of aiming for sustainability. A case analysis is presented that reflects a practical situation in which the various roles collaborate and exchange information for realizing sustainability goals, using adaptive decision making for selecting a transport modality, transport provider, and timeslot. A high-level overview is provided of the requirements on and technical implementation of the supporting advanced infrastructure for collaboration and open information exchange
Semantic Content Mediation and Acquisition: The Challenge for Semantic e-Business Solutions
A Top Quadrant report situates the Semantic Web within the current Innovation Wave of “Distributed Intelligence”. This is one of the main innovation waves of the last centuries including textile, railway, auto, computer, distributed intelligence (1997-2061) and nanotechnology (2007-2081). The Distributed Intelligence wave started in the late nineties and is expected to peak between 2010 and 2020. The report estimates first return on investments in 2006-7, growing to a market of $40-60 billion in 2010. Funds are coming primary from governments, venture capitalists and industry commercialization. Over the next few years, this is expected to change in favour of industry commercialization
Integration of BPM systems
New technologies have emerged to support the global economy where for instance suppliers, manufactures and retailers are working together in order to minimise the cost and
maximise efficiency. One of the technologies that has become a buzz word for many businesses is business process management or BPM. A business process comprises activities
and tasks, the resources required to perform each task, and the business rules linking these activities and tasks. The tasks may be performed by human and/or machine actors.
Workflow provides a way of describing the order of execution and the dependent relationships between the constituting activities of short or long running processes.
Workflow allows businesses to capture not only the information but also the processes that transform the information - the process asset (Koulopoulos, T. M., 1995). Applications which involve automated, human-centric and collaborative processes across organisations are
inherently different from one organisation to another. Even within the same organisation but over time, applications are adapted as ongoing change to the business processes is seen as the norm in today’s dynamic business environment. The major difference lies in the specifics of business processes which are changing rapidly in order to match the way in which businesses operate. In this chapter we introduce and discuss Business Process Management (BPM) with a focus on the integration of heterogeneous BPM systems across multiple organisations. We identify the problems and the main challenges not only with regards to technologies but also in the social and cultural context. We also discuss the issues that have arisen in our bid to find the solutions
Correctness of services and their composition
We study correctness of services and their composition and investigate how the design of correct service compositions can be systematically supported. We thereby focus on the communication protocol of the service and approach these questions using formal methods and make contributions to three scenarios of SOC.Wir studieren die Korrektheit von Services und Servicekompositionen und untersuchen, wie der Entwurf von korrekten Servicekompositionen systematisch unterstĂĽtzt werden kann. Wir legen dabei den Fokus auf das Kommunikationsprotokoll der Services. Mithilfe von formalen Methoden tragen wir zu drei Szenarien von SOC bei
WS-CDL Based Specification for Web Services Collaboration Testing
Service Oriented Computing(SOC) is becoming a major paradigm for developing next generation of software systems, and one of the major challenges of Service Oriented Computing is testing interactions and collaborations among the distributed and dynamically integrated web services. To support automated test of web service‟s collaborations, a formal specification is needed. This thesis proposes a specification of web services collaborations based on Web Services Choreography Description Language (WS-CDL). We identify the basic constructs that can be found in any web services collaboration, and we mapped them to the new WS-CDL based language (WS-CDL+). Finally, A scenario of web services collaboration is developed and specification in WS-CDL+ is provided. This work builds a foundation for automated web services testing in a service oriented computing environment
Semantic web services composition
Web services are becoming the most predominant paradigm for distributed computing and electronic business. They are self-contained Internet accessible applications that are capable not only of performing business activities on their own, but they also possess the ability to engage with other Web services in order to build new value-added services. Both academic and industrial bodies have been investigating issues regarding service descriptions, discovery and invocation, but automated service composition was somewhat neglected. The latter involves automated methods for constructing a sequence of Web services to achieve a desired goal. In this work we present initial research that focuses on the issue of automated service composition in conjunction with the Semantic Web. In this report we propose a composition engine that will automatically handle the integration of Web services through the use of a Web service description language such as DAML-S, the planning of workflow definitions, scheduling of tasks, status monitoring of the execution process, handling of faults and communication with other entities such as user agents, service registries and other composition engines.peer-reviewe
- …