This technical report provides a theoretical basis for the implementation of a TTCN test case simulator. In order to base the implementation on existing code, an automata based model has been chosen, i.e., in the model a TTCN test case shows an automaton like behavior. The procedure is the following: TTCN test cases are transformed into an internal structure, which afterwards can be interpreted...

Policies are used to control the behavior of complex systems. In order to support reasoning about the behavior, it is necessary to have a precise specification of the policy, better if described in an intuitive visual formalism. Graphical constraints and graph transformation rules provide such a combination of a natural yet semantically sound formalization. Furthermore, the evolution of policie...

This technical report provides a theoretical basis for the implementation of a TTCN test case simulator. In order to base the implementation on existing code, an automata based model has been chosen, i.e., in the model a TTCN test case shows an automaton like behavior. The procedure is the following: TTCN test cases are transformed into an internal structure, which afterwards can be interpreted...

Graphical Editing by Example David Joshua Kurlander Constructing illustrations by computer can be both tedious and difficult. This thesis introduces five example-based techniques to facilitate the process. These techniques are independently useful, but also interrelate in interesting ways: • Graphical Search and Replace, the analogue to textual search and replace in text editors, is useful for ...

nowadays, project selection is a vital decision in many organizations. because competition among research projects in order to gain more budgets and to attain new scientific domain has increased. due to multiple objectives and budgeting restrictions for academic research projects have led to the use of expert system for decision making by academic and research centers. the existing methods suff...

The process of developing architectural forms has greatly been changed by advances in digital technology, especially in design tools and applications. In recent years, the advent of graphical scripting languages in the design process has profoundly affected 3D modeling. Scripting languages help develop algorithms and geometrical grammar of shapes based on their constituent parameters. This stud...

Lifted Inference algorithms for representations that combine first-order logic and graphical models have been the focus of much recent research. All lifted algorithms developed to date are based on the same underlying idea: take a standard probabilistic inference algorithm (e.g., variable elimination, belief propagation etc.) and improve its efficiency by exploiting repeated structure in the fi...

Analogical representations based on pictures of domain objects can be used in visual programming to provide a close mapping between the program and the resulting runtime display, which can make programming easier for children and other users. The use of graphical rewrite rules with before and after pictures is an example of this approach. Graphical rewrite rules have some similarities with comi...

This paper presents a graphical representation for the Formal Description Technique Estelle, which has up until now been restricted to a textual syntax based on the general programming language Pascal. The graphical syntax and semantics of the representation are fully descriptive of a general Estelle system and complies with the ISO Estelle standard ISO97]. This representation aims to become a ...