High Assurance Services Computing

ISBN-13: 9781441946843 / Angielski / Miękka / 2010 / 324 str.

Springer

Opis

Service computing is a cutting-edge area, popular in both industry and academia. New challenges have been introduced to develop service-oriented systems with high assurance requirements. High Assurance Services Computing captures and makes accessible the most recent practical developments in service-oriented high-assurance systems. An edited volume contributed by well-established researchers in this field worldwide, this book reports the best current practices and emerging methods in the areas of service-oriented techniques for high assurance systems. Available results from industry and government, R&D laboratories and academia are included, along with unreported results from the hands-on experiences of software professionals in the respective domains. Designed for practitioners and researchers working for industrial organizations and government agencies, High Assurance Services Computing is also suitable for advanced-level students in computer science and engineering."

Recenzje

From the reviews: "This fascinating book--on an important set of topics--brings together current research in high-assurance computing. Services computing is an emerging discipline that bridges the gap between business services and information technology services. The core technologies for services computing are service oriented architecture (SOA) and Web services. ... This collection of research articles is best suited for a graduate-level academic audience and for practitioners who are particularly immersed in service-oriented computing." (Charles K. Davis, ACM Computing Reviews, January, 2010)

Spis treści

Translucent Replication for Service Level Assurance.- Trustworthiness Assessment Framework for Net-Centric Systems.- A Trust Monitoring Architecture for Service-Based Software.- Human Interoperability Enterprise for High-Assurance Systems.- Service Composition Quality Evaluation in SPICE Platform.- High-Assurance Service Systems.- A Graph Grammar Approach to Behavior Verification of Web Services.- A Formal Framework for Developing High Assurance Event Driven Service-Oriented Systems.- Towards A Dependable Software Paradigm for Service-Oriented Computing.- Developing Dependable Systems by Maximizing Component Diversity.- High Assurance BPEL Process Models.- Specifying Enterprise Web-Oriented Architecture.- Designing an SOA for P2P On-Demand Video Delivery.- A Coverage Relationship Model for Test Case Selection and Ranking for Multi-version Software.

O autorze

Dr. Liang-Jie Zhang is a Research Staff Member (RSM) in Services Technologies at the IBM T.J. Watson Research Center. His research focus is SOA and Web Services for Industry Solutions. He is also co-leading an IBM-wide SOA Solution Stack project by working with his colleagues from IBM Global Services Team, Software Group, Sales & Distribution, and Research Division. Currently, he is the founding chair of the Services Computing PIC (Professional Interest Community) at IBM T.J. Watson Research Center to lead professional activities for Services Computing discipline.

In 2004 and 2005, Dr. Zhang was appointed as the Chief Architect of Industrial Standards at IBM Software Group. In this position, he was playing leadership role in helping define IBM s strategy for industrial standards and open architecture for service-oriented business solutions. He was also invited by the Chief Technology Officer and VP of IBM Global Industrial Sector to define the technical strategy for the Global Industrial Sector at IBM Sales and Distribution (S&D).

Dr. Zhang is one of the leading pioneers in the field of Service-Oriented Architecture (SOA) and Web Services. Dr. Zhang was the lead inventor and architect of Business Explorer for Web Services, WSIL Explorer (part of IBM Emerging Technologies Toolkit), and Web Services Outsourcing Manager (WSOM), all released by IBM alphaWorks. He led a team from IBM Research and Software Group to create the first comprehensive Web services-based Managed E-Hub to enable services provisioning and business on-boarding for supporting business process on demand.

Blurb

High Assurance Services Computing

Jing Dong, Raymond Paul, Liang-Jie Zhang

Service computing is a cutting-edge area, popular in both industry and academia. New challenges have been introduced to develop service-oriented systems with high assurance requirements. High Assurance Services Computing captures and makes accessible the most recent practical developments in service-oriented high-assurance systems.

An edited volume contributed by well-established researchers in this field worldwide, this book reports the best current practices and emerging methods in the areas of service-oriented techniques for high assurance systems. Available results from industry and government, R&D laboratories and academia are included, along with unreported results from the “hands-on” experiences of software professionals in the respective domains.

Designed for practitioners and researchers working for industrial organizations and government agencies, High Assurance Services Computing is also suitable for advanced-level students in computer science and engineering.