Right now MKEE is just for IC diagram and TAO diagram. What I hope to do is to develop the IC system diagram based on scenarios and IC cards. And if possible, add the IC system diagram into MKEE.

In order to accomplish this, I will:

1. Be specific about the messages which are transmitted between cells.

2. Give more details for each cell. E.g. what are the states, what are the transactions, etc.

3. I need to modify Colin’s part of initialization, changing the transactions to messages.

4. In order to incorporate the IC system diagram into MKEE, I need to come up with the language to represent all elements. This language should be a XML-like language (I attached the XML presentation for MKEE IC diagram, which I think should be similar for IC system diagram, but with different tags and attributes). And since Perry and Mark will develop the virtual editor, I have to make sure that the output format of their editor is compatible with the language for IC system diagram. (The compatibility ensures traceability. The easiest way to provide traceability is to provide links or URL between the documents.)