The IC cards specification tool is at: icms/index.php. The IC cards (doc) are specified according to IC Card XML schema (see IC Card example), and IC interactions XML schema (see IC interactions example).
The IC cards enable the visual specification of an application. It captures the interaction patterns and timing constraints. The interaction patterns lead to relational graph specification of communication protocols, orchestration and choreography. The IC cards can be transformed into active index and compiled into codes.