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: | en_US |
Published: |
Institute of Electrical and Electronics Engineers
2011
|
Online Access: | http://hdl.handle.net/1721.1/65148 |
Search Result 1
Algebra of systems: A metalanguage for model synthesis and evaluation
Published 2010
Get full text
Article