Backward validation of communicating complex state machines in web services environments

Farah Zoubeyr, Abdelkamel Tari, Aris M. Ouksel. Backward validation of communicating complex state machines in web services environments. Distributed and Parallel Databases, 27(3):255-270, 2010. [doi]

@article{ZoubeyrTO10,
  title = {Backward validation of communicating complex state machines in web services environments},
  author = {Farah Zoubeyr and Abdelkamel Tari and Aris M. Ouksel},
  year = {2010},
  doi = {10.1007/s10619-010-7061-8},
  url = {http://dx.doi.org/10.1007/s10619-010-7061-8},
  tags = {web service, web services, Meta-Environment, state machines},
  researchr = {https://researchr.org/publication/ZoubeyrTO10},
  cites = {0},
  citedby = {0},
  journal = {Distributed and Parallel Databases},
  volume = {27},
  number = {3},
  pages = {255-270},
}