Algebra of systems: A metalanguage for model synthesis and evaluation
This paper represents system models as algebraic entities and formulates model transformation activities as algebraic operations. We call this modeling framework ldquoalgebra of systemsrdquo (AoS). To show that AoS can automate complex model reasoning tasks in system design projects, we implemented...
| Main Authors: | , , |
|---|---|
| Other Authors: | |
| Format: | Article |
| Language: | English |
| Published: |
Institute of Electrical and Electronics Engineers,
2010-03-09T18:35:11Z.
|
| Subjects: | |
| Online Access: | Get fulltext |