DocumentCode
745575
Title
Automated Analysis of Discrete Communication Behavior
Author
Rea, Kevin ; De B.Johnston, R.
Author_Institution
Bell Northern Research, 3 Place du Commerce
Issue
10
fYear
1987
Firstpage
1115
Lastpage
1126
Abstract
An objective methodology for the specification and analysis of communicating processes is presented. It is based on an algebraic theory that is a formalization of a particular state machine model. The approach recognizes the fact that the complexity of system interactions is such that computer aid is not only appropriate but necessary for any practical design methodology.
Keywords
Algebraic models; analysis; communicating processes; communication protocols; concurrent process specification; distributed systems; verification; Algebra; Application software; Calculus; Carbon capture and storage; Computer languages; Design methodology; Distributed computing; Formal specifications; Local area networks; Protocols; Algebraic models; analysis; communicating processes; communication protocols; concurrent process specification; distributed systems; verification;
fLanguage
English
Journal_Title
Software Engineering, IEEE Transactions on
Publisher
ieee
ISSN
0098-5589
Type
jour
DOI
10.1109/TSE.1987.232853
Filename
1702151
Link To Document