Automatic synthesis of behavioral object specifications from scenarios

Journal of Integrated Design and Process Science

Volumn 5, Issue 3, 2001, Pages 53-77

  Khriss, Ismaïl ^a   Elkoutbi, Mohammed ^b   Keller, Rudolf K ^c  

^a Codagen Technologies Corporation ^*  (Canada)

^b MOHAMMED V UNIVERSITY   (Morocco)

^c ZÜHLKE ENGINEERING AG   (Switzerland)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 85013585981     PISSN: 10920617     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (30)

1. Anderson, J.S. and Durney, B., 1993, "Using Scenarios in Deficiency-driven Requirements Engineering," Proceedings of the Conference on Requirements Engineering 1993, IEEE Computer Society Press, pp. 134-141.
2. Angluin, D., 1987, "Learning Regular Sets from Queries and Counterexamples," Information Computing, Vol. 75, pp. 87-106
3. Biermann, A.W. and Krishnaswamy, R., 1976, "Constructing Programs from Example Computations," IEEE Transactions on Software Engineering, Vol. 2 Num 3, pp. 141-151.
4. Booch, G., 1994, "Object Oriented Analysis and Design with Applications," Benjamin/Cummings Publishing Company Inc., Redwood City, CA.
5. Caroll, J.M. and Rosson, M.B., 1992, "Getting around the Task-Artifact Cycle: How to Make Claims and Design by Scenario," ACM Transactions on Information Systems, Vol. 10 Num. 2, 181-212.
6. Coleman, D., Arnold, P., Bodoff, S., Dollin, Ch., Gilchrist, H., Hayes, F. and Jeremaes, P., 1994, "Object-Oriented Development: The Fusion Method," Prentice-Hall, Inc.
7. Dano, B., Briand, H. and Barbier, F., 1997, "An Approach Based on the Concept of Use Cases to Produce Dynamic Object-Oriented Specifications," Proceedings of the Third IEEE International Symposium on Requirements Engineering 1997, Annapolis, pp. 56-64.
8. Desharnais, J., Frappier, M., Khédri, R. and Mili, A., 1998, "Integration of Sequential Scenarios," IEEE Transactions on Software Engineering, Vol. 24 Num. 9, pp. 695-708.
9. Derr, K.W., 1996, "Applying OMT: A practical step-by-step guide to using the Object Modeling Technique," SIGS BOOKS/Prentice Hall.
10. Elkoutbi, M. and Keller, R.K., 2000, " User Interface Prototyping based on UML Scenarios and High-level Petri Nets," Application and Theory of Petri Nets 2000 (Proc. of 21st Intl. Conf. on ATPN), Aarhus, Denmark, June 2000. Springer. LNCS 1825, pp. 166-186.
11. Elkoutbi, M, Khriss, I. and Keller, R.K., 1999, "Generating User Interface Prototypes from Scenarios," Proceedings of the Fourth IEEE International Symposium on Requirements Engineering (RE’99), pages 150-158, Limerick, Ireland.
12. Harel, D., Lachover, H., Naamad, A., Pnueli, A., Polit, M., Sherman, R. and Shtull-Tauring, A., 1990, "STATEMATE: A Working Environment for the Development of Complex Reactive Systems," IEEE Transactions on Software Engineering, Vol. 16 Num. 4, pp. 403-414.
13. Harel, D., 1987, "A Visual Formalism for Complex Systems," Science of Computer Programming, Vol. 8, pp. 231-274.
14. Heimdahl, M.P.E. and Leveson, N.G., 1996, "Completeness and Consistency in Hierarchical State-Based Requirements," IEEE Transactions on Software Engineering, Vol. 22 Num. 6, pp. 363-377.
15. Heitmeyer, Kirby, J., Labaw, B. and Bharadwaj, R., 1998, "SCR*: A Toolset for Specifying and Analyzing Software Requirements," Procedings of the 10th Annual Conference on Computer-Aided Verification, (CAV’98), Vancouver, Canada, pp. 526-531.
16. Hsia, P., Yuang, T.A., 1998, "Screen-based Scenario Generator: A Tool for Scenario-based Prototyping," Proceedings of the twenty-first Annual Hawaii International Conference 1998, IEEE Computer Society, pp. 455-461.
17. Jacobson, I., Christerson, M., Jonson, P and Overgaard, G., 1992, "Object-Oriented Software Engineering: A Use Case Driven Approach," Addison-Wesley.
18. Koskimies, K., Systä, T., Tuomi, J. and Mannisto, T., 1998, "Automatic Support for Modeling OO Software," IEEE Software, Vol. 15 Num. 1, pp. 42-50.
19. Lee, W.J., Cha, S.D., Kwon, Y.R., 1998, "Integrating and Analysis of Use Cases Using Modular Petri Nets in Requirements Engineering," IEEE Transactions on Software Engineering, Vol. 24 Num. 12, pp. 1115-1130.
20. Mäkinen, E. and Systä, T., 2000, An Interactive Approach for Synthesizing UML Statechart Diagrams from Sequence Diagrams," Proceedings of OOPSLA 2000 Workshop: Scenario-based round-trip engineering, pp. 7-12.
21. Monk, A.F., Wright, P.C., 1990, "Observations and Inventions: New Appraoches to the Study of Human Computer Interaction," Interacting With Computers, Vol. 3 Num. 2, pp. 204-216.
22. Nardi, B.A., 1992, "The Use Of Scenarios In Design," SIGCHI Bulletin, Vol. 24 Num. 4.
23. Potts, C., Takahashi, K. and Anton, A., 1994, "Inquiry-Based Scenario Analysis of System Requirements, " Technical Report GIT-CC-94/14, Georgia Institute of Technology.
24. Rubin, K.S. and Goldberg, A., 1992, "Object Behavior Analysis," Communications of the ACM, Vol. 35 Num. 9, pp. 48-62.
25. Rumbaugh, J., Blaha, M., Premerlani, W., Eddy, F. and Lorensen, W., 1991, "Object-oriented Modeling and Design," Prentice-Hall, Inc.
26. Rumbaugh, J., Jacobson, I. and Booch, G., 1999, "The Unified Modeling Language Reference Manual," Addison Wesley, Inc.
27. Somé, S., Dssouli, R., Vaucher, J., 1996, "Towards an Automation of Requirements Engineering using Scenarios," Journal of Computing and Information, Vol. 2 Num. 1, pp. 1110-1132.
28. Schönberger, S., Keller, R.K. and Khriss, I., 2001, "Algorithmic Support for Transformations in Object-Oriented Software Development," Concurrency and Computation: Practice and Experience, 13(5): 351-383, April 2001. Object Systems Section. John Wiley and Sons.
29. Whittle, J. and Schumann, J., 2000, "Generating Starechart Designs from Scenarios," Proceedings of the 22nd International Conference on Software Engineering (ICSE 2000), Limerick, Ireland, ACM Press, pp. 314-323.
30. Wordsworth, J.B. 1992, "Software Development with Z: A Practical Approach to Formal Methods in Software Engineering," Addison-Wesley, Inc.