Using Maude to write and execute ODP information viewpoint specifications
Keywords: مادرم; Rewriting logic; Maude; RM-ODP; ODP information viewpoint; Collective behavior; Invariants;