Difference between revisions of "Algebra of Systems"
Jump to navigation
Jump to search
| Line 1: | Line 1: | ||
Algebra of Systems<ref>{{:Paper/Algebra of Systems}}</ref> is a paper based on [[User:Benkoo|Koo]]'s thesis<ref>{{:Thesis/A Meta-language for Systems Architecting}}</ref>. | Algebra of Systems<ref>{{:Paper/Algebra of Systems}}</ref> is a paper based on [[User:Benkoo|Koo]]'s thesis<ref>{{:Thesis/A Meta-language for Systems Architecting}}</ref>. | ||
=A | =A Concise Algebra for automating engineering tasks= | ||
This year 2009 paper summarized the following statement in the conclusion: | This year 2009 paper summarized the following statement in the conclusion: | ||
In [[Laws of programming]]<ref>C. A. R. Hoare, I. J. Hayes, J. He, C. C. Morgan, A. W. Roscoe, J. W. Sanders, I. H. Sorensen, J. M. Spivey, and B. A. Sufrin, “Laws of programming,” Commun. ACM, vol. 30, no. 8, pp. 672–686, Aug. 1987.</ref>, Hoare et al. questioned whether a small set of al- gebraic laws can be directly useful in a practical engineering design problem. The absence of a tool that can bridge the cog- nitive gap between mathematical abstractions and engineering problems may have been the main reason for their conservative attitude. | In [[Laws of programming]]<ref>C. A. R. Hoare, I. J. Hayes, J. He, C. C. Morgan, A. W. Roscoe, J. W. Sanders, I. H. Sorensen, J. M. Spivey, and B. A. Sufrin, “Laws of programming,” Commun. ACM, vol. 30, no. 8, pp. 672–686, Aug. 1987.</ref>, Hoare et al. questioned whether a small set of al- gebraic laws can be directly useful in a practical engineering design problem. The absence of a tool that can bridge the cog- nitive gap between mathematical abstractions and engineering problems may have been the main reason for their conservative attitude. | ||
Revision as of 04:29, 20 January 2022
Algebra of Systems[1] is a paper based on Koo's thesis[2].
A Concise Algebra for automating engineering tasks
This year 2009 paper summarized the following statement in the conclusion:
In Laws of programming[3], Hoare et al. questioned whether a small set of al- gebraic laws can be directly useful in a practical engineering design problem. The absence of a tool that can bridge the cog- nitive gap between mathematical abstractions and engineering problems may have been the main reason for their conservative attitude.
The above statement echos who Dana Scott[4] was saying in the 2018 Lambda Conference.
References
- ↑ Koo, Hsueh-Yung Benjamin; Simmons, Willard; Crawley, Edward (Nov 16, 2021). "Algebra of Systems as a Meta Language for Model Synthesis and Analysis" (PDF). local page: IEEE TRANSACTIONS ON SYSTEMS, MAN, AND CYBERNETICS.
- ↑ Koo, Hsueh-Yung Benjamin (31 Jan 2005). A Meta-language for Systems Architecting (PDF) (Ph.D.). local page: MIT. Retrieved July 18, 2021.
- ↑ C. A. R. Hoare, I. J. Hayes, J. He, C. C. Morgan, A. W. Roscoe, J. W. Sanders, I. H. Sorensen, J. M. Spivey, and B. A. Sufrin, “Laws of programming,” Commun. ACM, vol. 30, no. 8, pp. 672–686, Aug. 1987.
- ↑ Scott Commenting on a small algebra for combinators