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 τ 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.
Chapter PDF
Similar content being viewed by others
6. References
al-Hibri, A., Deontic Logic, University Press of America (1978).
Bergstra, J.A. and Klop, J.W., “Process Algebra for Synchronous Communication,” Information and Control 60, pp. 109–137 (1984).
Bergstra, J.A. and Klop, J.W., “Algebra of Communicating Processes with Abstraction,” Theoretical Computer Science 37, pp. 77–121 (1985).
Bergstra, J.A. and Klop, J.W., “Algebra of Communicating Processes,” pp. 89–138 in Mathematics and Computer Science (CWI Monographs 1), ed. J.W. de Bakker, M. Hazewinkel & J.K. Lenstra, North-Holland (1986).
Castañeda, H.-N., “The Paradoxes of Deontic Logic,” in New Studies in Deontic Logic, ed. R. Hilpinen, Reidel (1981).
Dignum, F.P.M. and Meyer, J.-J.Ch., “Negations of Transactions and Their Use in the Specification of Dynamic and Deontic Integrity Constraints,” pp. 61–80 in Semantics for Concurrency, ed. M.Z. Kwiatkowska, M.W. Shields, and R.M. Thomas, Springer (1990).
Ehrig, H. and Mahr, B., Fundamentals of Algebraic Specification 1. Equations and Initial Semantics, Springer (1985). EATCS Monographs on Theoretical Computer Science, Vol. 6.
Fiadeiro, J. and Maibaum, T., “Temporal Reasoning over Deontic Specifications,” Technical Report, Department of Computing, Imperial College (1989).
Føllesdal, D. and Hilpinen, R., “Deontic Logic: An Introduction,” pp. 1–35 in Deontic Logic: Introductory and Systematic Readings, ed. R. Hilpinen, Reidel (1981).
Goguen, J.A., Jouannaud, J.-P., and Meseguer, J., “Operational Semantics for Order-Sorted Algebra,” pp. 221–231 in 12th International Coloquium on Automata, Languages and Programming, ed. W. Brauer, Springer Lecture Notes in Computer Science 194 (1985).
Goguen, J.A. and Meseguer, J., “An Order-Sorted Algebra Approach to the Constructors and Selectors Problem,” in Logic in Computer Science (1987).
Goguen, J.A. and Meseguer, J., Order-Sorted Algebra I: Equational Deduction for Multiple Inheritance, Overloading, Exceptions and Partial Operations, Programming Research Group, Oxford, and SRI International, Menlo Park (June 19, 1989).
Harel, D., “Dynamic Logic,” pp. 497–604 in Handbook of Philosophical Logic II, ed. D.M. Gabbay and F. Guenthner, Reidel (1984).
Hilpinen, R., “Conditionals in Possible Worlds,” pp. 299–335 in Contemporary Philosophy, a New Survey, ed. G. Fløstad, Reidel.
Hoare, C.A.R., Communicating Sequential Processes, Prentice-Hall (1985).
Hoek, W. van der and Meyer, J.J.Ch., “Explicating Some Issues in Implicit Knowledge,” Technical Report IR-222, Department of Mathematics and Computer science, Vrije Universiteit, Amsterdam (September 1990).
Hughes, G.E. and Cresswell, M.J., A Companion to Modal Logic, Methuen (1984).
Kalinowski, G., Einführung in die Normenlogik, Athenäum Press (1972).
Kamp, H., “Free Choice Permission,” Aristotelian Society Proceedings N.S. 74, pp. 57–74 (1973–1974).
Khosla, S. and Maibaum, T.S.E., “The Prescription and Description of State Based Systems,” pp. 243–294 in Temporal Logic in Specification, ed. B. Banieqbal, H. Barringer, A. Pneuli, Springer (1987). Lecture Notes in Computer Science 398.
Khosla, S., “System Specification: A Deontic Approach,” PhD Thesis, Department of Computing, Imperial College, London (1988).
Meyden, R. van der, “The Dynamic Logic of Permission,” pp. 72–78 in Proceedings, 5th IEEE Conference on Logic in Computer Science, Philadelphia (1990).
Meyer, J.-J.Ch., “Free Choice Permissions and Ross's Paradox: Internal vs External Nondeterminism,” Report IR-130, Department of Mathematics and Computer Science, Vrije Universiteit, Amsterdam (august 1987).
Meyer, J.-J.Ch., “A Different Approach to Deontic Logic: Deontic Logic Viewed as a Variant of Dynamic Logic,” Notre Dame Journal of Formal Logic 29, pp. 109–136 (winter 1988).
Meyer, J.-J.Ch., “Using Programming Concepts in Deontic Reasoning,” pp. 117–145 in Semantics and Contextual Expression, ed. R. Bartsch, J.F.A.K. van Benthem, and P. van Emde Boas, FORIS publications, Dordrecht/Riverton (1989).
Milner, R., A Calculus of Communicating Systems, Springer (1980). Lecture Notes in Computer Science 92.
Nicola, R. de and Hennessy, M., “CCS without τ's,” pp. 138–152 in Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), ed. H. Ehrig, R. Kowalski, G. Levi and U. Montanari, Springer Lecture Notes in Computer Science 249 (march 1987).
Åqvist, L., “Deontic Logic,” pp. 605–714 in Handbook of Philosophical Logic II, ed. D.M. Gabbay and F. Guenthner, Reidel (1984).
Smolka, G., Nutt, W., Goguen, J.A., and Meseguer, J., “Order-Sorted Equational Computation,” SEKI Report SR-87-14, Universität Kaiserslautern (December 1987).
Wieringa, R.J., Weigand, H., Meyer, J.-J. Ch., and Dignum, F., “The Inheritance of Dynamic and Deontic Integrity Constraints,” Annals of Mathematics and Artificial Intelligence, To be published.
Wieringa, R.J., Meyer, J.-J. Ch., and Weigand, H., “Specifying Dynamic and Deontic Integrity Constraints,” Data and Knowledge Engineering 4, pp. 157–189 (1989).
Wright, G.H. von, An Essay in Deontic Logic and the General Theory of Action, North-Holland (1968).
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1991 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Meyer, J.J.C., Wieringa, R.J. (1991). Actor-oriented system specification with dynamic logic. In: Abramsky, S., Maibaum, T.S.E. (eds) TAPSOFT '91. TAPSOFT 1991. Lecture Notes in Computer Science, vol 494. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3540539816_75
Download citation
DOI: https://doi.org/10.1007/3540539816_75
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-53981-0
Online ISBN: 978-3-540-46499-0
eBook Packages: Springer Book Archive