Operads for complex system design specification, analysis and synthesis
| Autor: | Spencer Breiner, Eswaran Subrahmanian, John D. Foley, John M. Dusel |
|---|---|
| Rok vydání: | 2021 |
| Předmět: |
FOS: Computer and information sciences
Computer science Programming language Principle of compositionality General Mathematics Design specification 010102 general mathematics General Engineering Complex system General Physics and Astronomy Mathematics - Category Theory 0102 computer and information sciences computer.software_genre 01 natural sciences Software Engineering (cs.SE) Computer Science - Software Engineering 010201 computation theory & mathematics FOS: Mathematics Systems design Category Theory (math.CT) Automated reasoning 0101 mathematics computer |
| Zdroj: | Proceedings. Mathematical, physical, and engineering sciences. 477(2250) |
| ISSN: | 1364-5021 |
| Popis: | As the complexity and heterogeneity of a system grows, the challenge of specifying, documenting and synthesizing correct, machine-readable designs increases dramatically. Separation of the system into manageable parts is needed to support analysis at various levels of granularity so that the system is maintainable and adaptable over its life cycle. In this paper, we argue that operads provide an effective knowledge representation to address these challenges. Formal documentation of a syntactically correct design is built up during design synthesis, guided by semantic reasoning about design effectiveness. Throughout, the ability to decompose the system into parts and reconstitute the whole is maintained. We describe recent progress in effective modeling under this paradigm and directions for future work to systematically address scalability challenges for complex system design. 33 pages; 14 figures; revised presentation, esp. first three sections and removal of appendix; new style file |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|