![](bga.png)
Currently we are evaluating the usefulness and ac-
ceptance of the presented approach in different small
and medium size projects we perform at the faculty
and with different industrial cooperation partners.
Until now we are using the simulation environment
only to support the inspection of use cases. In the
future we plan to enlarge our approach to an inte-
grated requirements specification technique. Besides
we are currently doing first experiments to generate
GUI prototypes based on the simulation information
and to generate test specifications based on instance
scenarios created with the simulation environment.
Finally we are currently developing tool support
for static analyses on the narrative use case model as
well as on the corresponding execution model.
REFERENCES
The Standish Group, 2003. Chaos chronicles v3.0 Tech-
nical report.
Weidmann, C., Hoffmann, V. & Lichter, H., 2009. Einsatz
und Nutzen von Use Cases - Ergebnisse einer
empirischen Untersuchung. In Softwaretechnik-
Trends, Band 29, Heft 2, pp. 62 -67.
Jacobson, I., 1987. Object-oriented development in an
industrial environment. OOPSLA '87: Conference
proceedings on Object-oriented programming systems,
languages and applications, ACM Press, New York,
pp. 183-191.
Jacobson, I., 2004. Use Cases - Yesterday, today, and
tomorrow. Software and System Modeling, vol 3, pp.
210-220.
Cockburn, A., 2000. Writing Effective use cases, Addison-
Wesley.
Armour, F. & Miller, G., 2001. Advanced use case Model-
ing Volume One, Software Systems. Addison-Wesley
Longman Publishing Co., Inc., Boston.
Kulak, D. & Guiney, E, 2003. Use Cases: Requirements in
Context. Addison-Wesley Longman Publishing Co.,
Inc., Boston.
Bittner, K., & Spence, I., 2003. Use Case Modeling. Addi-
son-Wesley Longman Publishing Co., Inc., Boston.
Jacobson, I., Booch, G. & Rumbaugh, J., 1999. The Uni-
fied Software Development Process, Addison-Wesley
Longman Publishing Co., Inc., Boston.
Denger, C. & Paech, B., 2004. An Integrated Quality
Assurance Approach for Use Case Based Require-
ments, Proceedings Modellierung 2004, Marburg, pp.
307–308.
Sutcliffe, A.G., Maiden, N.A.M., Minocha, S. & Manuel,
D., 1998. Supporting Scenario-Based Requirements
Engineering, IEEE Transactions on Software Engi-
neering, vol. 24, no. 12, pp. 1072-1088.
Lee, W.J., Cha, S.D. & Kwon, Y.R., 1998. Integration and
Analysis of Use Cases Using Modular Petri Nets in
Requirements Engineering, IEEE Transactions on
Software Engineering, vol. 24, no. 12, pp 1115-1130.
Williams, C., Kaplan, M., Klinger, T. & Paradkar A.,
2005. Toward Engineered, useful use cases. Journal of
Object Technology, Special Issue: Use Case Modeling
at UML-2004, vol 4, pp. 45-57.
Glinz, M., Seybold, C. & Meier, S., 2007. Simulation-
Driven Creation, Validation and Evolution of Beha-
vioral Requirements Models. Dagstuhl-Workshop
Modellbasierte Entwicklung eingebetteter Systeme
(MBEES 2007). Informatik-Bericht 2007-01, TU
Braunschweig, pp. 103-112.
Whittle, J. & Jayaraman, P.K., 2006. Generating Hierar-
chical State Machines from use case Charts, RE '06:
Proceedings of the 14th IEEE International Require-
ments Engineering Conference (RE'06), IEEE Com-
puter Society, Washington, DC, pp. 16-25.
Jorgensen, J.B. & Bossen, C., 2004. Executable Use Cas-
es: Requirements for a Pervasive Health Care System.
IEEE Software, 21(2), pp. 34-41.
Somé, S., 2006. Supporting use case based requirements
engineering. Information and Software Technology
48, pp. 43-58.
Zhao J. & Duan Z.: Verification of Use Case with Petri
Nets in Requirement Analysis, ICCSA (2), pp. 29-42.
Hoffmann, V., Lichter, H. & Nyßen, A., 2009. Towards
the Integration of UML-and textual Use Case Model-
ing, Journal of Object Technology, vol. 8, no. 3, pp.
85-100.
Jensen, K., 2003. Coloured Petri Nets: Basic Concepts,
Analysis Methods and Practical Use, vol.1 (Mono-
graphs in Theoretical Computer Science. An EATCS
Series).
Springer.
Jensen, K. 1997. A Brief Introduction to Coloured Petri
Nets, Tools and Algorithms for the Construction and
Analysis of Systems, pp. 203-208.
ViPER project site, http://www.viper.sc.
Eclipse Modeling Framework project site,
http://www.eclipse.org/modeling/emf/
ICSOFT 2010 - 5th International Conference on Software and Data Technologies
72