Abstract
This paper proposes an extension of modal action logics, which typically make the assumption that an action is atomic, to include durative actions. These logics have been developed to support the formal specification of information systems: we argue, with particular reference to object oriented systems, that assuming atomicity is too restrictive to express many kinds of temporal constraint. In consequence, we propose that actions be regarded as durative, and encode this by assuming that an action occurs over a sequence of atomic transitions, or interval, rather than a single transition. With this as a pre-requisite, the paper continues to redefine and extend operators of atomic action logics to fit the durative case.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Afrodite Language Group. Language Reference Manual. Technical Report R.1., ESPRIT Project 6500 Afrodite, CAP Gemini Innovation, Holland, 1993.
J.F. Allen. Towards a General Theory of Action and Time. In Journal of Artificial IntelligenceVol. 23, 1983.
P. America und J. Rutten. A Parallel Object-Oriented Language: Design and Semantic Foundations. PhD thesis, Free University of Amsterdam, 1989.
C. Atkinson, S.J. Goldsack, A. Di Maio und R. Bayan. Object-Oriented Concurrency und Distribution in DRAGOON. In Journal of Object-oriented ProgrammingMarch 91.
M. Celiktin und A. Lamsweerde. Specification of Time Constraints with Interval Sequences. Research Report RR-92–46, Unité d’Informatique, Faculté des Sciences Appliquées, Université Catholique de Louvain, 1992.
J. Fiadeiro und T.S.E. Maibaum Temporal Reasoning over Deontic Specifications In Journal of Logic and Computation 1(3) pp 357–395, 1991.
J. Fiadeiro und T.S.E. Maibaum. Towards Object Calculi. In Information Systems Correctness and Reusability (Selected Papers), G. Saake und A. Senadas (eds.), IS-CORE 91 Workshop, 1991.
J. Fiadeiro, C. Sernadas, T.S.E. Maibaum und G. Saake. Proof-Theoretic Semantics of Object-Oriented Specification Constructs. In Object-oriented Databases: Analysis Design and Construction, R. Meersman und W. Kent (eds), North Holland, 1991.
J. Fiadeiro, C. Sernadas, T.S.E. Maibaum und A. Sernadas. Describing and Structuring Objects for Conceptual Schema Development. In Conceptual Modelling, Databases and CASE, P. Loucopoulos und R. Zicari (eds), John Wiley, 1992.
C.B. Jones. Systematic Software Development using VDM (second edition). Prentice Hall, 1990.
C.B. Jones, K.D. Jones, P.A. Lindsay und R. Moore. Mural: A Formal Development Support System. Springer-Verlag, 1991.
A. Jones and M. Sergot. On the role of Deontic Logic in the Characterization of Normative Systems. In Proc. First International Workshop on Deontic Logic ire Computer Science - DEON 91, Springer-Verlag, 1991.
S.J.H. Kent. A Deduction Calculus for Modal Action Logic with Action Combinators. FOREST Research Deliverable Report WP3.R2, Imperial College, London, 1991.
S.J.H. Kent. Modelling Events from Natural Language. PhD Thesis, Dept. of Computing, Imperial College, London, to be submitted July, 1993.
S.J.H. Kent, T.S.E. Maibaum und W.J. Quirk. Formally Specifying Temporal Constraints and Error Recovery. In Proc. of IEEE First Int. Symposium on Requirements Engineering, San Diego, 1993.
T.S.E. Maibaum. A Logic for the Formal Requirements Specification of Real-Time, Embedded Systems. Alvey FOREST Report R3, Imperial College, London, 1986.
J. Meyer und R.J. Wieringa. Actors, Actions, and Initiative in Normative System Specification. Technical report no. IR-257, Faculteit der Wiskunde en Informatica, Free University of Amsterdam, 1991.
M. Ryan, J. Fiadeiro und T.S.E. Maibaum. Sharing Actions and Attributes in Modal Action Logic. In Proceedings of the International Conference on Theoretical Aspects of Computer Science (TACS 91)T. Ito Si A. Meyer (eds), Springer Verlag 1991.
J. van Benthem. The Logic of Time. Reidel, Dordrecht, 1983.
Y. Venema. Expressiveness and Completeness of an Interval Tense Logic. In Notre Dame Journal of Formal Logic, Vol. 31, 1990.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1993 British Computer Society
About this paper
Cite this paper
Kent, S. (1993). Towards a Modal Logic of Durative Actions. In: Burn, G., Gay, S., Ryan, M. (eds) Theory and Formal Methods 1993. Workshops in Computing. Springer, London. https://doi.org/10.1007/978-1-4471-3503-6_14
Download citation
DOI: https://doi.org/10.1007/978-1-4471-3503-6_14
Publisher Name: Springer, London
Print ISBN: 978-3-540-19842-0
Online ISBN: 978-1-4471-3503-6
eBook Packages: Springer Book Archive