Actor-Oriented System Specification with Dynamic Logic


Meyer, J.-J.Ch. and Wieringa, R.J. (1991) Actor-Oriented System Specification with Dynamic Logic. In: International Joint Conference on Theory and Practice of Software Development, TAPSOFT 1991, 8-12 April 1991, Brighton, UK (pp. pp. 337-357).

[img] PDF
Restricted to UT campus only
: Request a copy
Abstract:In this paper, we extend dynamic logic with the concept of an actor in order to be able to specify who takes the initiative of an action, who makes a choice, or who controls a synchronization of actions. We give two examples of application of this idea. First, we show how to generalize an approach taken up by De Nicola and Hennessy, who eliminate tau from CCS in favor of internal and external choice. We show that this generalization allows a more accurate specification of system behavior than is possible without it. Second, deontic logic has been used by several researchers as a system specification language. In the course of this application, a number of paradoxes of classical deontic logic have been resolved, except the paradox of free choice permission. We show that actors can be used to resolve this paradox as well.
Item Type:Conference or Workshop Item
Copyright:© 1991 Springer
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:
Link to this item:
Official URL:
Export this item as:BibTeX
HTML Citation
Reference Manager


Repository Staff Only: item control page