{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T14:50:31Z","timestamp":1742914231379,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642392764"},{"type":"electronic","value":"9783642392771"}],"license":[{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2013,1,1]],"date-time":"2013-01-01T00:00:00Z","timestamp":1356998400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-39277-1_10","type":"book-chapter","created":{"date-parts":[[2013,8,3]],"date-time":"2013-08-03T02:46:58Z","timestamp":1375498018000},"page":"133-147","source":"Crossref","is-referenced-by-count":0,"title":["Extension on Transactional Remote Services in SOFL"],"prefix":"10.1007","author":[{"given":"Yisheng","family":"Wang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Haopeng","family":"Chen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"10_CR1","unstructured":"Marciniak, J.J.: Encyclopedia of Software Engineering, 2nd edn. Wiley Publications (1994)"},{"key":"10_CR2","unstructured":"Cai, L., Yang, G.: Software Quality Assurance Testing and Evaluating. Tsing Hua University Publications (2007)"},{"key":"10_CR3","unstructured":"Aked, M.: RUP in brief. In: Risk Reduction with the RUP Phase Plan, pp. 1\u201310. IBM (November 2003)"},{"key":"10_CR4","unstructured":"Pressman, R.S.: Software Engineering, a Practitioner\u2019s Approach. McGraw-Hill Science\/Engineering\/Math. (2009)"},{"key":"10_CR5","unstructured":"Liu, S.: Formal Engineering for Industrial Software Development. Springer (2008)"},{"key":"10_CR6","unstructured":"Liu, S.: A property-based approach to reviewing formal specifications for consistency. In: Proc. of 16th International Conference on Software Systems Engineering and Their Applications, pp. 1\u20136 (2003)"},{"key":"10_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1007\/978-3-540-30476-0_6","volume-title":"Automated Technology for Verification and Analysis","author":"S. Liu","year":"2004","unstructured":"Liu, S.: An automated rigorous review method for verifying and validating formal specifications. In: Wang, F. (ed.) ATVA 2004. LNCS, vol.\u00a03299, pp. 15\u201319. Springer, Heidelberg (2004)"},{"key":"10_CR8","doi-asserted-by":"crossref","unstructured":"Sun, C., Zhang, X., Zheng, L.: The research of the component-based software engineering. In: Sixth International Conference on Information Technology: New Generations, ITNG 2009, pp. 1590\u20131591 (2009)","DOI":"10.1109\/ITNG.2009.70"},{"key":"10_CR9","unstructured":"Bell, M.: Introduction to Service-Oriented Modeling. Wiley and Sons (2008)"},{"key":"10_CR10","unstructured":"Raicu, I., Lu, S., Foster, I., Zhao, Y.: Cloud computing and grid computing 360-degree compared. In: Grid Computing Environments Workshop, GCE, pp. 1\u201310 (August 2008)"},{"key":"10_CR11","unstructured":"Benslimane, D., Dustdar, S., Sheth, A.: Services mashups: The new generation of web applications"},{"key":"10_CR12","unstructured":"Korth, H.F., Silberschatz, A.: Database System Concepts, 4th edn. McGraw-Hill Education (2006)"},{"key":"10_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"514","DOI":"10.1007\/978-3-540-69387-1_58","volume-title":"Computational Science \u2013 ICCS 2008","author":"S. Morimoto","year":"2008","unstructured":"Morimoto, S.: A survey of formal verification for business process modeling. In: Bubak, M., van Albada, G.D., Dongarra, J., Sloot, P.M.A. (eds.) ICCS 2008, Part II. LNCS, vol.\u00a05102, pp. 514\u2013522. Springer, Heidelberg (2008)"},{"key":"10_CR14","unstructured":"Sipei, L., Jin, W., Lei, W., Park, S.: Description logic rule, matching process algebra\u00a0based OWL-S\u00a0modeling, and composition"},{"key":"10_CR15","doi-asserted-by":"crossref","unstructured":"Schaerf, M., Salaun, G., Bordeaux, L.: Describing and reasoning on web services using process algebra. In: Proceedings of the IEEE International Conference on Web Services, pp. 43\u201350 (2004)","DOI":"10.1109\/ICWS.2004.1314722"},{"key":"10_CR16","unstructured":"Verbeek: Analyzing bpel processes using petri nets"},{"key":"10_CR17","unstructured":"Van der Aalst: Verification of workflow nets"},{"key":"10_CR18","unstructured":"Dumas, M., Van der Aalst, Verbeek, H.M.W.: An approach based on bpel and petri nets (extended version)"},{"key":"10_CR19","unstructured":"Hopcroft, J.E., Ullman, J.D.: Introduction to Automata Theory, Languages, and Computation, 3rd edn. Addison-Wesley (2006)"},{"key":"10_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"230","DOI":"10.1007\/11549970_17","volume-title":"Formal Techniques for Computer Systems and Business Processes","author":"G. Diaz","year":"2005","unstructured":"Diaz, G., Pardo, J.-J., Cambronero, M.-E., Valero, V., Cuartero, F.: Automatic translation of WS-CDL choreographies to timed automata. In: Bravetti, M., Kloul, L., Zavattaro, G. (eds.) EPEW\/WS-EM 2005. LNCS, vol.\u00a03670, pp. 230\u2013242. Springer, Heidelberg (2005)"},{"key":"10_CR21","doi-asserted-by":"crossref","unstructured":"Fu, X., Bultan, T., Su, J.: Analysis of interacting bpel web services. In: Proc. of 13th International Conference on the World Wide Web, pp. 621\u2013630 (2004)","DOI":"10.1145\/988672.988756"},{"key":"10_CR22","unstructured":"Sun, Y., Liu, S.: Structured methodology+object-oriented methodology+formal methods: methodology of sofl"},{"key":"10_CR23","unstructured":"Miyamoto, K., Liu, S., Fukuzaki, T.: A gui and testing tool for sofl"},{"key":"10_CR24","first-page":"88","volume":"1","author":"Y. Wang","year":"2011","unstructured":"Wang, Y., Zheng, Q., Chen, H.: Soflipse: Tool for automatic modelling and reviewing sofl workflows. International Journal of Computing Technology and Information Security\u00a01, 88\u201398 (2011)","journal-title":"International Journal of Computing Technology and Information Security"}],"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-642-39277-1_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,19]],"date-time":"2023-01-19T11:47:37Z","timestamp":1674128857000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-39277-1_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642392764","9783642392771"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-39277-1_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}