Preliminary Results Towards Contract Monitorability
| Autor: | Vella, Annalizz, Francalanza, Adrian, First Workshop on Pre- and Post- Deployment Verification Techniques |
|---|---|
| Rok vydání: | 2016 |
| Předmět: |
FOS: Computer and information sciences
Computer network architectures Computer Science - Logic in Computer Science Computer science Autonomous distributed systems 02 engineering and technology computer.software_genre lcsh:QA75.5-76.95 Computer software -- Verification Simple (abstract algebra) 020204 information systems Server 0202 electrical engineering electronic engineering information engineering Finitary business.industry lcsh:Mathematics Runtime verification 020207 software engineering lcsh:QA1-939 Logic in Computer Science (cs.LO) lcsh:Electronic computers. Computer science Simple language Web service Software engineering business computer |
| Zdroj: | PrePost@IFM Electronic Proceedings in Theoretical Computer Science, Vol 208, Iss Proc. PrePost 2016, Pp 54-63 (2016) |
| ISSN: | 2075-2180 |
| DOI: | 10.4204/eptcs.208.5 |
| Popis: | This paper discusses preliminary investigations on the monitorability of contracts for web service descriptions. There are settings where servers do not guarantee statically whether they satisfy some specified contract, which forces the client (i.e., the entity interacting with the server) to perform dynamic checks. This scenario may be viewed as an instance of Runtime Verification, where a pertinent question is whether contracts can be monitored for adequately at runtime, otherwise stated as the monitorability of contracts. We consider a simple language of finitary contracts describing both clients and servers, and develop a formal framework that describes server contract monitoring. We define monitor properties that potentially contribute towards a comprehensive notion of contract monitorability and show that our simple contract language satisfies these properties. Comment: In Proceedings PrePost 2016, arXiv:1605.08096 |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|