JICS

Digital Library

Search: "[ keyword: 모델 검증 ]" (2)

1. Integration and Verification of Privacy Policies Using DSML's Structural Semantics in a SOA-Based Workflow Environment

Yong-Hwan Lee, Werner Jan, Sztipanovits Janos, Vol. 10, No. 4, pp. 139-150, Aug. 2009
Keywords: DSML, Policy Model, Workflow Model, Model Verification, Model Integration
2. Rule-based Feature Model Validation Tool

Seung-Hoon Choi, Vol. 10, No. 4, pp. 105-114, Aug. 2009
Keywords: Software Product Lines, feature model validation, Rule-based System