Casandra Holotescu

  • Citations Per Year
Learn More
Software services are often composed into more complex systems. Existing methods ensure the correctness of service compositions by automatically generating a mediator/adaptor service: a service in the middle to properly coordinate the interactions in the system towards satisfying a desired temporal property. This is accomplished using formal behavioural(More)
  • 1