Inspec keywords: Web services; program verification; software architecture; system monitoring

Other keywords: software monitor; model checking; TeleAssistance application; BPEL process interactions; assertion language; software architectures; business process execution language; Web service compositions; ALBERT

Subjects: Formal methods; Distributed systems software