Title: Information System Constraint Language (ISyCL) Technical Report
Abstract: 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.
Publication Year: 1992
Publication Date: 1992-09-01
Language: en
Type: report
Indexed In: ['crossref']
Access and Citation
AI Researcher Chatbot
Get quick answers to your questions about the article from our AI researcher chatbot