Formal Modelling and Analysis of Business Information Applications with Fault Tolerant Middleware

@article{Bryans2009FormalMA,
  title={Formal Modelling and Analysis of Business Information Applications with Fault Tolerant Middleware},
  author={Jeremy Bryans and John S. Fitzgerald and Alexander Romanovsky and Andreas Roth},
  journal={2009 14th IEEE International Conference on Engineering of Complex Computer Systems},
  year={2009},
  pages={68-77}
}
Distributed information systems are critical to the functioning ofmany businesses; designing them to be dependable is a challenging butimportant task. We report our experience in using formal methods toenhance processes and tools for development of business informationsoftware based on service-oriented architectures. In our work, whichtakes place in an… CONTINUE READING