Extended message sequence charts with time-interval semantics

Proceedings of the International Workshop on Temporal Representation and Reasoning

Volumn , Issue , 1998, Pages 37-44

  Silva, P S Muniz ^a  

^a UNIVERSITY OF SÃO PAULO   (Brazil)

Author keywords

[No Author keywords available]

Indexed keywords

APPLICATION PROGRAMS; FLOWCHARTING; SEMANTICS;

MESSAGE SEQUENCE CHARTS; REAL TIME SOFTWARE SYSTEM; REQUIREMENTS ANALYSIS; SOFTWARE SOLUTION; SOFTWARE SYSTEMS; TEMPORAL ANALYSIS; TEMPORAL KNOWLEDGE; TIME INTERVAL;

REAL TIME SYSTEMS;

EID: 13544252346     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/TIME.1998.674129     Document Type: Conference Paper

References (26)

1. Allen, J.F. "Maintaining Knowledge about Temporal Intervals". Communications of the ACM 26 (11), pp. 832-843, 1983.
2. Allen, J.F. "Towards a General Theory of Action and Time". Artificial Intelligence 23 (2), pp. 123-154, 1984.
3. Allen, J.F. &Hayes, P.J. "A Common-Sense Theory of Time", in Proceedings of the Ninth International Joint Conference on Artificial Intelligence, Los Angeles, USA, Morgan Kaufmann, pp. 528-531, 1985.
4. Alur R., Holzmann, G. J. &Peled, D. "An Analyzer for Message Sequence Charts", in T. Margaria &B. Steffen (eds.) 'Tools and Algorithms for the Construction and Analysis of Systems'. LNCS 1055. Springer Verlag, pp. 35-48, 1996.
5. Andersson M. &Bergstrand, J. "Formalizing Use Cases with Message Sequence Charts". Master Thesis. Department of Communication Systems at Lund Institute of Technology. Malmö, Sweden, 1995.
6. van Beek, P. "Reasoning about Qualitative Temporal Information". Artificial Intelligence, 58, pp. 297-326, 1992.
7. Ben-Abdallah, H. &Leue, S. "Expressing and Analyzing Timing Constraints in Message Sequence Chart Specifications". Technical Report 97-04, Department of Electrical &Computer Engineering, University of Waterloo (1997).
8. Booch, G. "Object-Oriented Analysis and Design with Applications", Second Edition. Benjamin-Cummings (1994).
9. Braek, R. &Haugen O. "Engineering Real Time Systems". Prentice Hall, 1993.
10. Coleman, D., Arnold, P., Bodoff, S., Dollin, C., Gilchrist, H., Hayes, F. &Jeremaes, P. "Object-Oriented Development, the Fusion Method". Prentice-Hall, 1994.
11. Grabowski, J., Hogrefe, D. &Nahm, R. "Test Case Generation for Temporal Properties". Technical Report IAM-93-013, Universität Bern, Institut für Informatik, 1993.
12. Hajnicz, E. "Time Structures: Formal Description and Algorithmic Representation", in LNAI 1047. Springer Verlag, 1996.
13. Holzmann, G. "Early Fault Detection Tools", in T. Margaria &B. Steffen (eds.) 'Tools and Algorithms for the Construction and Analysis of Systems'. LNCS 1055. Springer Verlag, pp. 1-13, 1996.
14. "ITU-TS Recommendation Z.120: Message Sequence Chart (MSC)". ITU-TS, Geneva, September 1993.
15. "ITU-TS Recommendation Z.120 Annex B: Algebraic Semantics of Message Sequence Charts". ITU-TS, Geneva, April 1995.
16. Jacobson, I., Christerson, M., Jonsson, P. &Overgaard, G. "Object-Oriented Software Engineering: A Use Case Driven Approach", Addison-Wesley, 1992.
17. Jacobson, I., Ericsson, M. &Jacobson, A. "The Object Advantage: Business Process Reengineering With Object Methodology", Addison-Wesley, 1995.
18. Kamp, H. &Reyle, U. "From Discourse to Logic: Introduction to Modeltheoretic Semantics of Natural Language, Formal Logic and Discourse Representation Theory", Kluwer Academic Publishers, 1993.
19. Ladkin, P. &Leue, S. "Interpreting Message Flow Graphs". Formal Aspects of Computing 7 (5), pp. 473-509, 1995.
20. Mauw, S. &Reniers, M.A., "An Algebraic Semantics of Basic Message Sequence Charts". The Computer Journal, 37 (4), pp. 269-277, 1994.
21. Muniz Silva, P. S. "Análise dos Requisitos de Software em uma Estrutura de Intervalo de Tempo (Software Requirements Analysis in a Time-Interval Structure)" (in Portuguese). Ph.D. Dissertation, Departamento de Engenharia de Computação e Sistemas Digitais da Escola Politécnica da Universidade de São Paulo, São Paulo, Brazil. To appear in 1998.
22. "Unified Modeling Language: Notation Guide Version 1.0". Rational Software Corporation, 1997.
23. Rumbaugh, J., Blaha, M., Premerlani, W., Eddy, F. &Lorensen, W. "Object-Oriented Modeling and Design". Prentice Hall, 1991.
24. Selic, B., Gullekson, G. &Ward, P. "Real-Time Object-Oriented Modeling". John Wiley and Sons, Inc. (1994).
25. Spivey, J. M. "The Z Notation: A Reference Manual", Second Edition. Prentice Hall, 1992.
26. Zave, P. &Jackson, M. "Four Dark Corners of Requirements Engineering". ACM Transactions on Software Engineering and Methodology, 6 (1), pp. 1-30 (1997).