Generating Symbolic Traces in the Insertion Modeling System

This paper describes a new generator of symbolic traces which is designed for the latest version of the insertion modeling system. The basic characteristics of the generator are the use of graphic representations of descriptions of multilevel models, division of local descriptions and consequence relation, possibility of adjustment to different search strategies, and application of a new predicate transformer that admits generality quantifiers with constraints relaxed relative to the previous versions.

[1]  Thomas Weigert,et al.  Systems Specification by Basic Protocols , 2005 .

[2]  C. A. R. Hoare,et al.  Communicating sequential processes , 1978, CACM.

[3]  David Gilbert,et al.  A general theory of action languages , 1998 .

[4]  Alexander A. Letichevsky,et al.  Insertion Modeling System , 2011, Ershov Memorial Conference.

[5]  Robin Milner,et al.  A Calculus of Communicating Systems , 1980, Lecture Notes in Computer Science.

[6]  Jameleddine Hassine,et al.  An ASM operational semantics for use case maps , 2005, 13th IEEE International Conference on Requirements Engineering (RE'05).

[7]  Luca Cardelli,et al.  Mobile Ambients , 1998, Foundations of Software Science and Computation Structure.

[8]  Thomas Weigert,et al.  Leveraging UML to Deliver Correct Telecom Applications , 2003, UML for Real.

[9]  Alexander A. Letichevsky.  Algebra of behavior transformations and its applications , 2005 .

[10]  Robin Milner,et al.  The Polyadic π-Calculus: a Tutorial , 1993 .

[11]  Thomas Weigert,et al.  Basic protocols, message sequence charts, and the verification of requirements specifications , 2005, Comput. Networks.

[12]  Jan A. Bergstra,et al.  Process Algebra for Synchronous Communication , 1984, Inf. Control..

[13]  Carl Hewitt,et al.  A Universal Modular ACTOR Formalism for Artificial Intelligence , 1973, IJCAI.

[14]  David R. Gilbert,et al.  A Model for Interaction of Agents and Environments , 1999, WADT.

[15]  C. Petri.  Kommunikation mit Automaten , 1962 .

[16]  Robin Milner,et al.  Communication and concurrency , 1989, PHI Series in computer science.