Scenarios, goals, and state machines: A win-win partnership for model synthesis

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

Volumn , Issue , 2006, Pages 197-207

  Damas, Christophe ^a   Lambeau, Bernard ^a   Van Lamsweerde, Axel ^a  

^a UNIVERSITÉ CATHOLIQUE DE LOUVAIN   (Belgium)

Author keywords

Analysis tools; Goal oriented requirements engineering; Incremental learning; Labelled transition systems; Message sequence charts; Scenario generation; Scenario based elicitation; Synthesis of behavior models

Indexed keywords

FLOWCHARTING; MATHEMATICAL MODELS; WORLD WIDE WEB;

GOAL-ORIENTED REQUIREMENTS ENGINEERING; INCREMENTAL LEARNING; LABELED TRANSITION SYSTEMS (LTS); MESSAGE SEQUENCE CHARTS (MSC); SOFTWARE SYSTEM;

SOFTWARE DESIGN;

EID: 34547360637     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1181775.1181800     Document Type: Conference Paper

References (23)

1. C. Damas, B. Lambeau, P. Dupont, and A. van Lamsweerde, "Generating Annotated Behavior Models From End-User Scenarios", IEEE Trans. on Software Engineering, Special Issue on Interaction and State-Based Modeling, Vol. 31 No. 12, Dec. 2005, 1056-1073.
2. D. Giannakopoulou and F. Lerda, LTL2Buchi, available at http://ic.arc.nasa.gov/people/dimitra/LTL2Buchi.php.
3. D. Giannakopoulou and J. Magee, "Fluent Model Checking for Event-Based Systems", Proc. ESEOFSE 2003, Helsinki, 2003.
4. R.J. Hall and A. Zisman, "OMML: A Behavioral Model Interchange Format", Proc. RE'04,12th IEEE Joint International Requirements Engineering Conference, Kyoto, Sept. 2004.
5. J. E. Hopcroft and J. D. Ullman, Introduction to Automata Theory, Languages, and Computation, Addison-Wesley, 1979.
6. M.Jarke and R. Kurki-Suonio (eds.), Special Issue on Scenario Management, IEEE Trans. on Software. Engineering, Vol. 24 No. 12, Dec. 1998.
7. M. Joseph. Real-Time Systems: Specification, Verification and Analysis. Prentice Hall Intl., 1996.
8. I. Kruger, R. Grosu, P. Scholz and M. Broy, From MSCs to Statecharts, Proc. IFIP WG10.3/WG10.5 Intl. Workshop on Distributed and Parallel Embedded Systems (Scholoß Eringerfeld, Germany), F. J. Rammig (ed.), Kluwer, 1998, 61-71.
9. L. Lamport, "The Temporal Logic of Actions", ACM Transactions on Programming Languages and Systems, 16(3), 1994, 872-923.
10. A. van Lamsweerde and L. Willemet, "Inferring Declarative Requirements Specifications from Operational Scenarios", IEEE Trans. on Sofware. Engineering, Vol. 24 No. 12, December 1998.
11. A. van Lamsweerde, "Requirements Engineering in the Year 00: A Research Perspective". Keynote Paper, Proc. ICSE'2000: 22nd International Conference on Software Engineering, 2000, 5-19.
12. A. van Lamsweerde, "Goal-Oriented Requirements Engineering: A Roundtrip from Research to Practice", Keynote Paper, Proc. RE'04,12th IEEE Joint Intl. Requirements Engineering Conf., Kyoto, Sept. 2004, 4-8.
13. K.J. Lang, B.A. Pearlmutter, and R.A. Price, "Results of the abbadingo one DFA learning competition and a new evidencedriven state merging algorithm", In Grammatical Inference, Lecture Notes in Artificial Intelligence Nr. 1433, Springer-Verlag, 1998, 1-12.
14. th Intl. Conf. on Soft. Engineering, Orlando, May 2002.
15. E. Letier, J. Kramer, J. Magee, and S. Uchitel, "Monitoring and Control in Scenario-Based Requirements Analysis", Proc. ICSE 2005 - 27th Intl. Conf. Software Engineering, St. Louis, May 2005.
16. E. Mäkinen and T. Systä, "MAS - An Interactive Synthesizer to Support Behavioral Modelling in UML", Proc. ICSE'01 -Intl. Conf. Soft. Engineering, Toronto, Canada, May 2001.
17. J. Magee and J. Kramer, Concurrency: State Models and Java Programs. Second Edition, Wiley, 2006.
18. Z. Manna and A. Pnueli, "The Temporal Logic of Reactive and Concurrent Systems", Springer-Verlag, 1992.
19. J. Niu, J.M. Atlee, and N. Day, "Understanding and Comparing Model-Based Specifications Notations", Proc. RE'03, 11th IEEE Joint Intl. Requirements Engineering Conf, Monterey, Sept. 2003, 188-199.
20. J. Oncina and P. Garcia, "Inferring Regular Languages in Polynomial Update Time", In N. Perez de la Bianca et al (Ed.), Pattern Recognition and Image Analysis, Vol. 1 Series in Machine Perception & Artificial Intelligence, World Scientific, 1992, 49-61.
21. S. Uchitel, J. Kramer, and J. Magee, "Detecting Implied Scenarios in Message Sequence Chart Specifications", Proc. ESEOFSE'01, Sept. 2001.
22. S. Uchitel, J. Kramer, and J. Magee, "Synthesis of Behavioral Models from Scenarios", IEEE Trans. Softw. Engineering, 29(2), 2003, 99-115.
23. J. Whittle and J. Schumann, "Generating Statechart Designs from Scenarios", Proc. ICSE'2000: 22nd Intl. Conference on Software Engineering, Limerick, 2000, 314-323.