Result: The Equivalence of Statecharts

Title:
The Equivalence of Statecharts
Authors:
Long Quan, Zongyan Qiu, Shengchao Qin
Contributors:
Dong, J. S., Woodcock, J., SINGAPORE-MIT ALLIANCE
Source:
Lecture Notes in Computer Science ISBN: 9783540204619
Dong, J. S. & Woodcock, J. (Eds.). (2003). Formal methods and software engineering : 5th International Conference on Formal Engineering Methods, ICFEM 2003, 5-7 November 2003, Singapore ; proceedings. . Berlin: Springer, pp. 125-143, Lecture notes in computer science(2885)
Publisher Information:
Springer Berlin Heidelberg, 2003.
Publication Year:
2003
Subject Terms:
Relation (database), Equivalence (formal languages), Modeling and Control of Petri Nets in Systems, Quantum mechanics, Theoretical computer science, Temporal Logic, FOS: Mathematics, Bisimulation, Model-Driven Engineering in Software Development, Data mining, Observable, Physics, Semantics (computer science), Linguistics, Discrete mathematics, Computer science, TRACE (psycholinguistics), Programming language, FOS: Philosophy, ethics and religion, Philosophy, Computational Theory and Mathematics, Equivalence relation, Computer Science, Physical Sciences, Operational semantics, FOS: Languages and literature, Software, Mathematics, Formal Methods in Software Verification and Control
Document Type:
Book Part of book or chapter of book<br />Other literature type<br />Article
File Description:
application/pdf
DOI:
10.1007/978-3-540-39893-6_9
DOI:
10.60692/a07ve-fbw80
DOI:
10.60692/87b44-1d409
Access URL:
http://dro.dur.ac.uk/6235/1/6235.pdf
https://core.ac.uk/display/9439991
https://link.springer.com/content/pdf/10.1007%2F978-3-540-39893-6_9.pdf
https://link.springer.com/chapter/10.1007%2F978-3-540-39893-6_9
https://dro.dur.ac.uk/6235/
https://research.tees.ac.uk/en/publications/the-equivalence-of-statecharts
https://dblp.uni-trier.de/db/conf/icfem/icfem2003.html#LongQQ03
Accession Number:
edsair.doi.dedup.....31c16f0a98cea9c42c038b82c18883d4
Database:
OpenAIRE

Further Information

Cet article propose une sémantique opérationnelle compositionnelle pour un sous-ensemble non trivial de Statecharts et définit une relation d'équivalence entre Statecharts en utilisant la bisimulation sur les configurations. Un modèle de trace d'entrée/réponse est également étudié au niveau du comportement observable.
Este documento propone una semántica operativa de composición para un subconjunto no trivial de Statecharts y define una relación de equivalencia entre Statecharts utilizando bisimulación en configuraciones. También se investiga un modelo de rastreo de entrada/respuesta a nivel de comportamiento observable.
This paper proposes a compositional operational semantics for a nontrivial subset of Statecharts and defines an equivalence relation between Statecharts using bisimulation on configurations. An input/response trace model is also investigated at the level of observable behaviour.
تقترح هذه الورقة دلالات تشغيلية مركبة لمجموعة فرعية غير بديهية من مخططات الدولة وتحدد علاقة التكافؤ بين مخططات الدولة باستخدام التنصيف على التكوينات. كما يتم التحقيق في نموذج تتبع المدخلات/الاستجابة على مستوى السلوك الملحوظ.