Advertisement

Transcribing process model standards into meta-processes

  • Carla Blanck Purper
Session 2: Methods
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1780)

Abstract

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

Keywords

Process Standard Standard Compliance Standard Process Model Artifact Flow Software Life Cycle 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [AQAP150]
    NATO AQAP-150. NATO “Quality Assurance Requirements for Software Development”. March 1993.Google Scholar
  2. [Basi93]
    V. Basili. “The experience factory and ist relationship to other improvement paradigms”. In Sommerville and M. Paul (eds): 4th ESEC, LCNS 717, Springer-Verlag, 1993, 68–83.Google Scholar
  3. [Emme99]
    W. Emmerich, A. Finkelstein, C. Montangero, S. Antonelli, S. Armenise and R. Stevens. “Managing Standards Compliance”. To appear in IEEE Transactions on Software Engineering. 1999.Google Scholar
  4. [FW94]
    Fröhlich, M., Werner, M.: The interactive Graph-Visualization System daVinci —A User Interface for Applications. Informatik Bericht Nr. 5/94, Universität Bremen, 1994. updated doc.: http://www.tzi.de/~daVinciGoogle Scholar
  5. [GD250]
    General Directive 250. Development Standard for IT Systems of the Federal Republic of Germany. Process Lifecycle. June 1997.Google Scholar
  6. [GD251]
    General Directive 251. Development Standard for IT Systems of the Federal Republic of Germany. Methods Allocation. June 1997.Google Scholar
  7. [GD252]
    General Directive 252. Development Standard for IT Systems of the Federal Republic of Germany. Functional Tool Requirements. June 1997.Google Scholar
  8. [IEEE]
    IEEE—Institute of Electrical Engineering. http://computer.org/, http://standards.ieee.org/catalog/olis/.Google Scholar
  9. [IEEE1074]
    IEEE-STD 1074-1995. “IEEE Standard for Developing Software Lifecycle Processes”.Google Scholar
  10. [IEEE1220]
    IEEE-STD 1220-1994. “Trial Use Standard for Application Management of the Systems Engineering Process”.Google Scholar
  11. [ISO9001-3]
    ISO 9001-3 Quality Management and Quality Assurance Standards-Part 3: Guidelines for the application of ISO 9001 to the development, supply and maintenance of software.Google Scholar
  12. [ISO12207]
    ISO/IEC 12207 Information Technology—Software life cycle processes. First edition, 1995-08-01. http://www.iso.ch/cate/d21208.htmlGoogle Scholar
  13. [Kar98]
    E.W. Karlsen: The UniForM Workbench, a Higher-Order Tool Integration Framework. In: D. Hutter, W. Stephan, P. Traverso, M. Ullmann (eds.): Applied Formal Methods-FM-Trends 98. International Workshop on Current Trends in Applied Formal Methods. LNCS 1641. Springer (1999) 266–280.Google Scholar
  14. [Kar99]
    E. Karlsen. Tool Integration in a Functional Setting. Ph.D. thesis. Bremen University, 1999.[KSW96] Kolyang, Santen, T., Wolff, B.: A Structure Preserving Encoding of Z in Isabelle/HOL. In Proc. Int'l Conf. on Theorem Proving in Higher Order Logic. LNCS 1125. Springer (1996). http://www.tzi.de/~kol/HOL-ZGoogle Scholar
  15. [K+99]
    Krieg-Brückner, B., Peleska, J., Olderog, E.-R., Baer, A.: The UniForM Workbench, a Universal Development Environment for Formal Methods. In: J.M. Wing, J. Woodcock, and J. Davies (eds.): FM'99, Formal Methods. Proceedings, Vol. II. Lecture Notes in Computer Science 1709. Springer (1999) 1186–1205.Google Scholar
  16. [LTSA]
    LTSA-Learning Technology Systems Architecture. Version 4.0, 1998-05-21. Review Copy. http://www.edutool.com/ltsa/ [L+99]. C. Lüth, H. Tej, Kolyang, B. Krieg-Brückner: TAS and IsaWin: Tools for Transformational Program Development and Theorem Proving. In J.-P. Finance (ed.): Fundamental Approaches to Software Engineering (FASE'99, at ETAPS'99). LNCS 1577. Springer (1999) 239–243.Google Scholar
  17. [Purp99a]
    C.B. Purper “Process Web-Center as a learning environment for software process standards”. 2nd Asia-Pacific Web-Conference, Hong-Kong, Sept, 1999 (to appear).Google Scholar
  18. [Purp99b]
    C. B. Purper “A Process Web-Center”. 2nd Workshop on Software Engineering over the Internet” at ICSE. Los Angeles, USA. May 17, 1999.Google Scholar
  19. [Purp99c]
    C. B. Purper. “An Environment to support flexibility in process standards”. Proc. SITT"99. Aachen, 15–17 Sept, 1999 (to be published).Google Scholar
  20. [PSS05]
    ESA PSS-05-0 Issue 2. February 1991, Software Engineering Standards.Google Scholar
  21. [TW97]
    H. Tej, B. Wolff: A Corrected Failure-Divergence Model for CSP in Isabelle/HOL. Formal Methods Europe, FME'97. LNCS 1313, Springer (1997) 318–337.Google Scholar
  22. [Warb99]
    B. Warboys, Ed., “Meta-Process”. In: J.-C. Derniame, A. Kaba and D. Wastell (eds): Software Process: Principles, Methodology, Technology. Lecture Notes in Computer Science 1500. Springer Verlag. 1998.Google Scholar

Copyright information

© Springer-Verlag 2000

Authors and Affiliations

  • Carla Blanck Purper
    • 1
  1. 1.FB3 Mathematik/InformatikUniversität BremenBremenGermany

Personalised recommendations