Constrained Expressions: Toward Broad Applicability of Analysis Methods for Distributed Software Systems

ACM Transactions on Programming Languages and Systems (TOPLAS)

Volumn 10, Issue 3, 1988, Pages 374-402

  Dillon, Laura K ^a   Avrunin, George S ^b   Wileden, Jack C ^b  

^a UNIVERSITY OF CALIFORNIA   (United States)

^b UNIVERSITY OF MASSACHUSETTS   (United States)

Author keywords

Constrained expressions; CSP; distributed software systems; event based analysis of software designs; Petri net languages; Petri nets; SDYMOL, software design tools

Indexed keywords

COMPUTER SOFTWARE--DESIGN; MATHEMATICAL TECHNIQUES--GRAPH THEORY;

CONCURRENT PROGRAMMING; CONSTRAINED EXPRESSIONS; DISTRIBUTED SOFTWARE SYSTEMS; PETRI NETS; SOFTWARE DESIGN TOOLS;

COMPUTER SYSTEMS, DIGITAL;

EID: 0024037393     PISSN: 01640925     EISSN: 15584593     Source Type: Journal    
DOI: 10.1145/44501.44502     Document Type: Article

References (34)

1. Avery, S. M. Development of a behavior generator for constrained expressions. Tech. Rep. SDLM/84-2, Software Development Laboratory, Dept. of Computer and Information Science, Univ. of Massachusetts, Amherst, June 1984.
2. Avrunin, G. S. Experiments in constrained expression analysis. Tech. Rep. 87-125, Dept. of Computer and Information Science, Univ. of Massachusetts, Amherst, 1987.
3. Avrunin, G. S., and Wileden, J. C. Algebraic techniques for the analysis of concurrent systems. In Proceedings of the Sixteenth Annual Hawaii International Conference on System Science (Jan. 1983). Western Periodicals, 1983, pp. 51–57.
4. Avrunin, G. S., and Wileden, J. C. Describing and analyzing distributed system designs. ACM Trans. Program. Lang. Syst. 7, 3 (July 1985), 380–403.
5. Avrunin, G. S., Dillon, L. K., Wileden, J. C., and Riddle, W. E. Constrained expressions: Adding analysis capabilities to design methods for concurrent software systems. IEEE Trans. Softw. Eng. SE-12, 12 (Feb. 1986), 278–292.
6. Bates, P., and Wileden, J. C. High level debugging of distributed systems. J. Syst. Softw. 3, 4 (Dec. 1983), 255–264.
7. Campbell, R. H., and Habermann, A. N. The specification of process synchronization by path expressions. In Lecture Notes in Computer Science, Springer-Verlag, Heidelberg, 1974, pp. 89–102.
8. Chen, B. S., and Yeh, R. T. Formal specification and verification of distributed systems. IEEE Trans. Softw. Eng. 6 (Nov. 1983), 710–722.
9. Croft, W., and Lefkowitz, L. Task support in an office system. ACM Trans. Office Inf. Syst. 2, 3 (July 1984), 197–212.
10. Dillon, L. K. Analysis of distributed systems using constrained expressions. Ph.D. dissertation, Univ. of Massachusetts, Amherst, Sept. 1984. Also available as TR 84-18.
11. Dillon, L. K. Overview of the constrained expression design language. Tech. Rep. TRCS86-21, Computer Science Dept., Univ. of California, Santa Barbara, Oct. 1986.
12. Dillon, L. K. Simplification and reduction of CEDL constrained expressions. Tech. Rep. TRCS86-29, Computer Science Dept., Univ. of California, Santa Barbara, Nov. 1986.
13. Ginsburg, S. The Mathematical Theory of Context-Free Languages. McGraw Hill, New York, 1966.
14. Greif, I. A language for formal problem specification. Commun. ACM 20, 12 (Dec. 1977), 931–935.
15. Habermann, A. N. Synchronization of communicating processes. Commun. ACM 25, 3 (Mar. 1972), 171–176.
16. Hack, M. Petri net languages. Memo 124, Computation Structures Group, MIT, Cambridge, Mass., June 1975.
17. Hoare, C. A. R. Communicating sequential processes. Commun. ACM 21, 8 (Aug. 1978), 666–677.
18. Hoare, C. A. R. Specifications, programs and implementations. Tech. Mono. PRG-29, Oxford Univ. Computing Laboratory, Oxford, England, June 1982.
19. Hoare, C. A. R. Communicating Sequential Processes. Prentice-Hall International, Englewood Cliffs, N.J. 1985.
20. Holzmann, G. J. A theory of protocol validation. IEEE Trans. Comput. (Aug. 1982), 730–738.
21. Lamport, L. A new approach to proving the correctness of multiprocess programs. ACM Trans. Program. Lang. Syst. (July 1979), 84–97.
22. Lauer, P. E., Torrigiani, P. R., and Shields, M. W. Cosy: A system specification language based on paths and processes. Acta Inf. (1979), 451–503.
23. Misra, J., and Chandy, K. M. Proofs of networks of processes. IEEE Trans. Softw. Eng. SE-7, 4 (July 1981), 417–426.
24. Nguyen, V., Demers, A., Gries, D., and Owicki, S. A model and temporal proof system for networks of processes. Distributed Comput. (Jan. 1986), 7–25.
25. Peterson, J. Computation sequence sets. J. Comput. Syst. Sci. 13, 1 (Aug. 1976), 1–24.
26. Peterson, J. Petri nets. ACM Comput. Surv. 9, 3 (Sept. 1977), 223–252.
27. Riddle, W. E. An approach to software system behavior modeling. Comput. Lang. (Elmsford, N.Y.) 4 (1979), 29–47.
28. Shaw, A. C. Software descriptions with flow expressions. IEEE Trans. Softw. Eng. SE-4, 3 (May 1978), 242–254.
29. Sundaram, U. A constrained expression deriver for CEDL: An overview. Tech. Rep. SDLM 86-1, Software Development Laboratory, Dept. of Computer and Information Science, Univ. of Massachusetts, Amherst, Aug. 1986.
30. Sundaram, U., Avrunin, G. S., and Wileden, J. C. Design of the deriver for CEDL. To be published.
31. Taylor, R. N. A general-purpose algorithm for analyzing concurrent programs. Commun. ACM 6, 5 (May 1983), 362–376.
32. Welter, M. Counter expressions. Tech. Rep. RSSM/24, Dept. of Computer and Communication Science, Univ. of Michigan, Ann Arbor, Oct. 1976.
33. Wileden, J. C. Techniques for modelling parallel systems with dynamic structure. J. Digital Syst. (Summner 1980), 177–197.
34. Wileden, J. C. Constrained expressions and the analysis of designs for dynamically-structured distributed systems. In Proceedings of the 1982 International Conference on Parallel Processing (Bellaire, Mich., Aug. 1982). IEEE Computer Society Press, New York, pp. 340–344.