From BPEL to SRML: A formal transformational approach

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4937 LNCS, Issue , 2008, Pages 92-107

  Bocchi, Laura ^a   Hong, Yi ^a   Lopes, Antónia ^b   Fiadeiro, José Luiz ^a  

^a UNIVERSITY OF LEICESTER   (United Kingdom)

^b UNIVERSITY OF LISBON   (Portugal)

Author keywords

[No Author keywords available]

Indexed keywords

ENCODING (SYMBOLS); FORMAL LANGUAGES; MATHEMATICAL MODELS; SEMANTICS; WEB SERVICES;

BUSINESS PROCESSES; HIGH-LEVEL DECLARATIVE DESCRIPTIONS; MODEL TRANSFORMATION; SENSORIA REFERENCE MODELLING LANGUAGE (SRML);

COMPUTER PROGRAMMING LANGUAGES;

EID: 43149092953     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-79230-7_7     Document Type: Conference Paper

References (15)

1. Abreu, J., Bocchi, L., Fiadeiro, J.L., Lopes, A.: Specifying and composing interaction pro8tocols for service-oriented system modelling. In: Formal Methods for Networked and Distributed Systems. LNCS, Springer, Heidelberg (to appear, 2007)
2. Alves, A., et al.: Web Services Business Process Execution Language Version 2.0. Technical report, TC OASIS (2007), available from http://www.oasis-open.org/
3. 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. 4199, pp. 425-439. Springer, Heidelberg (2006)
4. 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)
5. Fiadeiro, J.L., Lopes, A., Bocchi, L.: A formal approach to service-oriented architecture. In: Bravetti, M., Nunez, M., Zavattaro, G. (eds.) WS-FM 2006. LNCS, vol. 4184, pp. 193-213. Springer, Heidelberg (2006)
6. 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. 4409, pp. 37-55. Springer, Heidelberg (2007)
7. 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-338 (2004)
8. 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. 3748, pp. 284-298. Springer, Heidelberg (2005)
9. 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)
10. Hong, Y.: WSDL and BPEL to SRML-P Language Transformation. MSc Dissertation, University of Leicester (2006)
11. Object Management Group, MOF QVT Final Adopted Specification (2007), available from: http://www.omg.org/docs/ptc/05-11-01.pdf
12. 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)
13. SCA Consortium Building Systems using a Service Oriented Architecture. Whitepaper version 0.9 (2005), available from: http://www.oracle.com/technology/ tech/webservices/standards/sea/pdf/SCA_White_Paperl_09.pdf
14. SCA Consortium SCA Client and Implementation Model Specification for WS-BPEL. Version 1.00 (2007), available from: http://www.osoa.org/download/ attachments/35/SCA_ClientAndImplementationModelforBPEL_V100.pdf?version=l
15. Wirsing, M., Bocchi, L., Clark, A., Fiadeiro, J., Gilmore, S., Holzl, M., Koch, N., Pugliese, R.: SENSORIA: Engineering for Service-Oriented Overlay Computers (submitted, 2007)