The Sensoria Reference Modelling Language

@inproceedings{Fiadeiro2011TheSR,
  title={The Sensoria Reference Modelling Language},
  author={Jos{\'e} Luiz Fiadeiro and Ant{\'o}nia Lopes and Laura Bocchi and Jo{\~a}o Abreu},
  booktitle={Results of the SENSORIA Project},
  year={2011}
}
This chapter provides an overview of SRML -- the SENSORIA Reference Modelling Language. Our focus will be on the language primitives that SRML offers for modelling business services and activities, the methodological approach that SRML supports, and the mathematical semantics the underpins the modelling approach, including techniques for qualitative and quantitative analysis. 

Citations

Publications citing this paper.
SHOWING 1-10 OF 17 CITATIONS

A formal model for service-oriented interactions

VIEW 6 EXCERPTS
CITES BACKGROUND & METHODS

A Precise Method for Modelling Service Systems using UML

Tran Khanh Dung, Doan Nhat Quang, Dang Thanh Trung
  • 2019
VIEW 3 EXCERPTS
CITES BACKGROUND

A Semantics of Business Configurations Using Symbolic Graphs

  • 2015 IEEE International Conference on Services Computing
  • 2015
VIEW 2 EXCERPTS
CITES BACKGROUND

References

Publications referenced by this paper.
SHOWING 1-10 OF 47 REFERENCES

UMC User Guide v3.3

F. Mazzanti
  • Technical Report 2006-TR-33, Istituto di Scienza e Tecnologie dell’Informazione “A. Faedo”, CNR. Available from http://fmt.isti.cnr.it/WEBPAPER/UMC-UG33.pdf,
  • 2006
VIEW 10 EXCERPTS
HIGHLY INFLUENTIAL

and J

J. L. Fiadeiro, A. Lopes
  • Abreu. A formal model for service-oriented interactions,
  • 2010
VIEW 6 EXCERPTS
HIGHLY INFLUENTIAL

and V

L. Bocchi, J. Fiadeiro, S. Gilmore, J. Abreu, M. Solanki
  • Vankayala. Analysing time-related properties of service-oriented systems,
  • 2010
VIEW 3 EXCERPTS