A knowledge‐based software environment (KBSE) for designing concurrent processes

References

• Agerwala , T. 1979 . Putting Petri nets to work . Computer , 12 : 85 – 94 .
   Web of Science ®Google Scholar
• Allen , R. , Baumgartner , D. , Kennedy , K. and Porterfield , A. . PTOOL: A semi‐automatic parallel programming assistant . 1986 International Conference on Parallel Processing . St. Charles, IL. August , pp. 164 – 170 .
   Google Scholar
• Alford , M. 1985 . SREM at the age of eight: The distributed computing design system . Computer , 18 : 36 – 46 .
   Google Scholar
• Balzer , R. , Goldman , N. and Neeches , B. . Specification‐based computing environments for information management . Proceedings of International Conference on Data Engineering . Rockville, MD. April , pp. 24 – 27 .
   Google Scholar
• Cheatham , T. 1984 . Program reusability through program transformation . IEEE Trans. Software Engineering , SE‐10 September : 589 – 594 .
   Google Scholar
• Gardo , G. . Toward a definition of modeling power for stochastic petri net models . International Workshop on Petri Nets and Performance Models . Madison, Wl. August , pp. 141 – 154 .
   Google Scholar
• Cook , R. and Aulefta , R. . Statute: A visual simulation package for software prototyping . SIGPLAN ‘86: Symposium on Practical Software Development Environments . Palo Alto, CA. pp. 102 – 110 .
   Google Scholar
• Commoner , F. , Holt , A. , Even , S. and Pnueli , A. 1971 . Marked directed graphs . Journal of Computer and System Sciences , 5 : 511 – 523 .
   Google Scholar
• Delisle , N. and Schwartz , M. . A programming environment for CSP . SIGPLAN ‘86: Symposium on Practical Software Development Environments . Palo Alto, CA. pp. 34 – 41 .
   Google Scholar
• DeMarco , T. 1978 . Structured analysis and system specification , New York : Yourdon Press .
   Google Scholar
• DeRemer , F. and Kron , H. 1976 . Programming‐in‐the‐large versus programming‐in‐the‐small . IEEE Trans. on Software Engineering , SE‐2 : 80 – 86 .
   Google Scholar
• Goldberg , A. 1983 . Smalltalk‐80: The language and its implementation , Reading, MA : Addison Wesley .
   Google Scholar
• Hack , M. 1976 . The equality problem for vector addition systems is undecidable . Theoretical Computer Science , 2 : 77 – 96 .
   Google Scholar
• Henderson , P. and Zalcstein , Y. 1980 . Synchronization problems solvable by generalized PV systems . Journal of the ACM , 27 (1) : 60 – 71 .
   Web of Science ®Google Scholar
• Hudson , S. and King , R. 1988 . The Cactis Project: Database support for software environments . IEEE Trans, on Software Engineering , 14 : 709 – 719 .
   Google Scholar
• Landweber , L. and Robertson , E. 1978 . Properties of conflict‐free and persistent petri nets . Journal of the ACM , 25 (3) : 352 – 364 .
   Web of Science ®Google Scholar
• Mackulak , G. 1984 . High level planning and control: An IDEFO analysis for airframe manufacture . Journal of Manufacturing Systems , 3 : 121 – 133 .
   Web of Science ®Google Scholar
• Marzullo , K. and Weibe , D. . Jasmine: A software system modeling facility . SIGPLAN ‘86: Symposium on Practical Software Development Environments . Palo Alto, CA. pp. 121 – 131 .
   Google Scholar
• Merabet , A. 1986 . Synchronization of operations in a flexible manufacturing cell: The petri net approach . Journal of Manufacturing Systems , 5 : 161 – 169 .
   Google Scholar
• Merlin , P. 1976 . A methodology for the design and implementation of communication protocols . IEEE Trans. on Communications , 24 : 614 – 621 .
   Web of Science ®Google Scholar
• Peterson , J. 1977 . Petri nets . Computing Surveys , 9 : 223 – 252 .
   Web of Science ®Google Scholar
• Peterson , J. 1981 . Petri net theory and the modeling of systems , Englewood Cliffs, NJ : Prentice‐Hall .
   Google Scholar
• Pratt , T. 1985 . Pisces: An environment for parallel scientific computation . Software , 2 : 7 – 20 .
   Google Scholar
• Segall , Z. and Rudolph , L. 1985 . PIE: A programming and instrumentation environment for parallel processing . Software , 2 : 22 – 37 .
   Google Scholar
• Sheu , P. C.‐Y. and Lee , W. 1988 . “ Efficient processing of integrity constraints in deductive databases ” . In Future Generations Computer Systems , (Vol. 3) , 201 – 216 . North Holland .
   Google Scholar
• Sheu , P. C.‐Y. 1989 . Describing semantic databases in logic . Journal of Systems and Software , 9 : 19 – 27 .
   Google Scholar
• Shoenfield , J. 1967 . Mathematical logic , Reading, MA : Addison‐Wesley .
   Google Scholar
• Smith , D. , Kotik , G. and Westfold , S. 1985 . Research on knowledge‐based software engineering environments at Kestrel Institute . IEEE Trans. Sohware Engineering , SE‐11 : 1278 – 1295 .
   Google Scholar
• Snyder , L. and Socha , D. . Poker on the COSMIC Cube: The First retargetable parallel programming language and environment . 1986 International Conference on Parallel Processing . St. Charles, IL. August , pp. 628 – 635 .
   Google Scholar
• Sweet , R. . The Mesa Programming environment . SIGPLAN ‘85: Symposium on Language Issues and Programming Environments . Seattle, WA. June , pp. 216 – 229 .
   Google Scholar
• Teitelman , W. 1984 . A tour through cedar . Software , 1 : 44 – 73 .
   Google Scholar
• U. S. AFWL . 1981 . “ Integrated computer aided manufacturing (ICAM) architecture ” . In Part II, Vol. IV‐Function modeling manual (IDEFO) U. S. AFWL Report No. 10 Vol. IV , Wright Paterson Air Force Base, OH
   Google Scholar
• Warren , D. , Pereira , L. and Pereira , F. . Prolog: The language and its implementation compared with LISP. (SIGPLAN Notices, Vol. 12 (8), 109–115) . Proceedings of a Symposium on Artificial Intelligence and Programming Languages . Rochester, NY. August ,
   Google Scholar
• Waters , R. 1981 . The programmer's apprentice: A session with KBEmacs . IEEE Trans. Software Engineering , SE‐11 : 1296 – 1320 .
   Google Scholar
• Young , M. , Taylor , R. and Troup , D. 1988 . Software environment architectures and user interface facilities . IEEE Trans, on Software Engineering , 14 : 697 – 708 .
   Google Scholar
• Zanilo , C. . Object‐base logic programming . Symposium on Logic Programming . Atlantic City, NJ. February ,
   Google Scholar
• Zisman , M. 1978 . “ Use of production systems for modeling asynchronous concurrent processes ” . In Pattern‐directed inference systems , Edited by: Waterman , D. and Hayes‐Roth , F. 53 – 68 . London : Academic .
   Google Scholar