Issue No.08 - Aug. (1986 vol.12)
Branislav Meandzija , Department of Computer Science, School of Engineering and Applied Science, Southern Methodist University, Dallas, TX 75275
A formal method for the development and definition of command languages for heterogeneous computer networks is introduced. The network command languages are developed from the command languages of the systems constituting the network. This is done by defining a common presentation model for the system command languages and constructing the network command language by applying a composition principle to the commonly represented languages. The common presentation model is defined as a Vienna Development Method, Meta IV, abstract processor for command languages. System Command Languages are represented by means of predicate functions which are defined on the abstract domains of the abstract processor. This allows a straightforward formulation of the composition principle as a function for the logical combination of predicate functions. Two sample network command languages are composed out of two hypothetical command languages. The results are related to the ISO Open Systems Interconnection model.
Command languages, Abstracts, Open systems, Semantics, ISO, Computers, Computer networks, network command languages, Computer networks, design methodology, development system, formal semantics
Branislav Meandzija, "A formal method for composing a network command language", IEEE Transactions on Software Engineering, vol.12, no. 8, pp. 860-865, Aug. 1986, doi:10.1109/TSE.1986.6312988