TY - GEN
T1 - A lattice model to verify behavioral equivalences
AU - Choe, Yeongbok
AU - Lee, Moonkun
N1 - Publisher Copyright:
© 2014 IEEE.
PY - 2014
Y1 - 2014
N2 - This paper presents a new model to verify behavioral equivalences based on behavior ontology. In the ontology, actions among processes or tasks are defined as interaction and movement, and, further, behaviors are defined as a sequence of such interactions and/or movements. Since some interactions and movements among the behaviors are overlapped, the behaviors are organized in a lattice structure, called, n:2-Lattice. Compared to other lattices, the lattice has special properties of multiple joins and meets. The property allows polymorphic interpretations of behaviors for equivalence, based on degree of abstraction. It guarantees abstraction of the exponential and nondeterministic complexity of behaviors into polynomial complexity. The ontology can be considered as one of the unique and innovative structure to represent behavioral equivalences.
AB - This paper presents a new model to verify behavioral equivalences based on behavior ontology. In the ontology, actions among processes or tasks are defined as interaction and movement, and, further, behaviors are defined as a sequence of such interactions and/or movements. Since some interactions and movements among the behaviors are overlapped, the behaviors are organized in a lattice structure, called, n:2-Lattice. Compared to other lattices, the lattice has special properties of multiple joins and meets. The property allows polymorphic interpretations of behaviors for equivalence, based on degree of abstraction. It guarantees abstraction of the exponential and nondeterministic complexity of behaviors into polynomial complexity. The ontology can be considered as one of the unique and innovative structure to represent behavioral equivalences.
KW - Abstraction; Verification
KW - Behavior Ontology; Equivalence; Bisimulation; n:2-Lattice
UR - https://www.scopus.com/pages/publications/84988234043
U2 - 10.1109/EMS.2014.92
DO - 10.1109/EMS.2014.92
M3 - Conference paper
AN - SCOPUS:84988234043
T3 - Proceedings - UKSim-AMSS 8th European Modelling Symposium on Computer Modelling and Simulation, EMS 2014
SP - 378
EP - 386
BT - Proceedings - UKSim-AMSS 8th European Modelling Symposium on Computer Modelling and Simulation, EMS 2014
A2 - Al-Dabass, David
A2 - Vannucci, Marco
A2 - Pantelous, Athanasios
A2 - Colla, Valentina
PB - Institute of Electrical and Electronics Engineers Inc.
T2 - UKSim-AMSS 8th European Modelling Symposium on Computer Modelling and Simulation, EMS 2014
Y2 - 21 October 2014 through 23 October 2014
ER -