A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is
In this paper, we present an approach with a developed tool to automatic generation of prototypes from formal requirements models. ... Prototyping is an effective and efficient way of requirement validation to avoid introducing errors in the early stage of software development. ... In practice, it is very desirable to have a tool that generates prototypes directly from requirements automatically. ...arXiv:1808.10657v1 fatcat:rr2e64vafjfu7c3jtpva5fvy34
In practice, it is very desirable to have an approach that can automatically generate standardized enterprise applications directly from the validated requirements models. ... Enterprise applications can be automatically generated from a sophisticated OO design model based on model-driven approach. ... prototype. but both rCOS and AutoPA are not separate logic responsibilities from entity class, generation business logic only from precondition or postcondition, and AutoPA does not support textual requirement ...arXiv:1609.09656v2 fatcat:5gpauy77a5b5hnhegm6tks2og4
In this paper, we present a tool for automatic prototype generation and analysis (AutoPA2.0) that implements the transformations from UML system requirements models to executable prototypes with the function ... A UML system requirements model consists of a use-case model and a conceptual class model. ... Percy Loi, Yining Wei, and Jicong Liu for their hard work on implementing this prototype generator tool. ...doi:10.1016/j.entcs.2008.03.083 fatcat:73zrefsofrarvmz5ji2yjcrocq
Lecture Notes in Electrical Engineering
Models with contracts are automatically transformed into C# code. In the experiment different development phases and their products were evaluated. ... The evidences stressed very high requirements on the tool support, and some inconveniences that still limit widespread application of the MDE paradigm. ... In  business rules associated with models and written in OCL are statically validated using the Octopus/OCL tool and transformed into Java code by a prototype generation tool -AutoPA. ...doi:10.1007/978-3-319-06764-3_45 fatcat:snc5mf522vdl3aqrmxl4pazisi