We present a process-calculus model for expressing and analyzing service-based systems.
Our approach addresses central features of the service-oriented computational model such …

With the popularity of Internet technology, Web services are becoming the most promising
paradigm for distributed computing. However, when a single Web service fails to meet …

Multidisciplinary Engineering will be a requirement for designers of modern systems in the
near future. Much of the undergraduate Systems Engineering education is not effective in …

With the development of enterprise-wide and cross-enterprise application integration and
interoperation toward Web service, Web service providers try to not only fulfill the functional …

We outline a methodology for designing and composing services in a secure manner. In
particular, we are concerned with safety properties of service behaviour. Services can …

We present an Service-Oriented Architecture (SOA)? based architecture framework. The
architecture framework is designed to be close to industry standards, especially to the …

Abstract Service-oriented computing is an emerging paradigm where services are
understood as autonomous, platform-independent computational entities that can be …

With the accelerating development of aged tendency of population and rapid growth in the
number of the disabled caused by diseases or injuries, the wheelchair with good …

We introduce a logical verification methodology for checking behavioral properties of service-
oriented computing systems. Service properties are described by means of SocL, a …

Abstract Service-Oriented Computing (SOC) was introduced some years ago as a paradigm
that allows companies to expose their core competencies as services. Yet, we can only …