データフローモデル?
WAM?
一階述語論理?

何をお望み?