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