AGACA: Víxlnar grúppur fyrir algebruskorðustöðuvélar - verkefni lokið
Fréttatilkynning verkefnisstjóra
The main results of the project are defining Algebraic Automata as an Abelian Group in the algebraic systems; and the mapping from Constraint Automata to Algebraic Automata; and showing how these theories and techniques can be used in software engineering.
Algebraic systems allow us to compose and decompose, and
automatic algorithms and tools can be built based on them. Automata are used
for modeling and specification of software extensively. Having an algebraic
system with all the features of an Abelian group for software development will
separate most of the process of software design from human art, and let us
build software with higher quality. The decomposition operation for algebraic
automata helps us to perform model-driven development, and automatic
programming. Starting from a given model for the system, and a set of reusable
off-the-shelf components, where we have the specifications in the form of
constraint automata, we can iteratively extract the Algebraic Automata of
components from the Algebraic Automata of the target system and obtain the
Algebraic Automata of the necessary missing building blocks, as the “remainder”
in this operation. This facility by itself can be used in many different
applications. This work can also be used in optimization. Given a component, we
can check whether an equivalent component with a smaller number of basic
components can be built.
The main results of the project are defining Algebraic Automata as an Abelian Group in the algebraic systems; and the mapping from Constraint Automata to Algebraic Automata; and showing how these theories and techniques can be used in software engineering.
Heiti verkefnis: AGACA: Víxlnar grúppur fyrir algebruskorðu stöðuvélar
/ AGACA: Abelian Groups for Algebraic
Verkefnisstjóri: Bahman Pourvatan, Háskólanum í Reykjavík
Tegund styrks: Rannsóknastöðustyrkur (PostDoc Grant)
Styrkár: 2014-2016
Fjárhæð styrks: 19,008 millj. kr. alls
Tilvísunarnúmer Rannís: 141669
