AutoPA: Automatic Prototyping from Requirements

We present AutoPA, a tool to analyze and validate the consistency and functional correctness of use case designs. The tool directly generates an executable prototype from the requirements. The requirements are captured from different views of the application. Each view is constructed as UML diagram annotated with OCL specifications. Based on a formal semantics, the tool is implemented so that both syntactic and semantic consistency among the provided views can be guaranteed. Afterwards the requirements are analyzed and translated into an executable prototype, allowing the user to interactively validate the functional properties of the requirements model. We illustrate the benefits of the tool using a real-world sized example.

[1]  Ivar Jacobson,et al.  The Unified Modeling Language User Guide , 1998, J. Database Manag..

[2]  Anneke Kleppe,et al.  The Object Constraint Language: Getting Your Models Ready for MDA , 2003 .

[3]  Bertrand Meyer,et al.  Object-Oriented Software Construction, 2nd Edition , 1997 .

[4]  James C. McKim,et al.  Design by Contract, By Example , 2001, TOOLS.

[5]  簡聰富,et al.  物件導向軟體之架構(Object-Oriented Software Construction)探討 , 1989 .

[6]  Ivar Jacobson,et al.  The Unified Software Development Process , 1999 .

[7]  Liang Zhao,et al.  A Graph-Based Operational Semantics of OO Programs , 2009, ICFEM.

[8]  Dr. Reinhold Plösch.  Contracts, Scenarios and Prototypes , 2004, Springer Berlin Heidelberg.

[9]  Reinhold Ploesch.  Contracts, Scenarios and Prototypes: An Integrated Approach to High Quality Software , 2004 .

[10]  Jifeng He,et al.  Formal and use-case driven requirement analysis in UML , 2001, 25th Annual International Computer Software and Applications Conference. COMPSAC 2001.

[11]  Craig Larman,et al.  Applying UML and patterns , 1997 .

[12]  Zhenbang Chen,et al.  Refinement and verification in component-based model-driven design , 2009, Sci. Comput. Program..

[13]  Jifeng He,et al.  A Relational Model for Formal Object-Oriented Requirement Analysis in UML , 2003, ICFEM.

[14]  Philippe Kruchten,et al.  The Rational Unified Process: An Introduction, Second Edition , 2000 .

[15]  Philippe Kruchten,et al.  The Rational Unified Process: An Introduction , 1998 .

[16]  David Harel,et al.  Come, let's play - scenario-based programming using LSCs and the play-engine , 2003 .

[17]  Ajitha Rajan,et al.  Requirements Coverage as an Adequacy Measure for Conformance Testing , 2008, ICFEM.

[18]  Martin Gogolla,et al.  USE: A UML-based specification environment for validating UML and OCL , 2007, Sci. Comput. Program..