Declarative languages description

Language Description. The basic memory element in ISPS is the carrier. A carrier has a name, a word structure, and a bit structure, and represents either architectural or temporary registers and arrays. In the ISPS description in Figure 2-3, the carriers include i, j, and vi. Carriers i and j have bit structures, both <3 0>, declaring them to be 4 bits wide and vi is declared to be 16 bits wide. Anew has a word structure ([0 255]), declaring it as an array of words numbered from 0 to 255, and a bit structure (<15 0>), declaring it to be 16 bits wide, numbered from 15 toO. 

Christopher J. Nagel, Chonghum Han, and George Stephanopoulos, Modeling Languages Declarative and Imperative Descriptions of Chemical Reactions and Processing Systems... 

MODELING LANGUAGES DECLARATIVE AND IMPERATIVE DESCRIPTIONS OF CHEMICAL REACTIONS AND PROCESSING SYSTEMS... 

In the previous section, we discussed the structure of a conceptual model that can be used to represent a design methodology. But the value of this model rests with the effectiveness of the representation schemes that one employs to describe the declarative and procedural components of the model in a way that the computer can understand. Thus, we are led to the need of defining a design-oriented language for the description of the computational process. 

Modeling Languages Declarative and Imperative Descriptions of Chemical Reactions and Processing Systems... 

An exhaustive description of the C3 modeling language can be found in [221]. Here, we confine ourselves to briefly introducing two further concepts Activities and information items can be declared as optional elements (indicated by a shadow behind the symbol, see Fig. 2.19) if their existence in a work process is uncertain at the time of modeling or depends on factors which go beyond the scope of the model. A shortcoming element can be placed anywhere in a work process to indicate possible problems. 

---