›› 2010, Vol. 25 ›› Issue (6): 1103-1117.doi: 10.1007/s11390-010-1088-1

• Special Issue on Software Engineering for High-Confidence Systems • Previous Articles     Next Articles

Semantic Interoperability Aggregation in Service Requirements Refinement

Ke-Qing He (何克清), Senior Member, CCF, IEEE, Jian Wang (王健), Member, CCF and Peng Liang (梁鹏), Member, CCF, ACM, IEEE   

  1. State Key Lab of Software Engineering (SKLSE), Wuhan University, Wuhan 430072, China
  • Received:2009-07-15 Revised:2010-01-28 Online:2010-11-01 Published:2010-11-01
  • About author:Ke-Qing He received his B.S. degree in mathematics from Wuhan University in 1970 and Ph.D. degree in computer science from Hokkaido University of Japan in 1995. He is a professor in State Key Lab of Software Engineering (SKLSE) and the director of Software Engineering Institute at Wuhan University. His research interests include service-oriented software engineering, networked software engineering based on complex system, service-oriented requirements engineering, and software engineering technical standards for interoperability. He is now a senior member of IEEE and CCF, and Vice Director of CCF TCSC (Technical Committee on Service Computing), and an editor of ISO/IEC JTC1 SC32. Until now, he has published over 120 papers and 4 monographs, and developed ISO standard ISO/IEC 19763-3.
    Jian Wang received his B.S. degree from University of Jinan in 2002, M.S. degree from Guizhou University in 2005, and Ph.D. degree from Wuhan University in 2008. He is a lecturer in the State Key Lab of Software Engineering (SKLSE) at Wuhan University. His main research interests include requirements engineering, service registration, and semantic interoperability. He is a member of CCF.
    Peng Liang received his B.S. degree in computer science from Wuhan University of Technology in 2000, and M.S. degree in computer science (software engineering) from Vrije Universiteit Brussel in 2002, and Ph.D. degree in computer science (software engineering) from Wuhan University in 2006. He is an associate professor in the State Key Lab of Software Engineering (SKLSE) at Wuhan University. His research interests include software engineering, semantic-enabled requirements engineering, software architecture, and software interoperability. He is a member of CCF, IEEE and ACM. He has published over 40 publications, including five book chapters and one co-authored book.
  • Supported by:

    This work is supported by the National Basic Research 973 Program of China under Grant No. 2007CB310801, the National Natural Science Foundation of China under Grant Nos. 60970017 and 60903034.

Semantic refinement of stakeholders' requirements is a fundamental issue in requirements engineering. Facing with the on-demand collaboration problem among the heterogeneous, autonomous, and dynamic service resources in the Web, service requirements refinement becomes extremely important, and the key issue in service requirements refinement is semantic interoperability aggregation. A method for creating connecting ontologies driven by requirement sign ontology is proposed. Based on connecting ontologies, a method for semantic interoperability aggregation in requirements refinement is proposed. In addition, we discover that the necessary condition for semantic interoperability is semantic similarity, and the sufficient condition is the coverability of the agreed mediation ontology. Based on this viewpoint, a metric framework for calculating semantic interoperability capability is proposed. This methodology can provide a semantic representation mechanism for refining users' requirements; meanwhile, since users' requirements in the Web usually originate from different domains, it can also provide semantic interoperability guidance for networked service discovery, and is an effective approach for the realization of on-demand service integration. The methodology will be beneficial in service-oriented software engineering and cloud computing.

[1] He K, Peng R, Liu W et al. Networked Software. Science Press, China, 2008. (in Chinese)

[2] Karim S, Latif K, Tjoa A M. Providing universal accessibility using connecting ontologies: A holistic approach. In Proc. the 4th Int. Conf. Universal Access in Human Computer Interaction, Beijing, China, Jul.22-27, 2007, pp.637-646.

[3] Cregan A. W3C semantic Web ontology languages: OWL and RDF tutorial. In ISO/IEC JTC1 SC32 11th Open Forum on Metadata Registries, Tutorial, Sydney, Australia, May 19-22, 2008.

[4] He K, He Y, Wang C et al. Ontology and Metamodeling Theory, Method and Applications. Science Press, China, 2008. (in Chinese)

[5] Wang J, He K, Gong P et al. RGPS: A unified requirements meta-modeling frame for networked software. In Proc. the 3rd International Workshop on Advances and Applications of Problem Frames (IWAAPF 2008) at 30th International Conference on Software Engineering (ICSE 2008), Leipzig, Germany, May 10-18, 2008, pp.29-35.

[6] Stabb S, Studer R (eds.). Handbook on Ontologies. International Handbooks on Information Systems, Springer, 2004.

[7] Heflin J, Hendler J. Semantic interoperability on the Web. In Proc. Extreme Markup Languages 2000, Alexandria, USA, Aug.15-18, 2000, pp.111-120.

[8] SIM-TBASSC. http://www.isi.edu/tbassco/index.html, Oct. 15, 2008.

[9] Pierre L, Jean M R et al. A Deployment and Research Roadmap for Semantic Interoperability: The EU SemanticHEALTH Project. eHealth Beyond the Horizon --- Get IT There, Andersen S K et al. (eds.), 2008, pp.635-640.

[10] Cleverdon C. The Cranfield Tests on Index Language Devices. Morgan Kaufmann Multimedia Information and Systems Series, Morgan Kaufmann Publishers Inc., 1997, pp.47-59.

[11] Ehrig M, Euzenat J. Generalizing precision and recall for evaluating ontology matching. In Proc. the 4th International Semantic Web Conference (ISWC), Poster Session, Galway, Ireland, Nov.6-10, 2005, PID-54.

[12] Euzenat J. Semantic precision and recall for ontology alignment evaluation. In Proc. the 20th International Joint Conference on Artificial Intelligence (IJCAI), Hyderabad, India, Jan. 6-12, 2007, pp.348-353.

[13] Budanitsky A. Lexical semantic relatedness and its application in natural language processing. Technical Report CSRG390, University of Toronto, 1999.

[14] Budanitsky A, Hirst G. Semantic distance in Word-Net: An experimental, application-oriented evaluation of five measures. In Proc. the NAACL 2001 Workshop on WordNet and Other Lexical Resource, Pittsburgh, USA, Jun. 3-4, 2001, pp.29-34.

[15] Liang P, Jansen A, Avgeriou P. Sharing architecture knowledge through models: Quality and cost. The Knowledge Engineering Review, 2008, 23(4): 225-244.

[16] Ganesan P, Garcia-Molina H, Widom J. Exploiting hierarchical domain structure to compute similarity. ACM Transactions on Information Systems, 2003, 21(1): 64-93.

[17] Seidenberg J, Rector A. Web ontology segmentation: Analysis, classification and use. In Proc. the 15th International Conference on World Wide Web, Southampton, UK, May 11-14, 2006, pp.13-22.

[18] Zeng C, He K, Yu Z eta al. Towards improving Web service registry & repository model through ontology-based semantic interoperability. In Proc. the 9th International Conference on Grid and Cooperative Computing, Shenzhen, China, Oct. 24-26, 2008, pp.747-752.

[19] Chen H, He K, He Y et al. An automated approach for requirements driven model selection. In Proc. the 1st International Workshop on Data and Semantic Engineering for Emerging Technology and Services, Busan, Korea, Nov. 11-13, 2008, pp.1052-1057.

[20] Ivan M et al. (eds.). Collaborative Software Engineering. Springer, 2009.
No related articles found!
Full text



[1] Liu Mingye; Hong Enyu;. Some Covering Problems and Their Solutions in Automatic Logic Synthesis Systems[J]. , 1986, 1(2): 83 -92 .
[2] Chen Shihua;. On the Structure of (Weak) Inverses of an (Weakly) Invertible Finite Automaton[J]. , 1986, 1(3): 92 -100 .
[3] Gao Qingshi; Zhang Xiang; Yang Shufan; Chen Shuqing;. Vector Computer 757[J]. , 1986, 1(3): 1 -14 .
[4] Chen Zhaoxiong; Gao Qingshi;. A Substitution Based Model for the Implementation of PROLOG——The Design and Implementation of LPROLOG[J]. , 1986, 1(4): 17 -26 .
[5] Huang Heyan;. A Parallel Implementation Model of HPARLOG[J]. , 1986, 1(4): 27 -38 .
[6] Min Yinghua; Han Zhide;. A Built-in Test Pattern Generator[J]. , 1986, 1(4): 62 -74 .
[7] Tang Tonggao; Zhao Zhaokeng;. Stack Method in Program Semantics[J]. , 1987, 2(1): 51 -63 .
[8] Min Yinghua;. Easy Test Generation PLAs[J]. , 1987, 2(1): 72 -80 .
[9] Zhu Hong;. Some Mathematical Properties of the Functional Programming Language FP[J]. , 1987, 2(3): 202 -216 .
[10] Li Minghui;. CAD System of Microprogrammed Digital Systems[J]. , 1987, 2(3): 226 -235 .

ISSN 1000-9000(Print)

CN 11-2296/TP

Editorial Board
Author Guidelines
Journal of Computer Science and Technology
Institute of Computing Technology, Chinese Academy of Sciences
P.O. Box 2704, Beijing 100190 P.R. China
E-mail: jcst@ict.ac.cn
  Copyright ©2015 JCST, All Rights Reserved