A Formal Model forWeb Service Choreography Description Language (WS-CDL)

2006 ◽  
Author(s):  
Hongli Yang ◽  
Xiangpeng Zhao ◽  
Zongyan Qiu ◽  
Geguang Pu ◽  
Shuling Wang
Keyword(s):  
Formal Model ◽  
Description Language ◽  
Service Choreography

Modeling a Chilean Hospital Using Specification and Description Language

2013 ◽  
pp. 179-204
Author(s):  
Jorge Leiva Olmos ◽  
Pau Fonseca i Casas ◽  
Jordi Ocaña Rebull
Keyword(s):  
Formal Model ◽  
Hospital Management ◽  
Clinical Services ◽  
Description Language ◽  
Emergency Units

In this chapter, the authors present a formal model of the Anesthesia Unit and Surgical Wards (UAPQ) of a Chilean hospital. The objective was to document and to understand its operation, to assist hospital management and to facilitate its simulation. The model was built with Specification and Description Language (SDL). This methodology was used because it allows the design of a model that represents the system in a graphical, modular, and standard way. Our design contains the following agents: the system, 11 blocks, and 52 processes. The blocks and the processes describe the clinical and administrative activities. The environment of the UAPQ model contains 3 components: clinical services, emergency units, and support units.

Modeling a Chilean Hospital Using Specification and Description Language

2015 ◽  
pp. 445-465
Author(s):  
Jorge Leiva Olmos ◽  
Pau Fonseca i Casas ◽  
Jordi Ocaña Rebull
Keyword(s):  
Formal Model ◽  
Hospital Management ◽  
Clinical Services ◽  
Description Language ◽  
Emergency Units

In this chapter, the authors present a formal model of the Anesthesia Unit and Surgical Wards (UAPQ) of a Chilean hospital. The objective was to document and to understand its operation, to assist hospital management and to facilitate its simulation. The model was built with Specification and Description Language (SDL). This methodology was used because it allows the design of a model that represents the system in a graphical, modular, and standard way. Our design contains the following agents: the system, 11 blocks, and 52 processes. The blocks and the processes describe the clinical and administrative activities. The environment of the UAPQ model contains 3 components: clinical services, emergency units, and support units.

scholarly journals Mapping SDL Specification Fundamentals to Core SDL Ontology

2010 ◽  
Vol 6 (1) ◽  
pp. 18
Author(s):  
Marina Bagić Babac ◽  
Marijan Kunštić
Keyword(s):  
Formal Language ◽  
Formal Model ◽  
Ontology Development ◽  
System Specification ◽  
Description Language ◽  
Interactive Applications ◽  
Discrete Signals ◽  
Formal Framework ◽  
Core Ontology ◽  
Process Elements

This paper gives a contribution in the efforts of Semantic web ontology development. We have developed the core ontology for Specification and Description Language (SDL),an object-oriented, formal language defined by the International Telecommunications Union Telecommunications Standardization Sector (ITU-T) as recommendation Z.100. The language is intended for the specification of complex, event-driven, real-time, and interactive applications involving many concurrent activitiesthat communicate using discrete signals. Using SDL formal model for system specification we bridge the gap between ideas in our minds and the actual implementation of the system. Being visually appealing SDL provides us with a simple tool for communication either between the softwaredevelopers or between non-experts without advanced engineering skills. In this paper we propose the ontology for the basic SDL system and process elements. We also propose a formal framework of SDL Markup Language as a medium for translating SDL model to SDL ontology.

scholarly journals A Petri Net Definition of a System Description Language

1981 ◽  
Vol 8 (96) ◽  
Author(s):  
Kurt Jensen ◽  
Morten Kyng ◽  
Ole Lehrmann Madsen
Keyword(s):  
Petri Nets ◽  
Petri Net ◽  
Formal Model ◽  
Concurrent Systems ◽  
Formal Definition ◽  
Concurrent System ◽  
Description Language ◽  
System Description ◽  
Definition Of ◽  
Further Development

<p>This paper introduces a language, Epsilon, for the description of systems with concurrency, and presents a formal definition of Epsilon's semantics. The language is based on Delta ‹ the first major attempt to create a language solely aimed at system description without the restrictions placed on languages executable on digital computers. The design of Delta was itself heavily influenced by the experience from the development and use of Simula.</p><p>It is not obvious what kind of semantics a system description language should have. The situation is more complex than with normal algorithmic languages and none of the existing semantic approaches appear to be satisfactory.</p><p>To clarify the situation, we first describe the language Epsilon, which contains only a few basic primitives. Then we define the semantics of Epsilon by means of a formal model based on Petri nets. The model called ''Concurrent systems'' is an extension of Petri nets with a data part and with expressions attached to transitions and to places. The model is a further development of formalisms proposed by R.M. Keller and A. Mazurkiewicz. The expressions attached to places is a novel feature and is used to define continuous transformations on the data part. The semantics of a given system description is defined in terms of firing sequences of the corresponding concurrent system.</p><p>To be presented at the Evian Conference on Semantics of Concurrent Computations, July 1979.</p>

scholarly journals Verifying Service Choreography Model Based on Description Logic

2016 ◽  
Vol 2016 ◽  
pp. 1-20 ◽  
Author(s):  
Minggang Yu ◽  
Zhixue Wang ◽  
Xiaoxing Niu
Keyword(s):  
Web Services ◽  
Conceptual Framework ◽  
Description Logic ◽  
Formal System ◽  
Model Verification ◽  
Description Language ◽  
New Approach ◽  
Service Choreography ◽  
The Given

Web Services Choreography Description Language lacks a formal system to accurately express the semantics of service behaviors and verify the correctness of a service choreography model. The paper presents a new approach of choreography model verification based on Description Logic. A metamodel of service choreography is built to provide a conceptual framework to capture the formal syntax and semantics of service choreography. Based on the framework, a set of rules and constraints are defined in Description Logic for choreography model verification. To automate model verification, the UML-based service choreography model will be transformed, by the given algorithms, into the DL-based ontology, and thus the model properties can be verified by reasoning through the ontology with the help of a popular DL reasoner. A case study is given to demonstrate applicability of the method. Furthermore, the work will be compared with other related researches.

The Description and Relation of WS-CDL and BPEL

2013 ◽  
pp. 442-455
Author(s):  
Yanjun Qian ◽  
Wei Zhou ◽  
Zhongwei Wu ◽  
Shaowen Yao
Keyword(s):  
Web Service ◽  
Business Process ◽  
Point Of View ◽  
Important Goal ◽  
Description Language ◽  
Business Process Execution Language ◽  
Global View ◽  
Algorithm Mapping ◽  
Service Choreography ◽  
Business Process Execution

WS-CDL (Web Service Choreography Description Language) is a language to describe multiple party how to work with together to accomplish a work in the context of SOA. BEPL (Business Process Execution Language) can get the same point, but they are from different view. WS-CDL is from a global view, which describes how multiple parties communicate with each other. BPEL is from a point of view of a single role who participates to manage the process of the work. Usually these two ways work together to describe and implement the business process. But WS-CDL has more advantages to achieve the most important goal of SOA-flexibility. So, W3C gives a suggestion to create an algorithm mapping from WS-CDL to BPEL; this chapter describes such a way to accomplish this.

Sign in / Sign up

Export Citation Format

Share Document