@inproceedings{HerrmannsdoerferRS09,
  title = {Structured Formalization of Service-Oriented Specifications},
  author = {Markus Herrmannsdörfer and Sabine Rittmann and Bernhard Schätz},
  year = {2009},
  doi = {10.1109/ECBS.2009.23},
  url = {http://dx.doi.org/10.1109/ECBS.2009.23},
  tags = {rule-based, sequence diagrams, systematic-approach},
  researchr = {https://researchr.org/publication/HerrmannsdoerferRS09},
  cites = {0},
  citedby = {0},
  pages = {227-236},
  booktitle = {16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems, ECBS 2009, San Francisco, California, USA, 14-16 April 2009},
  publisher = {IEEE Computer Society},
  isbn = {978-0-7695-3602-6},
}