Pages: pp. 276-276
Welcome to the fourth issue of TSC in 2009. In this issue, I am pleased to publish five research papers, which include three regular submissions and two papers from a special section on service-oriented requirements engineering. All those papers have gone through an iterative review and revision process. As usual, I would like to introduce these papers in the context of the body of knowledge areas of Services Computing.
Service design and delivery need systematic ways of representing and validating various artifacts in a service ecosystem based on requirements. The theme “Modern Services Engineering” illustrates a set of research innovations and accomplishments in the field of services computing for modernizing the design, analysis, and delivery of services systems.
Design automation is a key aspect of modern services engineering. In the body of knowledge areas of the service value chain collaboration (M.6.2) and services composition (M.6) at large, the first paper is entitled “From Web Service Artifact to a Readable and Verifiable Model” by John C. Sloan and Taghi M. Khoshgoftaar. Leveraging results from the workflow community, the authors automate the mapping of artifacts written in BPEL to models used by Colored Petri nets (CPN) Tools. Then, this paper presents a prototype that mines BPEL artifacts and the corresponding Petri net. Specifically, the prototype presents the Petri net through subnets with layout and color information as well as generates their associated XML files that can be imported into existing CPN Tools. This contribution is also directly related to the automation aspect of the body of knowledge area “formalization of services composition” (M.6.0.d) in the field of services computing.
In the context of business process integration and management (M.7), ensuring consistency of collaborative Web services with their own exit channels is still a challenge. In the body of knowledge area of Web services communication protocols (M.3.0.b), the second paper is entitled “Distributed Management of Concurrent Web Service Transactions” by Mohammad Alrifai, Peter Dolog, Wolf-Tilo Balke, and Wolfgang Nejdl. In this paper, the authors articulate this challenge and propose a software architecture to support concurrency control at the Web services level. In order to detect and handle transactional dependencies between concurrent business transactions between Web services, this paper presents an extension of the standard framework for Web services transactions. An optimistic protocol for concurrency control within the proposed architecture is also proposed to support distributed deployment. The performance of the proposed solutions was evaluated from throughput and response time perspectives.
Capturing domain expertise from the field in a reusable way is a good practice in modern services engineering. In the body of knowledge area of services as software (M.11.4) and application services and standards (M.12), the third paper is a review and survey work entitled “Ontology Classification for Semantic-Web-Based Software Engineering” by Yajing Zhao, Jing Dong, and Tu Peng. This paper starts with the review and classification of various ontologies developed for the software engineering community. The authors also review how Semantic Web techniques are applied to the areas of software engineering.
The remaining two papers are part of the special section on Requirements Engineering for Services—Challenges and Practices. In the body of knowledge areas of requirements-driven services discovery (M.6.0.c) and Web services modeling (M.3.0.a), the fourth paper is entitled “Requirements for QoS-Based Web Service Description and Discovery” by Kyriakos Kritikos and Dimitris Plexousakis. The fifth paper, entitled “An Online Monitoring Approach for Web Service Requirements,” is contributed by Qianxiang Wang, Jin Shao, Fang Deng, Yonggang Liu, Min Li, Jun Han, and Hong Mei. This paper is related to the body of knowledge areas of application management services (M.14.1.a) and aspects of business requirements (M.6.0.a). This special section is edited by three distinguished guest editors, Associate Professor Lin Liu from the School of Software at Tsinghua University, Associate Professor Eric Yu from the Faculty of Information Studies at University of Toronto, and Professor Hong Mei from the School of Electronics Engineering and Computer Science at Peking University. I would like to take this opportunity to send my special thanks to the guest editors and reviewers for their great contributions to the paper review process.
Finally, I want to appreciate TSC’s associate editors, reviewers, and the Computer Society staff who have managed the quality control process for all paper submissions in the whole year of 2009. I look forward to your continuous professional contributions to TSC as authors and volunteers in 2010 and beyond!
Liang-Jie (LJ) Zhang