Imperative vs Declarative (2)

My ideas are following:

1. The events encode the operations some senses.
2. Do we think it is convenient which the events come from external of the system or are in internal of the system. 
3. If the events are in internal of the system how the functions relates the events.

Imperative vs Declarative

I'm thinking and I leave a memo now.

Reading the book for the Alloy Analyzer

I am reading the book. It is interesting.
This book teaches me Alloy Analyzer method and it is useful to design my design supporting tool.
For example, Alloy analyzer does not distinguish an object and a set containing that one. I apply the approach to my tool.

Design Memo

I think that the functional specification should be declarative.
But I do not know the tool supporting to declare specification.
So I am making the tool, but the progress is slow...