Software development in general lacks richness in expressing appropriately the requirement, as well related supportive tools. Despite the advances in this field, the solutions have still not overcome and the proposed way of thinking is far from resolving the problems on software development and maintenance. Recently, a new promising methodology, called Lyee, has been proposed. It aims to generate programs automatically from user requirement. Program structure in terms of Lyee was formalized. However, when requirement and operation are not correct, Lyee program may not perform correctly. Especially, when requirements are reactive type, the validation mechanism have not proposed yet to show correctness or appropriateness of the running requirement. For this purpose, in this paper, the structure of Lyee program with multi SF is linked to process model. The properties that requirement and operation should have are described as a proposition in terms of temporal logic and are verified by such logic. Fairness property of excursion of program is used. New verification of reactive requirement for Lyee Method puts together as a design rule.
IOS Press, Inc.
6751 Tepper Drive
Clifton, VA 20124
Tel.: +1 703 830 6300
Fax: +1 703 830 2300 email@example.com
(Corporate matters and books only) IOS Press c/o Accucoms US, Inc.
For North America Sales and Customer Service
West Point Commons
Lansdale PA 19446
Tel.: +1 866 855 8967
Fax: +1 215 660 5042 firstname.lastname@example.org