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 …

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 …

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 …

Integration of legacy and third-party software systems is almost mandatory for enterprises.
This fact is based mainly on exchanging information with other entities (banks, suppliers …

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 …

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

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

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

We introduce Architectural Design Rewriting (ADR), an approach to the design of
reconfigurable software architectures whose key features are:(i) rule-based approach (over …