Affiliation:
1. Dpto. Lenguajes y Sistemas Informáticos e Ingenieria de Software, Facultad de Informática, Universidad Politecnica de Madrid, Campus de Montengacedo s/n, 28660 Boadilla del Monte, Madrid, Spain
Abstract
Concurrent programming is one of the most difficult programming paradigms; in consequence, innovative methods and practical aids are necessary for a successful instruction. This paper presents a methodology for monitor development by joint use of stepwise refinement and monitor schemes. A monitor is developed in three stages, each one successively dealing with a different part of its specification, namely data abstraction specification, security properties and liveness/priority properties. Guidance is also obtained from some schemes for different parts of a monitor. The methodology is applied to two well known problems, the producer-consumer problem and the dining philosophers problem.
Publisher
Association for Computing Machinery (ACM)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献