TY - GEN
T1 - Costing - Extending the locative logic model of networks
AU - Barnes, N.
AU - Blair, G.
AU - Lakas, A.
AU - Chetwynd, A.
PY - 1996/12/1
Y1 - 1996/12/1
N2 - The paper presents a framework for evaluating the comparative use of system resources in message communication, building on the framework of Locative Temporal Logic (M.J. Wieczorek, 1994) by adding "costs" either to the underlying graph representing the communications network of the system in question, or to the messages/actions of the system. This is intended to aid the specification of distributed systems which have to communicate many different types of data, for example multimedia distributed systems. This framework is intended to define requirements. With further refinement of the specifications, the architecture and then an implementation could be derived from the specifications. The specifications can be validated either by simulation with an appropriate tool or by formal proof of correctness of the specifications. The specifications are derived from the description of an application (even a very abstract specification of an application).
AB - The paper presents a framework for evaluating the comparative use of system resources in message communication, building on the framework of Locative Temporal Logic (M.J. Wieczorek, 1994) by adding "costs" either to the underlying graph representing the communications network of the system in question, or to the messages/actions of the system. This is intended to aid the specification of distributed systems which have to communicate many different types of data, for example multimedia distributed systems. This framework is intended to define requirements. With further refinement of the specifications, the architecture and then an implementation could be derived from the specifications. The specifications can be validated either by simulation with an appropriate tool or by formal proof of correctness of the specifications. The specifications are derived from the description of an application (even a very abstract specification of an application).
UR - http://www.scopus.com/inward/record.url?scp=84884637307&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84884637307&partnerID=8YFLogxK
U2 - 10.1109/EMWRTS.1996.557823
DO - 10.1109/EMWRTS.1996.557823
M3 - Conference contribution
AN - SCOPUS:84884637307
SN - 0818674962
SN - 9780818674969
T3 - Proceedings - Euromicro Conference on Real-Time Systems
SP - 89
EP - 94
BT - Proceedings of the 8th Euromicro Workshop on Real-Time Systems, ECRTS 1996
T2 - 8th Euromicro Workshop on Real-Time Systems, ECRTS 1996
Y2 - 12 June 1996 through 14 June 1996
ER -