Formal specification and analysis of distributed systems

Journal of Intelligent Manufacturing

Volumn 9, Issue 6, 1998, Pages 559-569

  Pranevicius, Henrikas ^a  

^a KAUNAS UNIVERSITY OF TECHNOLOGY   (Lithuania)

Author keywords

Distributed system; ESTELLE Ag specification; Expert system; Formal specification; Knowledge representation model; Logic based programming; Validation; Verification

Indexed keywords

COMPUTER SIMULATION; COMPUTER SOFTWARE; DATA PROCESSING; EXPERT SYSTEMS; KNOWLEDGE REPRESENTATION; LOGIC PROGRAMMING; MATHEMATICAL MODELS; NETWORK PROTOCOLS; TOPOLOGY;

DISTRIBUTED SYSTEMS; ESTELLE/AG SPECIFICATION; FORMAL SPECIFICATIONS; KNOWLEDGE REPRESENTATION MODEL; LOGIC-BASED PROGRAMMING; VALIDATION VERIFICATION;

DISTRIBUTED COMPUTER SYSTEMS;

EID: 2542512491     PISSN: 09565515     EISSN: None     Source Type: Journal    
DOI: 10.1023/A:1008892320448     Document Type: Article

References (19)

1. Budnikas, G. (1996) Analysis of conceptual descriptions using knowledge representation models, MSc thesis, Kaunas (in Lithuanian).
2. Buslenko, N., Kalashnikov, V. and Kovalenko, I. (1973) Lectures on Complex Systems, Soviet Radio, Moscow (in Russian).
3. D'Alameida, J., Achuthan, R., Radhakrishnam, T. and Alagar, V. S. (1992) Transformation of semi-formal specifications to VDM, in KBSE'92 Proceedings, pp. 40-49.
4. Johnson, W. L., Feather, M. S. and Harris, D. R. (1991) The KBSA requirements/specification facet: ARIES, in KBSE'91 Proceedings, pp. 48-56.
5. Kelly, V. E. and Nonnenmann, U. (1988) Reducing the complexity of formal specification acquisition, in Proceedings of the AAAI-88 Workshop on Automating Software Design, pp. 66-72.
6. Lamport, L. and Lynch, N. (1990) Distributed Computing: modes and methods in Handbook of Theoretical Computer Science, van Leeuwen, J. (ed.), Elsevier Science Publishers, Amsterdam.
7. Lynch, N. A. (1996) Distributed Algorithms, Morgan Kaufmann Publishers, San Francisco.
8. Milner, R. (1980) A Calculus of Communicating Systems, Springer-Verlag, Berlin.
9. Miriyala, K. and Harandi, M. T. (1991) Automatic derivation of formal software specifications from informal descriptions. IEEE Transactions on Software Engineering, 17, 1126-1142.
10. Pranevicius, H. (1982) Models and Methods for Computer System Investigation, Mokslas, Vilnius (in Russian).
11. Pranevicius, H. (1991) Aggregate Approach for Specification, Validation, Simulation and Implementation of Computer Network Protocols, Lecture Notes in Computer Science 502, Springer-Verlag, Berlin, pp. 433-477.
12. Pranevicius, H. and Budnikas, G. (1996) The use of knowledge representation models for ESTELLE/Ag specification creation. Information Technology and Control, 2(3), 29-33.
13. Pranevicius, H. and Ceponyte, R. (1995) Correctness analysis of aggregate specifications by means of logic programming. Information Technology and Control, 1, 35-43.
14. Pranevicius, H. and Panevezys, A. (1988) Proof of correctness technique for aggregate models of protocols, in IFAC/IMAC Symposium on Distributed Intelligence Systems, Varna, pp. 100-105.
15. Pranevicius, H., Pilkauskas, V. and Chmieliauskas, A. (1992) Knowledge-based specification editor for protocol analysis system, in Tool and Environments for Developing Control Systems, Kaariku, pp. 34-48.
16. Pranevicius, H., Pilkauskas, V. and Chmieliauskas, A. (1994) Aggregate Approach for Specification and Analysis of Computer Network Protocols, Technologija, Kaunas.
17. Reichgelt, H. (1991) Knowledge representation: an AI Perspective, Ablex Publishing Corporation, Norwood, NJ, p. 251.
18. White, D. A. (1991) The knowledge based software assistant: a program summary, in KBSE'91 Proceedings, pp. 2-6.
19. Yonezaki, K. J. (1989) Natural language interface for requirements specification. Japanese Perspective in Software Engineering, 685-688.