Jan Kubovy, Dagmar Auer, Josef Küng, Mariam Rady,
"Transition between different abstraction levels in an Abstract State Machine (ASM) ground model"
: Database and Expert Systems Applications (DEXA), 2013 24th International Workshop on, Serie Database and Expert Systems Applications (DEXA), IEEE, Seite(n) 227-230, 2013, ISBN: 978-0-7695-5070-1
Original Titel:
Transition between different abstraction levels in an Abstract State Machine (ASM) ground model
Sprache des Titels:
Englisch
Original Buchtitel:
Database and Expert Systems Applications (DEXA), 2013 24th International Workshop on
Original Kurzfassung:
Using Abstract State Machines (ASMs) we can
specify a service or piece of software formally for the purpose
of future implementation. During the development life-cycle the
related specification evolves. Abstract functions and rules are
defined, new functions and rules are introduced and arbitrary
data structures are instantiated with the specification being
refined towards implementation. Two main abstraction levels
are introduced in this paper to show a possible classification
of abstraction levels of a formal specification. Furthermore,
the basic differences and basic transition guidelines between
those levels are discussed. A small example of the proposed two
main abstraction levels is shown on a high-level specification of
a potential transition machine to outline the intended transition
process, typical appearance of abstraction level stages and
refinement patterns.