报告题目:Automated Prototype Generation from Formal Requirements Model
报告时间：2019年6月18日下午3：00
报告地点：校本部计算机楼308会议室
报告人：杨溢龙博士(澳门大学)
Abstract:Prototyping is an effective and efficient way of requirement validation to avoid introducing errors in the early stage of software development. However, manually developing a prototype of a software system requires additional efforts, which would increase the overall cost of software development. We present an approach with a developed tool RM2PT to automated prototype generation from formal requirements models for requirements validation. A requirements model consists of a use case diagram, a conceptual class diagram, use case definitions specified by system sequence diagrams and the contracts of their system operations. A system operation contract is formally specified by a pair of pre- and post-conditions in OCL. We propose a method with a set of transformation rules to decompose a contract into executable parts and non-executable parts. An executable part can be automatically transformed into a sequence of primitive operations by applying their corresponding rules, and a non-executable part is not transformable with the rules. The tool RM2PT provides a mechanism for developers to develop a piece of program for each non-executable part manually, which can be plugged into the generated prototype source code automatically. We have conducted four case studies with over 50 use cases. The experimental result shows that the 93.65% system operations are executable, and only 6.35% are non-executable, which can be implemented by developers manually or invoking the third-party APIs. Overall, the result is satisfactory. Each 1 second generated prototype of four case studies requires approximate 1 day’ manual implementation by a skilled programmer. The proposed approach with the developed CASE tool can be applied to the software industry for requirements engineering.
Biography:YILONG YANG received the B.S. degree in computer science from the China University of Mining and Technology, China, in 2010, the M.S. degree from Guizhou University, China, in 2013, the Ph.D. degree in software engineering with the University of Macau, in 2019. He has been a Fellow with the International Institute for Software Technology, United Nations University, Macau. His research interests include automated software engineering and machine learning application.
