Algebra of systems

Algebra of systems

Algebra of systems (AoS) is an executable systems modeling framework for system synthesis and evaluation [Koo 2007a] . It can be used to automate complex model reasoning tasks for system design projects. AoS provides a formal structure for reasoning about elements and interactions of systems using an algebraic structure containing a set of operands and operators. The knowledge about the possibilities of system configurations is encoded in a recursive data structure called the AoS operand domain. The transformation tasks required to manipulate the operands is generalized as three meta-operators, encode, enumerate, and evaluate. These operators' behavior is partially configured by the content of the AoS operands they operate on. This recursive nature of the algebra makes the algebraic language rather compact but retains its flexibility.

The basic idea was inspired by Abstract interpretation and Universal Algebra where system designs can be approximated as algebraic structures, and each algebraic structure can be manipulated as operands in a meta-algebra. This algebraic formulation of system design provides a formal language to talk about the integration and composition of many sub-systems, therefore provide an algebraic foundation for system-of-systems.

The framework for AoS is implemented in a modeling tool called Object Process Network (OPN).


* [Koo 2007a] B. H. Y. Koo, W. L. Simmons, and E. F. Crawley. " [ Algebra of systems: an executable framework for model synthesis and evaluation] ". In Proceedings of the 2007 International Conference on Systems Engineering and Modeling, 2007.

Wikimedia Foundation. 2010.

Нужно сделать НИР?

Look at other dictionaries:

  • algebra — [al′jə brə] n. [ME < ML < Ar al jabr, the reunion of broken parts < al, the + jabara, to reunite] 1. a mathematical system using symbols, esp. letters, to generalize certain arithmetic operations and relationships (Ex.: x + y = x2… …   English World dictionary

  • algebra — /al jeuh breuh/, n. 1. the branch of mathematics that deals with general statements of relations, utilizing letters and other symbols to represent specific sets of numbers, values, vectors, etc., in the description of such relations. 2. any of… …   Universalium

  • Algebra — This article is about the branch of mathematics. For other uses, see Algebra (disambiguation). Algebra is the branch of mathematics concerning the study of the rules of operations and relations, and the constructions and concepts arising from… …   Wikipedia

  • algebra, elementary — Introduction       branch of mathematics that deals with the general properties of numbers and the relations between them. Algebra is fundamental not only to all further mathematics and statistics but to the natural sciences, computer science,… …   Universalium

  • Algebra of Communicating Processes — The Algebra of Communicating Processes (ACP) is an algebraic approach to reasoning about concurrent systems. It is a member of the family of mathematical theories of concurrency known as process algebras or process calculi. ACP was initially… …   Wikipedia

  • Algebra over a field — This article is about a particular kind of vector space. For other uses of the term algebra , see algebra (disambiguation). In mathematics, an algebra over a field is a vector space equipped with a bilinear vector product. That is to say, it is… …   Wikipedia

  • Algebra Project — The Algebra Project is a national U.S. mathematics literacy effort aimed at helping low income students and students of color successfully achieve mathematical skills that are a prerequisite for a college preparatory mathematics sequence in high… …   Wikipedia

  • Álgebra de Lie ortogonal generalizada — Este artículo o sección tiene contenido demasiado complejo para lectores que no son expertos en el tema. Si puedes, por favor edítalo y contribuye a hacerlo más accesible para el público general, sin eliminar los detalles técnicos que interesan a …   Wikipedia Español

  • algebra — /ˈældʒəbrə / (say aljuhbruh) noun 1. the mathematical art of reasoning about (quantitative) relations by means of a systematised notation including letters and other symbols; the analysis of equations, combinatorial analysis, theory of fractions …   Australian-English dictionary

  • Álgebra lineal numérica — El Álgebra lineal numérica es el estudio de algoritmos para realizar cálculos de álgebra lineal, en particular las operaciones con matrices, en las computadoras. A menudo es una parte fundamental de la ingeniería y los problemas de ciencias de la …   Wikipedia Español

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”