Merging partial system behaviours: Composition of use-case automata

IET Software

Volumn 1, Issue 4, 2007, Pages 143-160

  Mizouni, R ^a   Salah, A ^b   Kolahi, S ^a   Dssouli, R ^a  

^a Gina Cody School of Engineering and Computer Science   (Canada)

^b UNIVERSITÉ DU QUÉBEC À MONTRÉAL   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

MATHEMATICAL MODELS; SEMANTICS; SYSTEMS ANALYSIS;

LABEL MATCHING; SYSTEM BEHAVIORS;

AUTOMATA THEORY;

EID: 34548136173     PISSN: 17518806     EISSN: None     Source Type: Journal    
DOI: 10.1049/iet-sen:20060078     Document Type: Article

References (36)

1. Harel, D., and Kugler, H.: ' Synthesizing state-based object systems from LSC specifications ', Int. J. Found. Comput. Sci., 2002, 13, (1), p. 5-51 10.1142/S0129054102000935 0129-0541
2. Khendek, F., and Bochmann, G.v.: ' Merging behavior specifications ', J. Form. Methods Syst. Des., 1995, 6, (3), p. 259-294
3. Jacobson, I., and Ng, P.-W.: ' Aspect-oriented software development with use cases ', 2nd (Addison Wesley Professional, 2004)
4. Whittle, J., and Schumann, J.: ' Generating statechart designs from scenarios ', 22nd, Int. Conf. Software Engineering, 2000, p. 314-323
5. Salah, A., Mizouni, R., Dssouli, R., and Parreaux, B.: ' Formal composition of distributed scenarios ', FORTE: Int. Conf. Formal Techniques for Networked and Distributed Systems, Spain, 2004, p. 213-228
6. Uchitel, S., Kramer, J., and Magee, J.: ' Synthesis of behavioural models from scenarios ', IEEE Trans. Softw. Eng., 2003, 29, (2), p. 99-115 0098-5589
7. Mizouni, R., Salah, A., Kolahi, S., and Dssouli, R.: ' Composition of use cases using synchronization and model checking ', 26th, IFIP WG 6.1 Int. Conf. Formal Methods for Networked and Distributed Systems, Springer Verlag, Paris, France, p. 292-306
8. Amyot, D.: ' Introduction to the user requirements notation: learning by example ', Comp. Netw., 2003, 42, (3), p. 285-301
9. Lee, W.J., Cha, S.D., and Kwon, Y.R.: ' Integration and analysis of use cases using modular Petri nets in requirements engineering ', IEEE Trans. Softw. Eng., 1998, 24, (12), p. 1115-1130 0098-5589
10. Regnell, B., Kimbler, K., and Wesslen, A.: ' Improving the use case driven approach to requirements engineering ', (IEEE, Los Alamitos, CA, USA, 1995)
11. Arnold, A.: ' Finite transition systems ', (Prentice-Hall, 1994)
12. OMG: 'UML unified modeling language', available at: http://omg.org, 2005
13. Hopcroft, J.E., Motwani, R., and Ullman, J.D.: ' Introduction to automata theory, languages, and computation ', 3/E (Addison-Wesley, 2007)
14. Glinz, M.: ' An integrated formal model of scenarios based on statecharts ', Botella, W.S.f.a.P., Proc. of the Fifth European Software Engineering Conf., (Springer-Verlag, 1999), p. 254-271
15. Ryser, J., and Glinz, M.: Dependency charts as a means to model inter-scenario dependencies, Modellierung, GI, 2001, p. 71-80
16. Hsia, P., Samuel, J., Gao, J., Kung, D., Toyoshima, Y., and Chen, C.: ' Formal approach to scenario analysis ', IEEE Softw., 1994, 11, (2), p. 33-41 0740-7459
17. Harel, D.: ' STATECHARTS: a visual formalism for complex systems ', Sci. Comput. Programm., 1987, 8, p. 231-274
18. Amyot, D., and Eberlein, A.: ' An evaluation of scenario notations and construction approaches for telecommunication systems development ', Telecommun. Syst. Modeling Anal. Des. Manage., 2003, 24, (1), p. 61-94
19. Koskimies, K., and Mäkinen, E.: ' Automatic synthesis of state machines from trace diagrams ', Softw-Pract. Exp., 1994, 24, (7), p. 643-658
20. Mäkinen, E., and Systä, T.: ' MAS - an interactive synthesizer to support behavioral modeling in UML ', ICSE 2001, Toronto, Canada, 2001, p. 15-24
21. Somé, S., Dssouli, R., and Vaucher, J.: ' Toward an automation of requirements engineering using scenarios ', J. Comput. Inf., 1996, 2, (1), p. 1110-1132 1201-8511
22. Bordeleau, F., and Corriveau, J.P.: ' On the importance of inter-scenario relationships in hierarchical state machine design ', Fundamental Approaches to Software Engineering (FASE'2001), held as part of the Joint European Conf. on Theory and Practice of Software ETAPS'2001, Genova, Italy, 2001, p. 156-170
23. Araújo, J., Whittle, J., and Kim, D.-K.: ' Modeling and composing scenario-based requirements with aspects ', 12th, IEEE Int. Requirements Engineering Conf. (RE'04), September, 2004, p. 58-67
24. Uchitel, S., and Chechik, M.: ' Merging partial behavioural models ', Proceedings of the 12th ACM SIGSOFT Twelfth Int. Symp on Foundations of Software Engineering, Newport Beach, CA, USA, 2004, ACM Press, p. 43-52
25. Sabetzadeh, M., and Easterbrook, S.: ' View merging in the presence of incompleteness and inconsistency ', Requir. Eng., 2006, 0947-3602, (3), p. 174-193 0947-3602
26. Krüger, I., Grosu, R., Scholz, P., and Broy, M.: ' From MSCs to statecharts ', Rammig, F.J., Distributed and parallel embedded systems, (Kluwer Academic Publishers, 1998), p. 61-71
27. Salah, A., Dssouli, R., and Lapalme, G.: ' Compiling real-time scenarios into a timed automaton ', FORTE: Int. Conf. Formal Techniques for Networked and Distributed Systems, 2001, p. 135-150
28. Alur, D., Malks, D., and Crupi, J.: ' Core J2EE patterns: best practices and design strategies ', (Prentice-Hall PTR, Upper Saddle River, NJ, 2001), XXVI, p. 459 s
29. Uchitel, S., Kramer, J., and Magee, J.: ' Modelling undefined behaviour in scenario synthesis ', The 2nd Int. Workshop on Scenarios and State Machines: Models, Algorithms, and Tools, ICSE, Portland, USA, 2003
30. Muccini, H.: ' An approach for detecting implied scenarios ', ICSE 2002 Workshop on Scenarios and State Machines: Models, Algorithms, and Tools, 2002
31. Uchitel, S., Kramer, J., and Magee, J.: ' Implied scenario detection in the presence of behaviour constraints ', Electronic Notes in Theoretical Computer Science, 2002, p. 1-20
32. Muccini, H.: ' Detecting implied scenarios analyzing non-local branching choices ', Conf. Fundamental Approaches to Software Engineering (FASE 2003), ETAPS2003., Warsaw, Poland, 2003, p. 372-386
33. Baniassad, E.L.A., and Clarke, S.: ' Theme: an approach for aspect-oriented analysis and design ', 26th, Int. Conf. on Software Engineering (ICSE 2004), 2004, p. 158-167
34. Rashid, A., Moreira, A., and Araújo, J.: ' Modularisation and composition of aspectual requirements ', Aspect Oriented Software Development Conf., 2003, p. 11-20
35. Rashid, A., Sawyer, P., Moreira, A., and Araujo, J.: ' Early aspects: a model for aspect-oriented requirements engineering ', Requirements Engineering, 2002), p. 199-202
36. Whittle, J., and Araújo, J.: ' Scenario modelling with aspects, ', IEE Proc., Softw., 2004, 151, (4), p. 157-172 10.1049/ip-sen:20040921 1462-5970