A RELIABLE SOFTWARE ENGINEERING ENVIRONMENT USING CONSTRAINT PROPAGATION

SOFTWARE ENGINEERING IS A COMPOSITE OF DATA AND RULES ABOUT HOW THOSE DATA ARE COMPOSED, PRESENTED TO VARIOUS USERS, AND TRANSFORMED AS SOFTWARE DEVELOPMENT PROCEEDS. AN APPROPRIATE COMPUTER-AIDED SOFTWARE ENGINEERING (CASE) EINVIRONMENT (SEE) MUST EASILY HANDLE DATA AND RULES. CURRENTLY AVAILABLE COMMERCIAL PROGRAMMING LANGUAGES AND DATABASE MANAGEMENT SYSTEMS (DBMS) TEND TO BE ABLE TO HANDLE EITHER DATA OR RULES WELL, BUT NOT BOTH SIMULTANEOUSLY. USING A STANDARD RDBMS AND AN OPEN ARCHITECTURE WOULD ALLOW CASE TOOLS TO BE DEFINED AS SETS OF SCHEMAS AND SEMANTIC RULES. DEVELOPMENT WOULD BE DEFINED AS SETS OF TRANSFORMATIONAL RULES. THE AUTOMATIC NATURE OF THIS APPROACH IMPROVES THE RELIABILITY OF DEVELOPED SOFTWARE AND DECREASES THE TIME AND COST OF IT. SOFTWORLD, INC., IS PROVING THE FEASIBILITY OF THE APPROACH BY EXPANDING A PREVIOUSLY INITIATED EXAMPLE APPLICATION. THE EXAMPLE WILL SPAN ALL VIEWS INCLUDING DEVELOPMENT AND IMPLEMENTATION PHASS. THE REQUISITE SYNTACTIC, AND PROJECT CONSTRAINTS, WILL BE IDENTIFIED. A CONSTRAINT LANGUAGE SYNTAX WILL BE SPECIFIED.