A Decidable Formal Analysis of Context-Specific Behavioral Equivalence for Web Services

2011 ◽  
Vol 4 (4) ◽  
pp. 1687-1694 ◽  
Author(s):  
Li Kuang ◽  
Yuxin Mao ◽  
Yingjie Xia
Keyword(s):  
Web Services ◽  
Formal Analysis ◽  
Behavioral Equivalence ◽  
Context Specific

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.

From ASP to Web Services

2009 ◽  
pp. 1690-1708
Author(s):  
Matthew W. Guah ◽  
Wendy L. Currie
Keyword(s):  
Web Services ◽  
Research Study ◽  
Service Providers ◽  
Value Added ◽  
Organizational Structures ◽  
Application Service Provider ◽  
Rigorous Approach ◽  
Application Service ◽  
Future Success ◽  
Context Specific

Value creation from e-business for customers in healthcare is an important topic in academic and practitioner circles. This chapter reports the findings from a two-year research study, which found that disappointing results from the muchhyped application service provider (ASP) business model is currently being replaced by perceived new opportunities from Web services. Yet past failings from ASP do not guarantee future success with Web services models, particularly as evidence shows that accruing value-added benefits from e-business initiatives is often fraught with difficulty. Healthcare is no exception, and is likely to pose more problems given the complexity of the organizational structures, processes, procedures, and activities within this vertical sector. This research study calls for a more rigorous approach in identifying and evaluating key performance areas and indicators from new e-business initiatives involving emerging technologies and platforms such as Web services. Yet the measures and metrics used for healthcare may differ from those adopted in other sectors. Healthcare professionals will therefore need to develop context specific key performance areas (KPAs) and KPIs, and caution against accepting at “face value” the value proposition devised by Web service providers.

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.

From ASP to Web Services

2011 ◽  
pp. 149-177
Author(s):  
Matthew W. Guah ◽  
Wendy L. Currie
Keyword(s):  
Web Services ◽  
Web Service ◽  
Service Providers ◽  
Value Added ◽  
Organizational Structures ◽  
Application Service Provider ◽  
Rigorous Approach ◽  
Application Service ◽  
Future Success ◽  
Context Specific

Value creation from e-business for customers in healthcare is an important topic in academic and practitioner circles. This chapter reports the findings from a two-year research study, which found that disappointing results from the much-hyped application service provider (ASP) business model is currently being replaced by perceived new opportunities from Web services. Yet past failings from ASP do not guarantee future success with Web services models, particularly as evidence shows that accruing value-added benefits from e-business initiatives is often fraught with difficulty. Healthcare is no exception, and is likely to pose more problems given the complexity of the organizational structures, processes, procedures, and activities within this vertical sector. This research studycalls for a more rigorous approach in identifying and evaluating key performance areas and indicators from new e-business initiatives involving emerging technologies and platforms such as Web services. Yet the measures and metrics used for healthcare may differ from those adopted in other sectors. Healthcare professionals will therefore need to develop context specific key performance areas (KPAs) and KPIs, and caution against accepting at “face value” the value proposition devised by Web service providers.

Sign in / Sign up

Export Citation Format

Share Document