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. © 2010 Springer-Verlag.
Author supplied keywords
Cite
CITATION STYLE
Li, X., Liu, Z., Schäf, M., & Yin, L. (2010). AutoPA: Automatic prototyping from requirements. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 6415 LNCS, pp. 609–624). https://doi.org/10.1007/978-3-642-16558-0_49
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
