Behaviour model elaboration using partial labelled transition systems

Proceedings of the ACM SIGSOFT Symposium on the Foundations of Software Engineering

Volumn , Issue , 2003, Pages 19-27

  Uchitel, Sebastian ^a   Kramer, Jeff ^a   Magee, Jeff ^a  

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

model elaboration; partial LTS; scenarios; synthesis

Indexed keywords

BEHAVIOUR MODELS; LABELLED TRANSITION SYSTEMS; LEVEL OF ABSTRACTION; SCENARIO SYNTHESIS; SEQUENCE OF ACTIONS; STATE MACHINE; VALID ASSUMPTION;

COMPUTER AIDED ANALYSIS; COMPUTER SOFTWARE;

MATHEMATICAL MODELS;

EID: 33746850549     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/940071.940076     Document Type: Conference Paper

References (20)

1. First ICSE Workshop on Scenarios and State Machines: Model, Algorithms and Tools (SCESM'02). 2002.
2. Chatley, R., et al. LTSA-MSC: Tool Support for Behaviour Model Elaboration Using Implied Scenarios in Ninth International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS'03). 2003. Warswaw.
3. Chatley, R., et al. Model-based Simulation of Web Applications for Usability Assessment in ICSE Workshop on "Bridging the Gaps Between Software Engineering and Human-Computer Interaction". 2003. Portland, May 2003.
4. Chechik, M., S. Easterbrook, and B. Devereux. Model Checking with Multi-Valued Temporal Logics in 31st IEEE International Symposium on Multiple Valued Logics (ISMVL'01). 2001. Warsaw.
5. Clarke, E.M. and J.M. Wing, Formal Methods: State of the Art and Future Directions. ACM Computing Surveys, 1996. 28(4): p. 626-643.
6. Cleaveland, R. and S.A. Smolka, Strategic Directions in Concurrency Research. ACM Computing Surveys, 1996. 28(4): p. 607-625.
7. Harel, D., From Play-In Scenarios to Code: An achievable Dream. IEEE Software, 2001. 34(1): p. 53-60.
8. Harel, D. and W. Damm. LSCs: Breathing Life into Message Sequence Charts in 3rd IFIP International Conference on Formal Methods for Open Object-Based Distributed Systems. 1999. New York: Kluwer Academic.
9. Hoare, C.A.R., Communicating Sequential Processes. 1985, Englewood Cliffs, New Jersey: Prentice Hall.
10. ITU, Message Sequence Charts, 1996, International Telecommunications Union. Telecommunication Standardisation Sector.
11. ITU, Message Sequence Charts, 2000, International Telecommunications Union. Telecommunication Standardisation Sector.
12. Keller, R., Formal verification of parallel programs. Communications of the ACM, 1976. 19(7): p. 371-384.
13. Lamsweerde, A.v., R. Darimont, and P. Massonet. Goal-Directed Elaboration of Requirements for a Meeting Scheduler: Problems and Lessons Learnt in Second IEEE International Symposium on Requirements Engineering. 1995. York: IEEE CS Press.
14. Lukasiewicz, J., Selected Works. 1970, Amsterdam: North-Holland.
15. Magee, J. and J. Kramer, Concurrency: State Models and Java Programs. 1999, New York: John Wiley & Sons Ltd.
16. Mäkinen, E. and T. Systä. MAS - An Interactive Synthesizer to Support Behavioral Modeling in UML, in 23rd IEEE International Conference on Software Engineering (ICSE '01). 2001. Toronto.
17. Milner, R., Communication and Concurrency. 1989, London: Prentice-Hall.
18. Rumbaugh, J., I. Jacobson, and G. Booch, The Unified Modeling Language Reference Manual. 1999, Harlow: Addison-Wesley.
19. Uchitel, S., J. Kramer, and J. Magee. Negative Scenarios for Implied Scenario Elicitation in 10th ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE'02). 2002. Charleston.
20. Whittle, J. and J. Schumann. Generating Statechart Designs from Scenarios in 22nd International Conference on Software Engineering (ICSE'00). 2000. Limerick, Ireland.