High Assurance Services Computing

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.

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.

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)