Discovery of SOA patterns via model checking

Massimiliano Di Penta, Antonella Santone, Maria Luisa Villani. Discovery of SOA patterns via model checking. In Elisabetta Di Nitto, Andrea Polini, Andrea Zisman, editors, Proceedings of the 2nd International Workshop on Service Oriented Software Engineering: in conjunction with the 6th ESEC/FSE joint meeting, IW-SOSWE 2007, Dubrovnik, Croatia, September 3, 2007. pages 8-14, ACM, 2007. [doi]

@inproceedings{PentaSV07,
  title = {Discovery of SOA patterns via model checking},
  author = {Massimiliano Di Penta and Antonella Santone and Maria Luisa Villani},
  year = {2007},
  doi = {10.1145/1294928.1294931},
  url = {http://doi.acm.org/10.1145/1294928.1294931},
  tags = {discovery, model checking, meta-model, Meta-Environment},
  researchr = {https://researchr.org/publication/PentaSV07},
  cites = {0},
  citedby = {0},
  pages = {8-14},
  booktitle = {Proceedings of the 2nd International Workshop on Service Oriented Software Engineering: in conjunction with the 6th ESEC/FSE joint meeting, IW-SOSWE 2007, Dubrovnik, Croatia, September 3, 2007},
  editor = {Elisabetta Di Nitto and Andrea Polini and Andrea Zisman},
  publisher = {ACM},
  isbn = {978-1-59593-723-0},
}