Translating graphical conceptual model from STATEMATE to FNLOG

IEEM 2007: 2007 IEEE International Conference on Industrial Engineering and Engineering Management

Volumn , Issue , 2007, Pages 1801-1806

  BenAyed, L Jemni ^a   BenDaly, Y Hlaoui ^b  

^a FACULTÉ DES SCIENCES DE TUNIS   (Tunisia)

^b UNIVERSITY OF TUNIS   (Tunisia)

Author keywords

Combined method; FNLOG; Formal method; Semi formal method; Specification; STATEMATE; Translation; Verification

Indexed keywords

COMPUTER SIMULATION; FORMAL METHODS; LARGE SCALE SYSTEMS; SOFTWARE PROTOTYPING; VERIFICATION;

GRAPHICAL CONCEPTUAL MODEL; LOGIC-BASED SPECIFICATION LANGUAGE;

GRAPHIC METHODS;

EID: 40649114264     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/IEEM.2007.4419503     Document Type: Conference Paper

References (12)

1. D.Harel, M.Politi, "Modeling reactive Systems with Statecharts, the STATEMATE Approach", McGraw-Hill Books, Software Development Series, USA, 1997.
2. Y.Hlaoui Ben Daly, "Transformation automatique d'un modele STATEMATE en une specification FNLOG pour la verification", Master report, Faculty of Sciences of Tunis, Tunisia, Januray 2006.
3. Y.Hlaoui ben daly, L.Jemni ben ayed," Formal verification for STATEMATE models", ICIT'07, Jordan, May 2007.
4. L.Jemni, O.Mosbahi, S.Ben Ahmed, "A Specification and Validation Method Based on STATEMATE and FNLOG", MOSIM'03: Organisation and Conduct of Industry Activities and Servives, Toulouse, France, 2003.
5. H.Ledang, J. Souquieres," Modeling class operations in B : a case study on the pump component", Technical Report A01-R-011, Laboratory of Lorrain of Research in Computer science and its Applications, 2001.
6. O.Mosbahi, L.Jemni, S.Ben Ahmed, J.Jaray, "A Specification and Validation Technique Based on STATEMATE and FNLOG", 4th international conference on Formal methods and Software Ingeneering ICFEM, LNCS, vol. 2495, China, 2002.
7. Object Modeling Group, "Uinified Modelling Language Specification", version 1.4, 2001.
8. rd International Conference on Integrated Formal Methods (IFM'02M), Butler, L.Petre, and K. Sere Ed., of Lecture Notes in Computer Science, Springer-Verlag, Finland, vol. 2335, pp. 128-144, 2002
9. A.Sowmya, S.Ramesh, "Extending Statecharts with Temporal logic,SCSE" Report 9401, School of Computer Science and Engineering the university of New South Wales, 1994.
10. A.Sowmya, S.Ramesh, "Extending Statecharts with Temporal logic", IEEE Transactions on Software Engineering, vol.24, no. 3, 1998.
11. A.Sowmya, S.Ramesh, "A Semantics-Preserving Transformation of Statecharts to FNLOG", Proc. 14th IFAC, Seoul, Korea, 1997.
12. J.Bohn, WDH.Wittke, "Modelling and Validating Train System Applications using STATEMATE and Live Sequence Charts", Integrated Design and process Technology, IDPT-2002, Printed in USA, June 2002.