Transcribing Process Model Standards into Meta-Processes

作者: Carla Blanck Purper

DOI: 10.1007/BFB0095014

关键词:

摘要: Standards on process models are commonly delivered by means of static documents, usually paper based which difficult to handle and become skilled at. It is a task abstract the model from informally written standard then tailor it into particular project. As customized enactable for real-world project stored in different frameworks, an automatic compliance, on-line retrieval original content official regulations etc. not feasible. One proposal bridge this gap construction meta-processes. This introduces schema formalizing meta-process standards, illustrates application four standards describes its implementation web-based learning environment GDPA1.

参考文章(12)
Bernd Krieg-Brückner, Jan Peleska, Ernst-Rüdiger Olderog, Alexander Baer, The UniForM Workbench, a Universal Development Environment for Formal Methods formal methods. pp. 1186- 1205 ,(1999) , 10.1007/3-540-48118-4_13
Ieee Standards Board, IEEE Standard for developing software life cycle processes Institute of Electrical and Electronics Engineers. ,(1992)
H. Tej, B. Wolff, A Corrected Failure Divergence Model for CSP in Isabelle/HOL formal methods. pp. 318- 337 ,(1997) , 10.1007/3-540-63533-5_17
P. Garbett, J. P. Parkes, M. Shackleton, S. Anderson, Secure Synthesis of Code: A Process Improvement Experiment formal methods. pp. 1816- 1835 ,(1999) , 10.1007/3-540-48118-4_46
Victor R. Basili, The Experience Factory and its Relationship to Other Improvement Paradigms european software engineering conference. pp. 68- 83 ,(1993) , 10.1007/3-540-57209-0_6
Kolyang, T. Santen, B. Wolff, A structure preserving encoding of Z in isabelle/HOL Lecture Notes in Computer Science. pp. 283- 298 ,(1996) , 10.1007/BFB0105411
W. Emmerich, A. Finkelstein, C. Montangero, S. Antonelli, S. Armitage, R. Stevens, Managing standards compliance IEEE Transactions on Software Engineering. ,vol. 25, pp. 836- 851 ,(1999) , 10.1109/32.824413
E. W. Karlsen, The UniForM workbench : A higher order tool integration framework Lecture Notes in Computer Science. pp. 266- 280 ,(1999)
Brian Warboys, Pierre-Yves Cunin, Ian Robertson, Reidar Conradi, Minh Ngoc Nguyen, Denis Avrillionis, Meta-Process Software Process: Principles, Methodology, Technology. pp. 53- 94 ,(1999)