Issue No.04 - Oct.-Dec. (2013 vol.6)
pp: 536-550
Weikai Miao , Hosei University, Tokyo
Shaoying Liu , Hosei University, Tokyo
Service-based software modeling is considered as an effective technique for developing high-quality service-based systems. One major challenge of this approach is how to effectively utilize existing software services in the process of system modeling to ensure the reliability of the system while reducing the development cost and effort. In this paper, we propose a novel formal engineering framework by integrating an evolutionary service selection approach into a formal engineering method to tackle this problem. In the framework, initial requirements are gradually transformed into a formal design specification through three steps during which existing services are discovered, filtered, selected, and employed. Candidate services are discovered through a keyword-based searching. A static behavior analysis technique is then used to filter the candidate services and a specification-based testing method is adopted to rigorously select the candidate services. The selected services are finally incorporated into the formal design model of the system. We present an empirical case study that was conducted for evaluating the usability of our framework by applying it to develop a travel agency system. The result of the study demonstrates several advantages of the framework over existing approaches but meanwhile also shows some limitation in practice.
Mercury (metals), Erbium, Kuiper belt, Filtering, Formal specifications, Hafnium, Noise measurement,SOFL, Service-based software, formal methods, modeling, formal engineering methods
Weikai Miao, Shaoying Liu, "A Formal Engineering Framework for Service-Based Software Modeling", IEEE Transactions on Services Computing, vol.6, no. 4, pp. 536-550, Oct.-Dec. 2013, doi:10.1109/TSC.2012.22
[1] L.-J. Zhang and C.K. Chang, "Towards Services Computing Curriculum," Proc. IEEE Congress on Services, pp. 23-32, July 2008.
[2] M.P. Papazoglou, P. Traverso, S. Dustdar, and F. Leymann, "Service-Oriented Computing: State of the Art and Research Challenges," Computer, vol. 40, pp. 38-45, 2007.
[3] G. Spanoudakis and A. Zisman, "Discovering Services during Service-Based System Design Using UML," IEEE Trans. Software Eng., vol. 36, no. 3, pp. 371-389, May/June 2010.
[4] A. Hall, "Using Formal Methods to Develop an ATC Information System," IEEE Software, vol. 13, no. 2, pp. 66-76, Mar. 1996.
[5] G. Booch, Object-Oriented Analysis and Design with Applications. Addison Wesley Longman, 1994.
[6] "Web Services Description Language (WSDL) 1.1,", 2009.
[7] "Web Service Modeling Ontology (WSMO),", 2011.
[8] "OWL-S: Semantic Markup for Web Services,", 2011.
[9] M. Klusch, B. Fries, and K. Sycara, "Automated Semantic Web Service Discovery with OWLS-MX," Proc. Fifth Int'l Joint Conf. Autonomous Agents and MultiAgent Systems (AAMAS '06), pp. 915-922, May 2006.
[10] G. Meditskos and N. Bassiliades, "Structural and Role-Oriented Web Service Discovery with Taxonomies in OWL-S," IEEE Trans. Knowledge and Data Eng., vol. 22, no. 2, pp. 278-290, Feb. 2010.
[11] R. Heckel and L. Mariani, "Automatic Conformance Testing of Web Services," Proc. Eighth Int'l Conf. Fundamental Approaches to Software Eng. (FASE '05), pp. 34-48, Apr. 2005.
[12] Y. Park, W. Jung, B. Lee, and C. Wu, "Automatic Discovery of Web Services Based on Dynamic Black-Box Testing," Proc. IEEE 33rd Ann. Int'l Computer Software and Applications Conf. (COMPSAC '09), pp. 107-114, July 2009.
[13] A. Flores, A. Cechich, A. Zunino, and M. Usaola, "Testing-Based Selection Method for Integrability on Service-Oriented Applications," Proc. Fifth Int'l Conf. Software Eng. Advances (ICSEA '10), pp. 373-379, Aug. 2010.
[14] M. Paradkar et al., "Automated Functional Conformance Test Generation for Semantic Web Services," Proc. IEEE Int'l Conf. Web Services (ICWS '07), pp. 110-117, July 2007.
[15] D. Schumm, D. Karastoyanova, F. Leymann, and J. Nitzsche, "On Visualizing and Modelling BPEL with BPMN," Proc. Int'l Workshops at the Grid and Pervasive Computing Conf., pp. 80-87, May 2009.
[16] J. Recker and J. Mendling, "On the Translation between BPMN and BPEL: Conceptual Mismatch between Process Modeling Languages," Proc. Int'l Workshop Exploring Modeling Methods for Systems Analysis and Design, pp. 521-532, June 2006.
[17] X. Liu, Y. Hui, W. Sun, and H. Liang, "Towards Service Composition Based on Mashup," Proc. IEEE Congress on Services, pp. 332-339, July 2007.
[18] A. Bozzon, M. Brambilla, F. Facca, and G. Carughu, "A Conceptual Modeling Approach to Business Service Mashup Development," Proc. IEEE Int'l Conf. Web Services (ICWS '09), pp. 751-758, July 2009.
[19] J. Lathem, K. Gomadam, and A. Sheth, "SA-REST and (S)mashups: Adding Semantics to RESTful Services," Proc. Int'l Conf. Semantic Computing (ICSC '07), pp. 469-476, Sept. 2007.
[20] P.Y.H. Wong and J. Gibbonse, "Verifying Business Process Compatibility," Proc. Eighth Int'l Conf. Quality Software, pp. 126-131, June 2008.
[21] J. Ye, S. Sun, W. Song, and L. Wen, "Formal Semantics of BPMN Process Models Using YAWL," Proc. Second Int'l Symp. Intelligent Information Technology Application, vol. 2, pp. 70-74, Dec. 2008.
[22] W. Tan, Y. Fan, and M. Zhou, "A Petri Net-Based Method for Compatibility Analysis and Composition of Web Services in Business Process Execution Language," IEEE Trans. Automation Science and Eng., vol. 6, no. 1, pp. 94-106, Jan. 2009.
[23] S. Liu, A.J. Offutt, C. Ho-Stuart, Y. Sun, and M. Ohba, "SOFL: A Formal Engineering Methodology for Industrial Applications," IEEE Trans. Software Eng., vol. 24, no. 1, pp. 24-45, Jan. 1998.
[24] S. Liu, Formal Engineering for Industrial Software Development Using the SOFL Method. Springer-Verlag, 2004.
[25] S. Liu, Y. Chen, F. Nagoya, and J. McDermid, "Formal Specification-Based Inspection for Verification of Programs," IEEE Trans. Software Eng., vol. 38, no. 5, pp. 1100-1122, Sept./Oct. 2011.
[26] S. Liu, T. Tamai, and S. Nakajima, "A Framework for Integrating Formal Specification, Review, and Testing to Enhance Software Reliability," Int'l J. Software Eng. and Knowledge Eng., vol. 21, no. 2, pp. 259-288, 2011.
[27] H. Chawla, H. Xu, and M. Zhou, "A Real-Time Reliability Model for Ontology-Based Dynamic Web Service Composition," Proc. 23rd Int'l Conf. Software Eng. and Knowledge Eng. (SEKE '11), pp. 153-158, July 2011.
[28] S. Liu, M. Asuka, K. Komaya, and Y. Nakamura, "Applying SOFL to Specify a Railway Crossing Controller for Industry Industrial Strength Formal Specification Techniques," Proc. IEEE Second Workshop Industrial Strength Formal Specification Techniques, pp. 16-27, Oct. 1998.
[29] "Documents Associated with Service oriented architecture Modeling Language (SoaML), Version 1.0,", 2011.
[30] "Incubator Activity > W3C Unified Service Description Language Incubator Group,", 2011.
[31] J. Fan and S. Kambhampati, "A Snapshot of Public Web Services," ACM SIGMOD Record, vol. 34, no. 1, pp. 24-32, 2005.
[32] H. Lausen and N. Steinmetz, "Survey of Current Means to Discover Web Services," STI technical report, 2008.
[33] T. Takemura, "Formal Semantics and Verification of BPMN Transaction and Compensation," Proc. IEEE Asia-Pacific Services Computing Conf. (APSCC '08), pp. 284-290, Dec. 2008.
[34] S. Liu, "Integrating Specification-Based Review and Testing for Detecting Errors in Programs," Proc. Ninth Int'l Conf. Formal Eng. Methods (ICFEM '07), pp. 136-150, Nov. 2007.
[35] W. Miao and S. Liu, "A Formal Specification-Based Testing Approach to Accurate Web Service Selection," Proc. IEEE Int'l Conf. Asia-Pacific Services Computing (APSCC '11), pp. 259-266, Dec. 2011.
[36] S. Liu, F. Nagoya, Y. Chen, M. Goya, and J.A. McDermid, "An Automated Approach to Specification-Based Program Inspection," Proc. Seventh Int'l Conf. Formal Eng. Methods (ICFEM '05), pp. 421-434, Nov. 2005.
[37] S. Liu and X. Xue, "Automated Software Specification and Design Using the SOFL Formal Engineering Method," Proc. World Congress on Software Eng., pp. 283-289, May 2009.
[38] S. Liu, J. McDermid, and Y. Chen, "A Rigorous Method for Inspection of Model-Based Formal Specifications," IEEE Trans. Reliability, vol. 59, no. 4, pp. 667-684, Dec. 2010.
[39] SOA4ALL, http:/, 2011.
[40] R. Aggarwal, K. Verma, J. Miller, and W. Milnor, "Constraint Driven Web Service Composition in METEOR-S," Proc. IEEE Int'l Conf. Services Computing (SCC '04), pp. 23-30, Sept. 2004.
[41] "METEOR-S: Semantic Web Services and Processes,", 2011.
[42] "Welcome to SHAPE," http:/, 2011.
[43] M. Jokhio, G. Dobbie, and J. Sun, "Towards Specification Based Testing for Semantic Web Services," Proc. Software Eng. Conf., (ASWEC '09), pp. 54-63, Apr. 2009.
[44] A. Bertolino and A. Polini, "Audition of Web Services for Testing Conformance to Open Specified Protocols," Proc. Int'l Conf. Architecting Systems with Trustworthy Components, pp. 1-25, 2006.
[45] INF5120/v05/undervisningsmaterialeCOMET_Method_v2-4.pdf , 2011.
[46] S. Wenhui, W. Jinzhao, and X. Yuqing, "Methodological Support for Service-Oriented Design with rCOS," Proc. Int'l Symp. Information Eng. and Electronic Commerce (IEEC '09), pp. 383-387, May 2009.
[47] A. Arsanjani, S. Ghosh, A. Allam, T. Abdollah, S. Ganapathy, and K. Holley, "SOMA: A Method for Developing Service-Oriented Solutions," IBM Systems J., vol. 47, no. 3, pp. 377-396, 2008.
[48] H. Gao, J. Zhang, R. Povalej, and W. Stucky, "Service-Oriented Modeling Method for the Development of an E-Commerce Platform," Proc. Int'l Conf. E-Business and Information System Security, pp. 1-5, May 2009.
[49] H.D. Kim, "BPMN-Based Modeling of B2B Business Processes from the Neutral Perspective of UMM/BPSS," Proc. IEEE Int'l Conf. E-Business Eng. (ICEBE '08), pp. 417-422, Oct. 2008.
[50] A. Sadovykh, P. Desfray, B. Elvesaeter, A.-J.Web Berre, and E. Landre, "Enterprise Architecture Modeling with SoaML Using BMM and BPMN—MDA Approach in Practice," Proc. Sixth Central and Eastern European Software Eng. Conf., pp. 79-85, Oct. 2010.