AutoPA: automatic prototyping from requirements

Authors:
Xiaoshan Li;Zhiming Liu;Martin Schäf;Ling Yin
Affiliations:
Faculty of Science and Technology, University of Macau;United Nations University, International Institute for Software Technology, Macao;United Nations University, International Institute for Software Technology, Macao;United Nations University, International Institute for Software Technology, Macao and Institute of Software, East China Normal University
Venue:
ISoLA'10 Proceedings of the 4th international conference on Leveraging applications of formal methods, verification, and validation - Volume Part I
Year:
2010

Citing 12
Cited 1

Object-oriented software construction (2nd ed.)

Object-oriented software construction (2nd ed.)
The Unified Modeling Language user guide

The Unified Modeling Language user guide
The unified software development process

The unified software development process
Design by contract, by example

Design by contract, by example
The Rational Unified Process: An Introduction, Second Edition

The Rational Unified Process: An Introduction, Second Edition
Formal and Use-Case Driven Requirement Analysis in UML

COMPSAC '01 Proceedings of the 25th International Computer Software and Applications Conference on Invigorating Software Development
The Object Constraint Language: Getting Your Models Ready for MDA

The Object Constraint Language: Getting Your Models Ready for MDA
Come, Let's Play: Scenario-Based Programming Using LSC's and the Play-Engine

Come, Let's Play: Scenario-Based Programming Using LSC's and the Play-Engine
Assertions, Scenarios and Prototypes: An Integrated Approach to High Quality Software

Assertions, Scenarios and Prototypes: An Integrated Approach to High Quality Software
USE: A UML-based specification environment for validating UML and OCL

Science of Computer Programming
Refinement and verification in component-based model-driven design

Science of Computer Programming
A Graph-Based Operational Semantics of OO Programs

ICFEM '09 Proceedings of the 11th International Conference on Formal Engineering Methods: Formal Methods and Software Engineering

rCOS: a formal model-driven engineering method for component-based software

Frontiers of Computer Science in China

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.