The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.08 - Aug. (1986 vol.12)
pp: 860-865
Branislav Meandzija , Department of Computer Science, School of Engineering and Applied Science, Southern Methodist University, Dallas, TX 75275
ABSTRACT
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.
INDEX TERMS
Command languages, Abstracts, Open systems, Semantics, ISO, Computers, Computer networks, network command languages, Computer networks, design methodology, development system, formal semantics
CITATION
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
19 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool