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

In order to verify that a lot of legal requirements and regulations are correctly translated into software, this paper provides a solution for formal and computable representations of rules and requirements in data protection legislations with a DSML (Domain Specific Modeling Language). All policies are formally specified through Prolog and then integrated with DSML, According to the time of policy verification, this solution has two kinds of policies: static policies, dynamic policies. ☞ keyword : 도메인 고유의 언어(DSML), 정책모델(Policy Model), 워크플로우 모델(Workflow Model), 모델 검증(Model Verification), 모델 통합(Model Integration)