{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T03:41:46Z","timestamp":1725507706307},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540792291"},{"type":"electronic","value":"9783540792307"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-79230-7_7","type":"book-chapter","created":{"date-parts":[[2008,4,12]],"date-time":"2008-04-12T06:53:23Z","timestamp":1207983203000},"page":"92-107","source":"Crossref","is-referenced-by-count":7,"title":["From BPEL to SRML: A Formal Transformational Approach"],"prefix":"10.1007","author":[{"given":"Laura","family":"Bocchi","sequence":"first","affiliation":[]},{"given":"Yi","family":"Hong","sequence":"additional","affiliation":[]},{"given":"Ant\u00f3nia","family":"Lopes","sequence":"additional","affiliation":[]},{"given":"Jos\u00e9 Luiz","family":"Fiadeiro","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"7_CR1","volume-title":"Formal Methods for Networked and Distributed Systems","author":"J. Abreu","year":"2007","unstructured":"Abreu, J., Bocchi, L., Fiadeiro, J.L., Lopes, A.: Specifying and composing interaction protocols for service-oriented system modelling. In: Formal Methods for Networked and Distributed Systems, Springer, Heidelberg (to appear, 2007)"},{"key":"7_CR2","unstructured":"Alves, A., et al.: Web Services Business Process Execution Language Version 2.0. Technical report, TC OASIS (2007), available from \n                  \n                    http:\/\/www.oasis-open.org\/"},{"key":"7_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"425","DOI":"10.1007\/11880240_30","volume-title":"Model Driven Engineering Languages and Systems","author":"E. Biermann","year":"2006","unstructured":"Biermann, E., Ehrig, K., Koehler, C., Kuhns, G., Taentzer, G., Weiss, E.: Graphical definition of in-place transformations in the Eclipse Modeling Framework. In: Nierstrasz, O., Whittle, J., Harel, D., Reggio, G. (eds.) MoDELS 2006. LNCS, vol.\u00a04199, pp. 425\u2013439. Springer, Heidelberg (2006)"},{"key":"7_CR4","unstructured":"Bisztray, D., Heckel, R.: Rule-level verification of business process transformation using CSP. In: Graph Transformation and Visual Modeling Techniques. Electronic Communications of the EASST (2007)"},{"key":"7_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1007\/11841197_13","volume-title":"Web Services and Formal Methods","author":"J.L. Fiadeiro","year":"2006","unstructured":"Fiadeiro, J.L., Lopes, A., Bocchi, L.: A formal approach to service-oriented architecture. In: Bravetti, M., N\u00fa\u00f1ez, M., Zavattaro, G. (eds.) WS-FM 2006. LNCS, vol.\u00a04184, pp. 193\u2013213. Springer, Heidelberg (2006)"},{"key":"7_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1007\/978-3-540-71998-4_3","volume-title":"Recent Trends in Algebraic Development Techniques","author":"J.L. Fiadeiro","year":"2007","unstructured":"Fiadeiro, J.L., Lopes, A., Bocchi, L.: Algebraic semantics of service component modules. In: Fiadeiro, J.L., Schobbens, P.-Y. (eds.) WADT 2006. LNCS, vol.\u00a04409, pp. 37\u201355. Springer, Heidelberg (2007)"},{"key":"7_CR7","unstructured":"Gnesi, S., Mazzanti, F.: On the fly model checking of communicating UML state machines. In: ACIS International Conference on Software Engineering Research, Management and Applications, pp. 331\u2013338 (2004)"},{"key":"7_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"284","DOI":"10.1007\/11581741_21","volume-title":"Model Driven Architecture \u2013 Foundations and Applications","author":"L. Grunske","year":"2005","unstructured":"Grunske, L., Geiger, L., Lawley, M.: A graphical specification of model transformations with triple graph grammars. In: Hartman, A., Kreische, D. (eds.) ECMDA-FA 2005. LNCS, vol.\u00a03748, pp. 284\u2013298. Springer, Heidelberg (2005)"},{"key":"7_CR9","unstructured":"Hausmann, J.H.: Dynamic Meta Modelling: a semantics description technique for visual modelling languages. PhD Thesis, Faculty of Computer Science, Electrical Engineering, and Mathematics, University of Paderborn, Germany (2005)"},{"key":"7_CR10","unstructured":"Hong, Y.: WSDL and BPEL to SRML-P Language Transformation. MSc Dissertation, University of Leicester (2006)"},{"key":"7_CR11","unstructured":"Object Management Group, MOF QVT Final Adopted Specification (2007), available from: \n                  \n                    http:\/\/www.omg.org\/docs\/ptc\/05-11-01.pdf"},{"key":"7_CR12","unstructured":"Ouyang, C., Verbeek, E., van del Aalst, W.M.P., Dumas, M., ter Hofstede, A.H.M.: Formal semantics and analysis of control flow in WS-BPEL (revised version). BPM Center Report BPM-05-15, BPMcenter.org (2005)"},{"key":"7_CR13","unstructured":"SCA Consortium Building Systems using a Service Oriented Architecture. Whitepaper version 0.9 (2005), available from: \n                  \n                    http:\/\/www.oracle.com\/technology\/tech\/webservices\/standards\/sca\/pdf\/SCA_White_Paper1_09.pdf"},{"key":"7_CR14","unstructured":"SCA Consortium SCA Client and Implementation Model Specification for WS-BPEL. Version 1.00 (2007), available from: \n                  \n                    http:\/\/www.osoa.org\/download\/attachments\/35\/SCA_ClientAndImplementationModelforBPEL_V100.pdf?version=1"},{"key":"7_CR15","unstructured":"Wirsing, M., Bocchi, L., Clark, A., Fiadeiro, J., Gilmore, S., H\u00f6lzl, M., Koch, N., Pugliese, R.: SENSORIA: Engineering for Service-Oriented Overlay Computers (submitted, 2007)"}],"container-title":["Lecture Notes in Computer Science","Web Services and Formal Methods"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-79230-7_7.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T11:14:33Z","timestamp":1619522073000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-79230-7_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540792291","9783540792307"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-79230-7_7","relation":{},"subject":[]}}