Abstract
Following a short discussion on the essence of time and on the applicability of dense time for modeling software, the paper focuses on the time model that has been suggested for the UML profile for Schedulability, Performance, and Time. It is suggested that the profile be extended with timing analysis of interactions. Potential extensions of the time services, required for description and analysis of timing requirements on interactions and validity intervals of events and data are explained in a separate section. Some open research problems are listed in the conclusion.
A man with a watch knows what time is; a man with two watches isn’t so sure — Anonymous
This is a preview of subscription content, log in via an institution to check access.
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
H.A. Simon, The Science of the Artificial, The MIT Press, Cambridge, MA, 3rd edition, 1996.
E. Ashcroft and Z. Manna “Formalization of Properties of Parallel Programs”, Machine Intelligence, vol. 6, 1971, 17–41.
C. L. Liu and J.W. Layland “Scheduling Algorithms for Multi-Programming in a Hard Real-time Environment” Journal of the Association for Computing Machinery vol.20, no.1, 1973, 40–61.
W.J. Quirk and R. Gilbert “The Formal Specification of the Requirements of Complex Real/time System”, AERE, Harwell, UK, report no. 8602, 1977.
A. Pnueli “The temporal logic of programs”, in Proceedings of the 18th IEEE Annual Symposium on Foundations of Computer Science, 1977, 46–57.
P. Wegner and D. Goldin “Co-inductive Models of Finite Computing Agents”, Electronic Notes in Theoretical Computer Science, vol. 19, 1999, www.elsevier.nl/locate/entcs.
L. Motus, and M.G. Rodd Timing Analysis of Real-time Software, Pergamon/Elsevier, Oxford, UK, 1994
D. Goldin, D. Keil, P. Wegner “An Interactive Viewpoint on the Role of UML”, in K. Siau and T. Halpin, (editors) Unified Modeling Language: Systems Analysis, Design and Development Issues, Idea Group Publishing, Hershey, PA, 2001.
P. Wegner “Towards Empirical Computer Science”, Monist, 82(1), 58–108, 1998, www.cs.brown.edu/people/pw, 25.09.2002.
L. Motus “Timing Problems and their Handling at System Integration”, in Tsafestas S.G. and Verbruggen H.B. (editors) Artificial Intelligence in Industrial Decision Making, Control, and Automation, Kluwer Academic Publishers, 67–87, 1995.
I. Ulidowski and Y. Shoji (2001) “Timed Properties for Process Languages with Time”, Proceedings of the 5th World Multi-conference on Systems, Cybernetics and Informatics, Orlando, USA, on CD, 6 pages
L. Motus, M.G. Rodd, C. Neill “The Impact of Software Timing Correctness on Systems Safety”, Proceedings of the IFAC 2nd Workshop on Safety and Reliability in Emerging Control Technologies, Florida, 1995, 193–201.
K.G. Denbigh Three Concepts of Time, Springer Verlag, Berlin 180 pp., 1981
J.F.A.K. van Benthem The Logic of Time, Kluwer Academic Publishers, Dordrecht, 1991
Y. Shoham Reasoning about Change, MIT Press, Cambridge, MA, 1988
E. Corsetti, E. Crivelli, D. Mandrioli, A. Montanari, A.C. Morzenti, P. San Pietro, and E. Ratto “Dealing with Different Time Scales in Formal Specification”, Proceedings of the 6th International Workshop on Software Specification and Design, Como, 92–101, 1991.
P. Wegner and D. Goldin “Interaction as a Framework for Modeling”, in Chen et alii (eds), Conceptual Modeling: Current Issues and Future Directions, Springer, Berlin, LNCS no. 1565, 1999.
M. Meriste and L. Motus “On Models for Time-sensitive Interacting Computing”, International Conference on Computational Science, Lecture Notes in Computer Science, vol. 2329, Springer, Berlin, 156–165, (2002).
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Kluwer Academic Publishers
About this chapter
Cite this chapter
Motus, L. (2003). Modeling Metric Time. In: Lavagno, L., Martin, G., Selic, B. (eds) UML for Real. Springer, Boston, MA. https://doi.org/10.1007/0-306-48738-1_10
Download citation
DOI: https://doi.org/10.1007/0-306-48738-1_10
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4020-7501-8
Online ISBN: 978-0-306-48738-5
eBook Packages: Springer Book Archive