Comp 601 - overall

Jan, 7th 2008

Research strategic plan

  1. Comp 601:

    • General Testing techniques.
    • Testing Matrix - Papers.
    • Challenges
  2. Proposed Solution

    • Testing framework using DEVS
    • Implementation and application
    • Advantages and Dis-Advantages
  3. More efficient implementation

    • Testing framework running using Distributed DEVS
    • Testing framework using time-warp (Distributed) DEVS
    • Advantages and Dis-Advantages of each.(which testing context will this make easier and more systematic ?)
  4. Semantic domain testing

    • Using Testing framework in the context of doing semantic equivlance - petri-nets
  5. two more aspects that are related, I would like to work on:

  6. Testing of Embedded/Distributed Systems

    • Instrumentation
    • Product Lines
    • Automatic Test of Requirements, Transformations.
  7. HOT (higher order transformation)

    • Implement Mutation testing framework for ATOM3 rules

Places to look for papers:

  • ICMT
  • ICST
  • Sosym
  • Models Conferences
  • SLE Conferences

Mind Map - Paper gap analysis - Trac

Sept, 17th 2008

Mind Map of Research

Will be added in its own section.

Paper gap analysis

Things still need to be added.....


Repository, branches, what to check in. naming scheme, naming schemes....

Fall Courses and Projects - 2

Sept, 10th 2008

The meeting minutes are summarized in the following mind map

10 September 2008 Meeting minutes mind map

Fall Courses and Projects

Sept, 4th 2008

Distributed Motif Project

This project has three parts:

  1. implement the class diagram to RDBMS transformation using MoTif. this will allow for an automatic transformation of any meta model ( specified in class diagrams formalism) into a database schema. where records representing model instances can be described
  2. implement the rules compiler ( the GG grammer visual rules) into efficient queries on the previously produced schema. After this step, Any Motif transformation can run on a database end, helping dealing with very large models. this work has been done by varro, and could be mimicked.
  3. Distribute the execution of MoTif. this is still slightly vague, we will need to disscuss this with Eugene

Simulation Project Possibilities

The Project need to be based on simulation. most of the ideas were based on enhancing or extending the DEVS simulator. here is a list:

  • Symbolic Flattening
  • Symbolic Optimization
  • Hierachy -> Direct connections
  • Activity Tracking
  • Distributed ( performance , state space )
  • Nested Time ( related to testing )

Trac stuff

Talk to Andrew and setup trac

Summer plans and thesis

June, 20th 2008

  • Discussion about the thesis:
    • Courses: I still have to take three courses. I have chosen Software Evolution, Distributed Systems, and the Simulation course. Hans highly encourges me to take prakash's course on model consistency.
    • Reading Course: I have registered for this course the past year, but have not yet finished it. in fact the outcome of this course should form the first chapter of my thesis, and hence I need to start keeping track of the papers i read so I can synthesize them.
    • Thesis Mind Map: I need to start sketching a mind map that describes the different chapters of my thesis. I think i will add soon a page to this navigation menu to display it. it's understood that the evolution of this map will always exist.
    • Thesis Work: the thesis will need and be evaluated by work and contributions.

  • Work related to the paper:
    • Add more example test cases
    • demonstrate finding bugs
    • Compare to gray's framework
    • demonstrate variability:
      1. Input generator : Use XMI translator, maybe to get Sagar's generated inputs, and maybe XML
      2. Acceptor blocks:
        • Post Conditions through criteria
        • XML diff
        • Criteria matching for models

Summer's big picture

May, 11th 2008

  • This was a massive MSDL meeting; Hans, Reehan, Eugene, Charles, Nicolae, Xiaoxi and me were there. We introduced ourselves and the projects we're working on. Hans made a huge diagram on the blackboard, wrote down the topics/projects and, under them, the names of the present and future members of the lab.

    • Kernel: Xiaoxi Dong will be working in developing the new kernel of AToM3 (AToM3 Redux). AToM3's meta-model is Class Diagrams and, while in the current version constraints and actions must be coded using Python, in the new AToM3 constraint and actions will me modelled too, as it should be! This is a huge project, and will affect everyone, so very probably we'll all have something to do with the kernel.

    • Textual: Reehan Shaikh is already working on a Modelica compiler for AToM3.

    • Visual: If I understood correctly, Nicolae Rusan is going to help Jacob Beard on improving the visual appearance of model editing in AToM3, plus building a web-based model editing version of AToM3 (because, ultimately, we'd like AToM3 to be completely web-based). Nicolae may perform further work on this after Jake.

    • Transformation/Version control: This is almost entirely Eugene Syriani's territory. I guess he will be performing some more work on the MoTif compiler. The main difficulty of developing the version control is detecting differences between models.

    • Testing: Amr Al Mallah will be performing further work on his personal project for the course COMP763, about testing model transformations. Sagar Sen and Benoit Baudry, from Universite de Rennes, and Massimo Tisi, from Politecnico di Milano, are also joining the lab during the Summer, and are going to work on model testing too.

    • Multi-view & multi-user: Our AToM3 partners in Madrid, Juan de Lara and Esther Guerra, have been working on this for a long time already. We'll intend to have semi-regular Skype meetings with them. Apparently, Eugene is also going to be involved in this part too.

    • Statecharts/Applications: Raphael Mannadiar may be joining the lab to perform further work on his PhoneApps/Google Android application. I'll be working with the iRobot Create. Hans suggested the possibility of building a visual application to easily model the robot's behaviour, a tool that could be used by anyone. Chahe Adourian, working for the Canadian Space Agency, is also joining the lab during the Summer to perform work on consistency between mechanical CAD and mechanical dynamics.
Maintained by Amr Al Mallah. Last Modified: 2009/03/12 14:23:43.