Information System Constraint Language (ISyCL) Technical Report
Final technical rept. Jan 1990-Mar 1991
TEXAS A AND M UNIV COLLEGE STATION KNOWLEDGE BASED SYSTEMS LAB
Pagination or Media Count:
This paper describes a constraint language designed to serve as a Neutral Information Representation Scheme NIRS tying together model languages, procedural programming languages, database languages, transaction and process languages, as well as knowledge representation and reasoning control languages for information system specification. In one of its primary roles, the Information System Constraint Language ISyCL serves to augment the expressive power of existing systems engineering methods supported by a graphical languages. ISyCL is designed to be both powerful as a constraint language for completed information systems specification and easy to use by the various classes of users involved in information systems development. Expressive power is imparted to the language through the use of first-order predicate logic and set-theoretic constructs which provide the theoretical foundations of the language. Ease of use is promoted by providing layers within the language, ranging from natural language expressions to precise programming constructs, which shield users form unnecessary detail and complexity as dictated by their role in systems development.
- Physical Chemistry