Formal Verification of Annotated Textual Use-Cases

1Department of Distributed and Dependable Systems, Faculty of Mathematics and Physics, Charles University, Malostranské náměstí 25, 11800 Prague 1, Czech Republic 2Institute for Program Structures and Data Organisation, Karlsruhe Institute of Technology, Am Fasanengarten 5, 76131 Karlsruhe, Germany 3Institute of Computer Science, Academy of Sciences of the Czech Republic, Pod Vodárenskou věží 2, 18207 Prague 8, Czech Republic ∗Corresponding author: simko@d3s.mff.cuni.cz

[1]  Carlos Alberto Fernández y Fernández,et al.  An IDE to Build and Check Task Flow Models , 2011, ArXiv.

[2]  Marco Pistore,et al.  NuSMV 2: An OpenSource Tool for Symbolic Model Checking , 2002, CAV.

[3]  Michal Smialek,et al.  Complementary use case scenario representations based on domain vocabularies , 2007, MODELS'07.

[4]  Craig Larman,et al.  Applying UML and Patterns: An Introduction to Object-Oriented Analysis and Design and Iterative Development (3rd Edition) , 1997 .

[5]  Miroslaw Ochodek,et al.  Towards Use-Cases Benchmark , 2008, CEE-SET.

[6]  Leonid Kof.  From Textual Scenarios to Message Sequence Charts: Inclusion of Condition Generation and Actor Extraction , 2008, 2008 16th IEEE International Requirements Engineering Conference.

[7]  Anthony J. H. Simons,et al.  Use cases considered harmful , 1999, Proceedings Technology of Object-Oriented Languages and Systems. TOOLS 29 (Cat. No.PR00275).

[8]  S.S. Some.  Specifying Use Case Sequencing Constraints Using Description Elements , 2007, Sixth International Workshop on Scenarios and State Machines (SCESM'07: ICSE Workshops 2007).

[9]  Anthony J. H. Simons,et al.  Control-flow semantics of use cases in UML , 1999, Inf. Softw. Technol..

[10]  Stéphane S. Somé,et al.  Formalization of Textual Use Cases Based on Petri Nets , 2010, Int. J. Softw. Eng. Knowl. Eng..

[11]  Mehmet Aksit,et al.  Use cases in object-oriented software development , 1999 .

[12]  Oscar Pastor,et al.  Requirements Engineering-Based Conceptual Modelling , 2002, Requirements Engineering.

[13]  Petr Hnetynka,et al.  FOAM: A Lightweight Method for Verification of Use-Cases , 2012, 2012 38th Euromicro Conference on Software Engineering and Advanced Applications.

[14]  Leonid Kof,et al.  Scenarios: Identifying Missing Objects and Actions by Means of Computational Linguistics , 2007, 15th IEEE International Requirements Engineering Conference (RE 2007).

[15]  Matt Stephens,et al.  Use Case Driven Object Modeling with UMLTheory and Practice , 2008 .

[16]  Sima Emadi,et al.  Mapping annotated sequence diagram to a Petri net notation for reliability evaluation , 2010, 2010 2nd International Conference on Education Technology and Computer.

[17]  Marco Roveri,et al.  Formalization and Validation of Safety-Critical Requirements , 2009, FMA.

[18]  Vincenzo Gervasi,et al.  On the Systematic Analysis of Natural Language Requirements with CIRCE , 2006, Automated Software Engineering.

[19]  Lionel C. Briand,et al.  Facilitating the transition from use case models to analysis models: Approach and experiments , 2013, TSEM.

[20]  Lionel C. Briand,et al.  A systematic review of transformation approaches between user requirements and analysis models , 2011, Requirements Engineering.

[21]  Ferhat Khendek,et al.  Towards a Common Semantic Foundation for Use Cases and Task Models , 2007, FMIS@ICFEM.

[22]  Daryl Kulak,et al.  Use cases: requirements in context , 2000, SOEN.

[23]  Ivar Jacobson,et al.  Use cases – Yesterday, today, and tomorrow , 2004, Software & Systems Modeling.

[24]  Vladimir Mencl,et al.  Improved Processing of Textual Use Cases: Deriving Behavior Specifications , 2007, SOFSEM.

[25]  George S. Avrunin,et al.  Property specification patterns for finite-state verification , 1998, FMSP '98.

[26]  Lionel C. Briand,et al.  An Automated Approach to Transform Use Cases into Activity Diagrams , 2010, ECMFA.

[27]  Stéphane S. Somé.  Supporting use case based requirements engineering , 2006, Inf. Softw. Technol..

[28]  Ivar Jacobson,et al.  Object-oriented software engineering - a use case driven approach , 1993, TOOLS.

[29]  Ferhat Khendek,et al.  LTS semantics for use case models , 2009, SAC '09.

[30]  P. Krutchen,et al.  The Rational Unified Process: An Introduction , 2000 .

[31]  Yoshiyuki Shinkawa,et al.  Model Checking for UML Use Cases , 2008 .

[32]  Petr Hnetynka,et al.  Verifying Temporal Properties of Use-Cases in Natural Language , 2011, FACS.

[33]  Lionel C. Briand,et al.  Automated Transition from Use Cases to UML State Machines to Support State-Based Testing , 2011, ECMFA.

[34]  Dong Liu,et al.  Automating transition from use-cases to class model , 2003, CCECE 2003 - Canadian Conference on Electrical and Computer Engineering. Toward a Caring and Humane Technology (Cat. No.03CH37436).

[35]  Jesús Manuel Almendros-Jiménez,et al.  Describing Use Cases with Activity Charts , 2004, Metainformatics.

[36]  Ferhat Khendek,et al.  Consistency between Task Models and Use Cases , 2007, EHCI/DS-VIS.

[37]  Christopher A. Rouff,et al.  A requirements-based programming approach to developing a NASA autonomous ground control system , 2006, Artificial Intelligence Review.

[38]  Miroslaw Ochodek,et al.  Building Benchmarks For Use Cases , 2010, Comput. Informatics.

[39]  Oscar Pastor,et al.  Modeling interactions using role-driven patterns , 2005, 13th IEEE International Conference on Requirements Engineering (RE'05).

[40]  Betty H. C. Cheng,et al.  Automated Analysis of Natural Language Properties for UML Models , 2005, MoDELS Satellite Events.

[41]  Jesús Manuel Almendros-Jiménez,et al.  Describing Use-Case Relationships with Sequence Diagrams , 2007, Comput. J..

[42]  Leonid Kof.  Treatment of Passive Voice and Conjunctions in Use Case Documents , 2007, NLDB.

[43]  Ferhat Khendek,et al.  Partial order semantics for use case and task models , 2011, Formal Aspects of Computing.

[44]  J.A. Pow-Sang,et al.  An Approach to Determine Software Requirement Construction Sequences Based on Use Cases , 2008, 2008 Advanced Software Engineering and Its Applications.