{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T11:40:33Z","timestamp":1742989233548,"version":"3.40.3"},"publisher-location":"Cham","reference-count":18,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319049144"},{"type":"electronic","value":"9783319049151"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-04915-1_7","type":"book-chapter","created":{"date-parts":[[2014,2,20]],"date-time":"2014-02-20T15:12:22Z","timestamp":1392909142000},"page":"89-103","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Prototype Tool for Supporting a Formal Engineering Approach to Service-Based Software Modeling"],"prefix":"10.1007","author":[{"given":"Weikai","family":"Miao","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shaoying","family":"Liu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2014,2,21]]},"reference":[{"key":"7_CR1","unstructured":"http:\/\/www.bpmn.org\/ (2011) (Online)"},{"key":"7_CR2","unstructured":"http:\/\/docs.oasis-open.org\/wsbpel\/2.0\/wsbpel-v2.0.pdf (2011) (Online)"},{"key":"7_CR3","doi-asserted-by":"crossref","unstructured":"Bai, L., Wei, J.: A service-oriented business process modeling methodology and implementation. In: International Conference on Interoperability for Enterprise Software and Applications China, 2009, IESA \u201909, April 2009, pp. 201\u2013205 (2009)","DOI":"10.1109\/I-ESA.2009.14"},{"key":"7_CR4","doi-asserted-by":"crossref","unstructured":"Bozzon, A., Brambilla, M., Facca, F., Carughu, G.: A conceptual modeling approach to business service mashup development. In: IEEE International Conference on Web Services (ICWS), July 2009, pp. 751\u2013758 (2009)","DOI":"10.1109\/ICWS.2009.24"},{"key":"7_CR5","doi-asserted-by":"crossref","unstructured":"Decker, G., Kopp, O., Leymann, F., Weske, M.: BPEL4Chor: extending BPEL for modeling choreographies. In: International Conference on Web Services (ICWS), July 2007, pp. 296\u2013303 (2007)","DOI":"10.1109\/ICWS.2007.59"},{"key":"7_CR6","doi-asserted-by":"crossref","unstructured":"Klusch, M., Fries, B., Sycara, K.: Automated semantic web service discovery with OWLS-MX. In: Fifth International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS), Hakodate, Japan, May 2006, pp. 915\u2013922 (2006)","DOI":"10.1145\/1160633.1160796"},{"key":"7_CR7","unstructured":"Liu, S., Chen, Y., Nagoya, F., McDermid, J.: Formal specification-based inspection for verification of programs. IEEE Trans. Softw. Eng. 99 (2011, PrePrints)"},{"key":"7_CR8","series-title":"LNCS","first-page":"136","volume-title":"ICFEM 2007","author":"S Liu","year":"2007","unstructured":"Liu, S.: Integrating specification-based review and testing for detecting errors in programs. In: Butler, M., Hinchey, M.G., Larrondo-Petrie, M.M. (eds.) ICFEM 2007. LNCS, vol. 4789, pp. 136\u2013150. Springer, Heidelberg (2007)"},{"issue":"4","key":"7_CR9","doi-asserted-by":"publisher","first-page":"667","DOI":"10.1109\/TR.2010.2085571","volume":"59","author":"S Liu","year":"2010","unstructured":"Liu, S., McDermid, J., Chen, Y.: A rigorous method for inspection of model-based formal specifications. IEEE Trans. Reliab. 59(4), 667\u2013684 (2010)","journal-title":"IEEE Trans. Reliab."},{"key":"7_CR10","doi-asserted-by":"crossref","unstructured":"Liu, S., Nakajima, S.: A \u201cVibration\u201d method for automatically generating test cases based on formal specifications. In: 18th Asia-Pacific Software Engineering Conference (APSEC2011), Ho Chi Minh, Vietnam, December 2011, pp. 73\u201380 (2011)","DOI":"10.1109\/APSEC.2011.16"},{"issue":"2","key":"7_CR11","doi-asserted-by":"publisher","first-page":"278","DOI":"10.1109\/TKDE.2009.89","volume":"22","author":"G Meditskos","year":"2010","unstructured":"Meditskos, G., Bassiliades, N.: Structural and role-oriented web service discovery with taxonomies in OWL-S. IEEE Trans. Knowl. Data Eng. 22(2), 278\u2013290 (2010)","journal-title":"IEEE Trans. Knowl. Data Eng."},{"issue":"4","key":"7_CR12","doi-asserted-by":"publisher","first-page":"536","DOI":"10.1109\/TSC.2012.22","volume":"6","author":"W Miao","year":"2013","unstructured":"Miao, W., Liu, S.: A formal engineering framework for service-based software modeling. IEEE Trans. Serv. Comput. 6(4), 536\u2013550 (2013)","journal-title":"IEEE Trans. Serv. Comput."},{"key":"7_CR13","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1109\/MC.2007.400","volume":"40","author":"MP Papazoglou","year":"2007","unstructured":"Papazoglou, M.P., Traverso, P., Dustdar, S., Leymann, F.: Service-oriented computing: state of the art and research challenges. Computer 40, 38\u201345 (2007)","journal-title":"Computer"},{"key":"7_CR14","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-07287-5","volume-title":"Formal Engineering for Industrial Software Development Using the SOFL Method","author":"S Liu","year":"2004","unstructured":"Liu, S.: Formal Engineering for Industrial Software Development Using the SOFL Method. Springer, Heidelberg (2004)"},{"key":"7_CR15","first-page":"24","volume":"1","author":"S Liu","year":"1998","unstructured":"Liu, S., Offutt, A.J., Ho-Stuart, C., Sun, Y., Ohba, M.: SOFL: a formal engineering methodology for industrial applications. IEEE Trans. Softw. Eng. 1, 24\u201345 (1998)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"3","key":"7_CR16","doi-asserted-by":"publisher","first-page":"371","DOI":"10.1109\/TSE.2009.88","volume":"36","author":"G Spanoudakis","year":"2010","unstructured":"Spanoudakis, G., Zisman, A.: Discovering services during service-based system design using UML. IEEE Trans. Softw. Eng. 36(3), 371\u2013389 (2010)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"7_CR17","series-title":"LNCS","first-page":"355","volume-title":"ICFEM 2008","author":"PYH Wong","year":"2008","unstructured":"Wong, P.Y.H., Gibbons, J.: A process semantics for BPMN. In: Liu, S., Maibaum, T., Araki, K. (eds.) ICFEM 2008. LNCS, vol. 5256, pp. 355\u2013374. Springer, Heidelberg (2008)"},{"key":"7_CR18","doi-asserted-by":"crossref","unstructured":"Ye, J., Sun, S., Song, W., Wen, L.: Formal semantics of BPMN process models using YAWL. In: Second International Symposium on Intelligent Information Technology Application, December 2008, vol. 2, pp. 70\u201374 (2008)","DOI":"10.1109\/IITA.2008.68"}],"container-title":["Lecture Notes in Computer Science","Structured Object-Oriented Formal Language and Method"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-04915-1_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,19]],"date-time":"2023-01-19T17:13:12Z","timestamp":1674148392000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-04915-1_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319049144","9783319049151"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-04915-1_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]},"assertion":[{"value":"21 February 2014","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}