This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
A formal method for composing a network command language
Aug. 1986 (vol. 12 no. 8)
pp. 860-865
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.
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
Usage of this product signifies your acceptance of the Terms of Use.