Information System Constraint Language (ISyCL) Technical Report
Abstract
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.
Document Details
- Document Type
- Technical Report
- Publication Date
- Sep 01, 1992
- Accession Number
- ADA256268
Entities
People
- Louis P. Decker
- Richard J. Mayer
Organizations
- Texas A&M University