UML statecharts compositional semantics in LOTOS

Proceedings of the 7th International Symposium on Parallel and Distributed Computing, ISPDC 2008

Volumn , Issue , 2008, Pages 459-463

  Mrowka, Rafal ^a   Szmuc, Tomasz ^a  

^a AGH UNIVERSITY OF SCIENCE AND TECHNOLOGY   (Poland)

Author keywords

[No Author keywords available]

Indexed keywords

COMPOSITIONAL SEMANTICS; COMPOSITIONALITY; EQUIVALENCE RELATIONS; FORMAL DESCRIPTION LANGUAGES; MODEL-CHECKING TECHNIQUES; STATE CHARTS; TRANSLATION FUNCTIONS; UML STATECHART; UML STATECHARTS;

INFORMATION THEORY; REAL TIME SYSTEMS; SEMANTICS; SET THEORY;

MODEL CHECKING;

EID: 60349117103     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ISPDC.2008.60     Document Type: Conference Paper

References (13)

1. J.C.M. Baeten, J.A. Bergstra: Mode Transfer in Process Algebra. Report CSR 00-01, Technische Universiteit Eindhoven 2000.
2. E. Brinksma, A Tutorial on LOTOS: Proceedings of IFIP Workshop 'Protocol Specification, Testing, and Verification V, pp. 171-194, North-Holland, 1986 Amsterdam.
3. D. Harel, Pnueli A., J. and R. Sherman: On the formal semantics of statecharts. Proceeding 2nd IEEE Symp. Logic in Computer Science, pp. 54-64, 1987.
4. B. Hnatkowska, Z. Huzar: Transformation of Dynamic Aspects of UML Model into LOTOS Beha-viour Expression. Applied Mathematics and Computer Science, vol. 11, nr. 2, 2001.
5. C. Huizing, R. Gerth, W. P de Roever: CAAP'88. 13th colloquium on trees in algebra programming. CAAP volume 299, pp. 271-294, 03.1988, Springer.
6. G. Luttgen, M. Mendler: What is in a step: A fullyabstract semantic for statecharts macro steps via intuitionistic Kripke models. Lecture Notes in Computer Science, vol. 1853, pp. 163, 2000.
7. G. Luttgen, M. von der Beeck, R. Cleaveland: Statecharts via Process Algebra. Lecture Notes In Computer Science, vol. 1664, pp. 399-414. Proceedings of the 10th International Conference on Concurrency Theory 1999.
8. A. Maggiolo-Schettini, A. Peron, S. Tini: A comparison of Statecharts step semantics. Theoretical Computer Science, vol. 290, nr. 1, pp. 465-498, 2003.
9. U. Martin, M. Thomas: Verification Techniques for LOTOS. Lecture Notes In Computer Science; vol. 873 pp. 83-92, Proceedings of the Second International Symposium of Formal Methods Europe on Industrial Benefit of Formal Methods, 1994.
10. A. Pnueli, M. Shalev: What is in a step: On the semantics of statecharts. Theoretical Aspects of Computer Software, pp. 244-264, Springer, Berlin 1991.
11. A.C. Uselton, S.A. Smolka: A Compositional Semantics for Statecharts using Labeled Transition Systems. Lecture Notes In Computer Science, vol. 836, pp. 2-17. Proceedings of the Concurrency Theory 1994.
12. A.C. Uselton, S.A. Smolka: A process algebraic semantics for statecharts via state refinement. Proc. IFIP Working Conf. Programming Concepts, Methods and Calculi (PROCOMET), State Uni-versity of New York at Stony Brook, pp. 262, 1994.
13. A.C. Uselton, S.A. Smolka: State Refinement in Process Algebra.