Understanding Distributed Services through the π-Calculus

2012 ◽  
pp. 1-1
Author(s):  
Kohei Honda
Keyword(s):  
Distributed Services ◽  
Π Calculus

scholarly journals On Polymorphic Sessions and Functions

2021 ◽  
Vol 43 (2) ◽  
pp. 1-55
Author(s):  
Bernardo Toninho ◽  
Nobuko Yoshida
Keyword(s):  
Natural Deduction ◽  
Sequent Calculus ◽  
Linear Logic ◽  
Linear Formulation ◽  
Session Types ◽  
Logical Foundation ◽  
Π Calculus ◽  
Soundness And Completeness ◽  
System F ◽  
Algebraic Representations

This work exploits the logical foundation of session types to determine what kind of type discipline for the Λ-calculus can exactly capture, and is captured by, Λ-calculus behaviours. Leveraging the proof theoretic content of the soundness and completeness of sequent calculus and natural deduction presentations of linear logic, we develop the first mutually inverse and fully abstract processes-as-functions and functions-as-processes encodings between a polymorphic session π-calculus and a linear formulation of System F. We are then able to derive results of the session calculus from the theory of the Λ-calculus: (1) we obtain a characterisation of inductive and coinductive session types via their algebraic representations in System F; and (2) we extend our results to account for value and process passing, entailing strong normalisation.

DESIGN OF DECOUPLED CLINICAL DECISION SUPPORT FOR SERVICE-ORIENTED ARCHITECTURES

2009 ◽  
Vol 19 (02) ◽  
pp. 159-183 ◽  
Author(s):  
JENS WEBER-JAHNKE
Keyword(s):  
Decision Support ◽  
Clinical Decision Support ◽  
Service Oriented Architecture ◽  
Empirical Evaluation ◽  
Cost Savings ◽  
Clinical Decision ◽  
Service Oriented Architectures ◽  
Distributed Services ◽  
Service Oriented ◽  
Computer Based

Computer-based clinical decision support (CDS) contributes to cost savings, increased patient safety and quality of medical care. Most existing CDS systems are stand-alone products (first generation) or part of complete electronic medical record packages (second generation). Experience shows that creating and maintaining CDS systems is expensive and requires effort that should be economized by sharing them among multiple users. It makes good economic sense to share CDS service installations among a larger set of client systems. The paradigm of a service-oriented architecture (SOA) embraces this idea of sharing distributed services. Some attempts making CDS services available to distributed health information systems exist. However, these approaches have not gained much adoption. We argue that they do not provide a sufficient level of decoupling between client and CDS in order to be broadly reusable in SOAs. In this paper, we present a new CDS service component called EGADSS, which has been designed and implemented with the declared objective to minimize the coupling between client and CDS server. We present our key design decisions, which are guided by empirical research in SOA development. We evaluate our result theoretically by measuring the level of decoupling achieved compared to existing CDS approaches. Furthermore, we report on an empirical evaluation of the resulting design, integrating the EGADSS service with an example client system.

Symbolic transition graph and its early bisimulation checking algorithms for the π-calculus

1999 ◽  
Vol 42 (4) ◽  
pp. 342-353 ◽  
Author(s):  
Zhoujun Li ◽  
Huowang Chen ◽  
Bingshan Wang
Keyword(s):  
Transition Graph ◽  
Π Calculus

Infrastructural approach to processing of spatial data in the problems of management of territorial development

2018 ◽  
Author(s):  
И.В. Бычков ◽  
Г.М. Ружников ◽  
В.В. Парамонов ◽  
А.С. Шумилов ◽  
Р.К. Фёдоров
Keyword(s):  
Data Processing ◽  
Spatial Data ◽  
Data Exchange ◽  
Complex Analysis ◽  
Data Entry ◽  
Content Management ◽  
Volume Data ◽  
Territorial Development ◽  
Distributed Services ◽  
Spatial Data Processing

Рассмотрен инфраструктурный подход обработки пространственных данных для решения задач управления территориальным развитием, который основан на сервис-ориентированной парадигме, стандартах OGC, web-технологиях, WPS-сервисах и геопортале. The development of territories is a multi-dimensional and multi-aspect process, which can be characterized by large volumes of financial, natural resources, social, ecological and economic data. The data is highly localized and non-coordinated, which limits its complex analysis and usage. One of the methods of large volume data processing is information-analytical environments. The architecture and implementation of the information-analytical environment of the territorial development in the form of Geoportal is presented. Geoportal provides software instruments for spatial and thematic data exchange for its users, as well as OGC-based distributed services that deal with the data processing. Implementation of the processing and storing of the data in the form of services located on distributed servers allows simplifying their updating and maintenance. In addition, it allows publishing and makes processing to be more open and controlled process. Geoportal consists of following modules: content management system Calipso (presentation of user interface, user management, data visualization), RDBMS PostgreSQL with spatial data processing extension, services of relational data entry and editing, subsystem of launching and execution of WPS-services, as well as services of spatial data processing, deployed at the local cloud environment. The presented article states the necessity of using the infrastructural approach when creating the information-analytical environment for the territory management, which is characterized by large volumes of spatial and thematical data that needs to be processed. The data is stored in various formats and applications of service-oriented paradigm, OGC standards, web-technologies, Geoportal and distributed WPS-services. The developed software system was tested on a number of tasks that arise during the territory development.

Management of Distributed Services Networks: Shared Tele-Publishing Via ISDN — IBC in Europe

1994 ◽  
pp. 293-306
Author(s):  
Basil Maglaris ◽  
Theodoros Karounos ◽  
Andreas Kindt
Keyword(s):  
Distributed Services

The Receptive Distributed π-Calculus

1999 ◽  
pp. 304-315 ◽  
Author(s):  
Roberto M. Amadio ◽  
Gérard Boudol ◽  
Cédric Lhoussaine
Keyword(s):  
Π Calculus

scholarly journals Cooperative Business Intelligence Model Using a Multiagent Platform

2020 ◽  
Vol 2020 ◽  
pp. 1-12
Author(s):  
Mohamed O. Khozium ◽  
Norah S. Farooqi
Keyword(s):  
Business Intelligence ◽  
Service Providers ◽  
Application Programming Interface ◽  
Cooperative Interaction ◽  
End User ◽  
Agent Based ◽  
Distributed Services ◽  
Intelligence System ◽  
Application Programming ◽  
New Applications

Modern companies wish to utilize business intelligence (BI) to track and analyze their courses of action. Many BI applications serve this purpose at many levels, starting from documenting and charting and ending with analytics and decision support systems, which are considered a sufficient complement to consultancy and management resources. However, the contemporaneous BI software is missing two functionalities. First, although nearly all applications of the same genre use almost identical concepts, there is no unified application programming interface (API) to enable interaction. The second problem is a consequence of the first issue. Without a unified API, BI applications cannot be integrated, eliminating any possibility of establishing universal platforms for BI distributed services. Lacking these two functionalities makes developers reinvent the wheel with each new implementation. To solve these problems, we propose a platform running a multiagent business intelligence system. This system empowers the available BI resources to serve a larger segment of the BI end-user applications cooperatively. To build this system, we propose a unified model that enables distributive agent-based tasking and cooperative interaction. This allows researchers to cooperate in spreading the multiagent platform’s functionality and helps them proceed toward more detailed analysis considering agents’ construction. Moreover, it will enable BI service providers to cooperatively implement new applications and develop better solutions while maintaining a functional end-user program.

Sign in / Sign up

Export Citation Format

Share Document