A Formal Analysis of Behavioral Equivalence for Web Services

2008 ◽  
Author(s):  
Li Kuang
Keyword(s):  
Web Services ◽  
Formal Analysis ◽  
Behavioral Equivalence

scholarly journals EasyChair

10.29007/n94r ◽  
2018 ◽  
Author(s):  
Andrei Voronkov
Keyword(s):  
Web Services ◽  
Management System ◽  
Formal Analysis ◽  
Conference Management

EasyChair is the most commonly used conference management system. Currently about twelve conferences or workshops per day register for using EasyChair. There are about 1,200 papers submitted to EasyChair every day. The number of users of EasyChair at the time of writing this abstract is over 300,000, which is greater than the population of Linz.In this talk we give an overview of EasyChair and describe its philosophy, design, implementation, evolution and future. We will also discuss issues related to formal analysis and verification of Web services.

scholarly journals A Formal Analysis of the Concept of Behavioral Individuation of Mental States in the Functionalist Framework

2021 ◽  
pp. 1-13
Author(s):  
Maciej Malicki
Keyword(s):  
Theory Of Mind ◽  
Turing Machine ◽  
Formal Analysis ◽  
Mental States ◽  
Turing Machines ◽  
Behavioral Equivalence ◽  
Internal States ◽  
Theories Of Mind ◽  
Functionalist Theory

The functionalist theory of mind proposes to analyze mental states in terms of internal states of Turing machine, and states of the machine’s tape and head. In the paper, I perform a formal analysis of this approach. I define the concepts of behavioral equivalence of Turing machines, and of behavioral individuation of internal states. I prove a theorem saying that for every Turing machine T there exists a Turing machine T’ which is behaviorally equivalent to T, and all of whose internal states of T’ can be behaviorally individuated. Finally, I discuss some applications of this theorem to computational theories of mind.

WEB SERVICES SINGLE SIGN-ON PROTOCOL AND FORMAL ANALYSIS ON IT

2005 ◽  
Vol 14 (05) ◽  
pp. 923-930 ◽  
Author(s):  
DONGXI ZHENG ◽  
SHAOHUA TANG ◽  
SHAOFA LI
Keyword(s):  
Web Services ◽  
Formal Analysis ◽  
Application Integration ◽  
Secure Systems ◽  
Single Sign On ◽  
Cross Platform

Web Services technology is suitable for cross-platform and cross-application integration. To secure systems based on Web Services, a single sign-on protocol for Web Services supporting several login modes are presented. The architecture and the formalized flow of the protocol are described. The protocol is also analyzed and proven using an extended SVO logic.

Toward the Formalization of Business Process Model and Notation

2021 ◽  
Author(s):  
Honoré Hounwanou ◽  
Laila Boumlik ◽  
Mohamed Mejri
Keyword(s):  
Web Services ◽  
Programming Languages ◽  
Business Process ◽  
Process Model ◽  
Business Processes ◽  
Formal Analysis ◽  
Business Process Model ◽  
Business Process Execution ◽  
Developer Tools ◽  
Almost All

Due to its versatility and wide variety of constructs, BPMN (Business Process Model and Notation) is today the leading standard notation for creating visual models of business or organizational processes. It is a rich and expressive graphical language specially designed to provide a notation that is easily understood by all members of a company. Sometimes, however, this large number of controls and action nodes available can become a weakness since a given semantics can be represented in many ways, causing some ambiguity and raising the question of bisimilarity between two models. Today, it is universally recognized that formal methods are useful for the specification, design and verification of almost all systems, and essential for the most critical ones. On the other hand, the Business Process Execution Language for Web Services (BPEL) is an executable language structured in blocks, supported by many execution platforms, making it possible to specify the actions in the business processes with Web services. Since BPMN and BPEL share almost the same level of abstraction, we present in this article a formalization of the BPMN language through a mapping to BPEL, aiming to remove its ambiguities, to solve the complex modeling and interaction problems and open the door to many formal analysis such as model checking. We first formalize the BPEL language using the K framework, we then map the BPMN language to this formalized version of BPEL. The K Framework is a rewriting/reachability based framework enabling language developers to formally define all programming languages. Once a language is formally specified in the K framework, the framework automatically outputs a range of formal verification tool sets, compilers, debuggers and other developer tools for it.

Formal analysis of compatibility of Web services via CCS

2005 ◽  
Author(s):  
Fangfang Liu ◽  
Liang Zhang ◽  
Yuliang Shi ◽  
Lili Lin ◽  
Baile Shi
Keyword(s):  
Web Services ◽  
Formal Analysis
Sign in / Sign up

Export Citation Format

Share Document