A Framework for Expressing the Relationships Between Multiple Views in Requirements Specification
IEEE Transactions on Software Engineering
Model-Driven Software Development: Technology, Engineering, Management
Model-Driven Software Development: Technology, Engineering, Management
Model Checking with Graphical Validation Rules
ECBS '08 Proceedings of the 15th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems
Metrics for Process Models: Empirical Foundations of Verification, Error Prediction, and Guidelines for Correctness
BAM: A Requirements Validation and Verification Framework for Business Process Models
QSIC '11 Proceedings of the 2011 11th International Conference on Quality Software
Hi-index | 0.00 |
Privacy is an important issue, inducing a strong interest in correct holistic treatment of data in processes and systems of enterprises. Beside avoiding infringements, trust in the correct holistic treatment of data increases the overall trust in an enterprise, gaining a competitive advantage. More and more, enterprises utilize business process models (BPMs) to specify, document or optimize (existing) processes and systems. Hence, such BPMs also offer the chance to analyze and validate specifications or existing systems with respect to privacy requirements. In this contribution we present the concept of Integrated Privacy Modeling and Validation and its implementation in our BPM validation and verification framework Business Application Modeler (BAM). BAM enables the automatic validation of BPMs against graphically specified, formal privacy requirements, which can reduce error-prone and expensive manual checking. Furthermore, BAM provides the MultiView concept which allows the definition of concentrated and reduced, privacy related views on BPMs.