Smyle: A tool for synthesizing distributed models from scenarios by learning

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5201 LNCS, Issue , 2008, Pages 162-166

  Bollig, Benedikt ^a   Katoen, Joost Pieter ^b   Kern, Carsten ^b   Leucker, Martin ^c  

^a CNRS   (France)

^b RWTH AACHEN UNIVERSITY   (Germany)

^c TECHNICAL UNIVERSITY OF MUNICH   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ASYNCHRONOUS; DISTRIBUTED IMPLEMENTATIONS; DISTRIBUTED MODELS; LEARNING TECHNIQUES; MESSAGE SEQUENCE CHARTS; NEGATIVE EXAMPLES; PROPOSITIONAL DYNAMIC LOGICS; SYSTEM MODELS;

CELL CULTURE; LEARNING ALGORITHMS; MODEL STRUCTURES;

FLOWCHARTING;

EID: 54249089367     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-85361-9_15     Document Type: Conference Paper

References (15)

1. Smyle webpage, http://www.smyle-tool.org/
2. Angluin, D.: Learning regular sets from queries and counterexamples. Inf. Comput. 75(2), 87-106 (1987)
3. Bollig, B., Katoen, J.-P., Carsten, K., Leucker, M.: Replaying play in and play out: Synthesis of design models from scenarios by learning. In: Grumberg, O., Huth, M. (eds.) TACAS 2007. LNCS, vol. 4424, pp. 435-450. Springer, Heidelberg (2007)
4. Bollig, B., Kuske, D., Meinecke, I.: Propositional dynamic logic for message-passing systems. In: Arvind, V., Prasad, S. (eds.) FSTTCS 2007. LNCS, vol. 4855, pp. 303-315. Springer, Heidelberg (2007)
5. Damas, C., Lambeau, B., Dupont, P.: Generating annotated behavior models from end-user scenarios. IEEE Trans. Softw. Eng. 31(12), 1056-1073 (2005)
6. Genest, B., Muscholl, A., Seidl, H., Zeitoun, M.: Infinite-state high-level mscs: model-checking and realizability. J. Comput. Syst. Sci. 72(4), 617-647 (2006)
7. Harel, D.: Can programming be liberated, period? Computer 41(1), 28-37 (2008)
8. Harel, D., Marelly, R.: Come, Let's Play: Scenario-Based Programming Using LSCs and the Play-Engine. Springer, Heidelberg (2003)
9. ITU-TS Recommendation Z.120: Message Sequence Chart 1999 (MSC 1999) (1999)
10. Kof, L.: Scenarios: Identifying missing objects and actions by means of computational linguistics. In: 15th IEEE RE, pp. 121-130 (2007)
11. Mäkinen, E., Systä, T.: MAS - An interactive synthesizer to support behavioral modeling in UML. In: ICSE, pp. 15-24. IEEE Computer Society, Los Alamitos (2001)
12. Neukirchen, H.: MSC 2000, Parser (2000), neukirchen@informatik. unigoettingen.de
13. Raffelt, H., Steffen, B.: LearnLib: A library for automata learning and experimentation. In: Baresi, L., Heckel, R. (eds.) FASE 2006. LNCS, vol. 3922, pp. 377-380. Springer, Heidelberg (2006)
14. Sengupta, B., Cleaveland, R.: Triggered message sequence charts. IEEE Trans. Softw. Eng. 32(8), 587-607 (2006)
15. Uchitel, S., Brunet, G., Chechik, M.: Behaviour model synthesis from properties and scenarios. In: ICSE, pp. 34-43. IEEE Computer Society, Los Alamitos (2007)