Natural language and message sequence chart representation of use cases

Information and Software Technology

Volumn 42, Issue 9, 2000, Pages 633-647

  Feijs, L M G ^a  

^a EINDHOVEN UNIVERSITY OF TECHNOLOGY   (Netherlands)

Author keywords

Message sequence charts; Natural language; Object oriented system

Indexed keywords

EID: 0347945208     PISSN: 09505849     EISSN: None     Source Type: Journal    
DOI: 10.1016/S0950-5849(00)00107-5     Document Type: Article

References (23)

1. M. Andersson, J. Bergstrand, Formalizing use cases with message sequence charts, Technical Reporthttp://www/efd.lth/se/ d87man/ EXJOBB/Title_Abstract_Preface.html, Master's Thesis, Department of Communication Systems at Lund Institute of Technology, 1995.
2. G. Booch, I. Jacobson, J. Rumbaugh, The unified modelling language for object-oriented development version 1.0, uml notation guide, uml summary uml semantics, Technical Report January 1997, see http:// www/rational.com/uml/, Rational Software Corporation, 1997.
3. N. Chomsky, Syntactic structures, 1957.
4. N. Chomsky, Aspects of the Theory of Syntax, MIT Press, Cambridge, MA, 1965.
5. N. Chomsky, Lectures on government and binding, Foris, Utrecht, 1981.
6. D. Coleman, P. Arnold, S. Bodoff, C. Dollin, H. Gilchrist, F. Hayes, P. Jeremaes, Object-Oriented Development, Prentice Hall Object-Oriented Series, Prentice Hall, Englewood Cliffs, NJ, 1994.
7. H. de Swart, LOGIC, Volume II: Logic and Computer Science, B erlag Peter Lang, Frankfurt, 1994.
8. A. Engels, L. Feijs, S. Mauw, Test generation for intelligent networks using model checking, in: E. Brinksma (Ed.), Tools and Algorithms for the Construction and Analysis of Systems (TACAS), Lecture Notes in Computer Science, vol. 1217, Springer, Berlin, 1997.
9. L. Fejis, Synchronous sequence charts in action, Information and Software Technology 39 (1997) 583-606.
10. L. Feijs, R. Koymans, J. Moonen, J. Romijn, O. Sies, J. Springintveld, A two-level approach to automated conformance testing of vhdl designs, in: IFIP TC6 10th International Workshop on Testing of Communicating Systems, 1997.
11. L. Feijs, S. Mauw, Msc and data, in: J. Fischer, E. Holz (Eds.), 1st Workshop and SDL and MSC. Proceedings of the SDL Forum Society on SDL and MSC, number 104 in Informatikberchte, Humboldt Universitat Berlin, 1998, pp. 85-96.
12. L. Feijs, F. Meijs, J. Moonen, J. van Wamel, Conformance testing of a multimedia system using phact, in: A. Pretrenko, N. Yevtushenko (Eds.), Testing of Communicating Systems, Proceedings IFIP IWTCS '98 TomskKluwer Academic Publishers, Dordrecht, 1998, pp. 193-210.
13. R. Freidin, Principles and parameters in comparative grammar, in: M. Brown (Ed.), Concise Dictionary of Syntactic Theories, Pergamon, Oxford, 1991, pp. 119-136.
14. ITU-TS, Recommendation z120, message sequence chart (msc), Technical Report Z. 120, International Telecommunication Union, Geneva.
15. ITU-TS, Recommendaton z.120 annex b: algebraic semantics of message sequence charts, and recommendation z.120 annex c: syntax requirements of msc, Technical Report Z.120 B,C, International Telecommunication Union, Geneva, 1995.
16. I. Jacobson, Object-Oriented Software Engineering, Addison-Wesley, Reading, MA, 1991.
17. R. Krikhaar, L. Feijs, R. de Jong, J. Medema, Architecture comprehension tools for a pbx system, in: The 3rd European Conference on Software, Maintenance, Reengineering (CSMR'99), Amsterdam, The Netherlands, 3-5 March 1999.
18. G. Kristen, KISS-methode voor object oriëntatie, Academic Service, 1993.
19. U. Lechner, C. Lengauer, M. Wirsing, An object oriented airport, Technical report, Universität Passau MIP-9410, 1994.
20. S. Mauw, M. Reniers, An algebraic semantics of basic message sequence charts, The Computer Journal 37 (4) (1994) 269-277.
21. S. Mauw, M. van Wijk, T. Winter, A formal semantics of synchronous Interworkings, in: O. Færgemand, A. Sarma (Eds.), SDL '93 - Using Objects, Proceedings of the Sixth SDL Forum, Darmstadt, Elsevier, North-Holland, 1993.
22. M. Moortgat, Categorial investigations, logical and linguistic aspects of the lambek calculus, Technical report, PhD Thesis, University of Amsterdam, 1988.
23. J. Rumbaugh, M. Blaha, W. Premerlani, F. Eddy, W. Lorensen, Object-Oriented Modelling and Design, Prentice Hall, Englewood Cliffs, NJ, 1991.