SRML — A Service Modelling Language Current team:
Laura Bocchi, José Fiadeiro, Yi Hong, Antónia Lopes
Previous contributors:
João Abreu
SRML is a modelling language for service-oriented systems developed by the IST-FET-GC2 Integrated Project SENSORIA. SRML operates at the higher levels of abstraction of business modelling, i.e. it provides a number of semantic modelling primitives that are independent of the languages and platforms in which services are programmed and executed. In particular, SRML abstracts from the typical mechanisms made available by service-oriented middleware such as sessions and event/message correlation, as well as the brokers that are responsible for the discovery and binding of services. A formal computation and coordination model was developed for SRML over which qualitative and quantitative analysis techniques were defined using the UMC model checker and the PEPA stochastic analyser. An algebraic semantics was also developed for the run-time discovery, selection and binding mechanisms. Finally, methodological aspects of engineering business services and activities were investigated, which were supported through extensions of use-case and message-sequence diagrams and tested over a number of case studies. - J. Abreu (2009) Modelling Business Conversations in Service Component Architectures, Ph.D. Thesis, University of Leicester (220 pages)
- J. Abreu, F. Mazzanti, J. Fiadeiro, S. Gnesi (2009) A model-checking approach for service component architectures. In: D. Lee, A. Lopes, A. Poetzsch-Heffter (eds) Formal Methods for Networked and Distributed Systems. LNCS, vol 5522. Springer, pp 219-224
- J. Abreu, J. Fiadeiro (2008) A coordination model for service-oriented interactions. In: D Lea, G. Zavattaro (eds) Coordination Languages and Models. LNCS, vol 5052. Springer, pp 1–16
- J. Abreu, L. Bocchi, J. Fiadeiro, A. Lopes (2007) Specifying and composing interaction protocols for service-oriented system modelling. In: J. Derrick, J. Vain (eds) Formal Methods for Networked and Distributed Systems. LNCS, vol 4574. Springer, pp 358–373
- L. Bocchi, J. Fiadeiro, S. Gilmore, J. Abreu, M. Solanki, V. Vankayala (2009) A Formal Approach to Modelling Time Properties of Service-Oriented Systems. In: Handbook of Research on Non-Functional
Properties for Service-Oriented Systems: Future Directions. Advances in Knowledge Management Book Series. IGI Global.
- L. Bocchi, J. Fiadeiro, A. Lapadula, R. Pugliese, F. Tiezzi (2009) From Architectural to Behavioural Specification of Services. In: Proc. 6th International Workshop on Formal Engineering Approaches to Software Component and Architectures. Electronic Notes in Theoretical Computer Science 253(1): 3-21
- L. Bocchi, J. Fiadeiro, A. Lopes (2008) Service-oriented modelling of automotive systems. In: Proc. 32nd IEEE Int. Computer Software and Applications Conference (COMPSAC). IEEE , pp 1059–1064
- L. Bocchi, J. Fiadeiro, A. Lopes (2008) A use-case driven approach to formal service-oriented modelling. In: T. Margaria, B. Steffen (eds) Leveraging Applications of Formal Methods, Verification and Validation. CCIS, vol 17. Springer, pp 155–169
- L. Bocchi, S. Gorton, S. Reiff-Marganiec (2008) Engineering Service-Oriented Applications: From StPowla Processes to SRML Models. In: Proc. of Fundamental Approaches to Software Engineering (FASE). LNCS, vol 4961. Springer, pp 163-178
- L. Bocchi, Y. Hong, A. Lopes, J. Fiadeiro (2007) From BPEL to SRML: a formal transformational approach. In: M. Dumas, R. Heckel (eds) Web Services and Formal Methods. LNCS, vol 4937. Springer, pp 92–107
- J. L. Fiadeiro (2008) What do semantics matter when the meat is overcooked?. In: P. Degano, R. De Nicola, J. Meseguer (eds) Concurrency, Graphs and Model. LNCS, vol 5065. Springer, pp 563-580
- J. L. Fiadeiro, A. Lopes (2011) An interface theory for service-oriented design. In: D. Giannakopoulou, F. Orejas (eds) FASE 2011. LNCS, vol 6603, Springer, pp 18-33
- J. L. Fiadeiro, A. Lopes (2012) Consistency of service composition. In: J. de Lara and
A. Zisman (eds) FASE 2012. LNCS, vol 7212. Springer, pp. 63-77
- J. L. Fiadeiro, A. Lopes (2012) An Interface Theory for Service-Oriented Design. Extended version of the FASE'11 and FASE'12 papers. Submitted.
- J. L. Fiadeiro, A. Lopes (2012) A model for dynamic reconfiguration in service-oriented architectures. In: Journal of Software and Systems Modeling, in print. (Extended version of the ECSA'10 paper - best paper award).
- J. L. Fiadeiro, A. Lopes, J. Abreu (2010) A formal model for service-oriented interactions. submitted
- J. Fiadeiro, A. Lopes, L. Bocchi, J. Abreu (2009) A Formal Approach to Service-Oriented Modelling (51 pages, 7MB): this is a comprehensive account of SRML
- J. L. Fiadeiro, A. Lopes, L. Bocchi (2007) Algebraic semantics of service component modules. In: J. L. Fiadeiro, P. Y. Schobbens (eds) Algebraic Development Techniques. LNCS, vol 4409. Springer, pp 37–55
- J. Fiadeiro, A. Lopes, L. Bocchi (2011) An abstract model of service discovery and binding. Formal Aspects of Computing 23(4): 433-463
- J. L. Fiadeiro, V. Schmitt (2007) Structured co-spans: an algebra of interaction protocols. In: T. Mossakowski, U. Montanari, M. Haveraaen (eds) Algebra and Coalgebra in Computer Science. LNCS, vol 4624. Springer, pp 194–208
- J. L. Fiadeiro, A. Lopes, L. Bocchi (2006) A formal approach to service-oriented architecture. In: M. Bravetti, M. Nunez, G. Zavattaro (eds) Web Services and Formal Methods. LNCS, vol 4184. Springer, pp 193–213
- A Formal Approach to Service-Oriented Modelling: A 3-hour tutorial given at the Bertinoro School on Formal Methods in 2009 (and other places). It is available as a pdf file and a movie.
- These are slides on SRML used in the MSc module Advanced System Design:
Requirements: - Eclipse Ganymede, EMF 2.4.1, GMF 2.1.2
- Open Architecture 4.3.1: to install via the Eclipse update:
- Use the update menu: Help > Software Updates > Find and Install > New Remote Site
- Enter the following update site.
The editor can be downloaded and installed via the Eclipse update site: - Use the update menu: Help > Software Updates > Find and Install > New Remote Site
- Enter the update site
- The EMF metamodel of SRML can be found here
|
|
