Skip to main content
SpringerLink
Log in

Requirements-Reuse Using GOPCSD: Component-Based Development of Process Control Systems

  • Conference paper
Software Reuse: Methods, Techniques, and Tools (ICSR 2004)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 3107))

Included in the following conference series:

Abstract

Software reuse, when correctly employed, can make it feasible to extend process control applications with controlled cost and effort. Component-based development is one of the important means to realise software reuse at the different development lifecycle stages. This paper illustrates the component-based development of process control systems using the GOPCSD tool. The GOPCSD tool guides the user to develop flexible requirements specification models for process control components that can be reused in different families of process control applications. The tool automatically generates a B specification corresponding to the corrected requirements. We illustrate the component-based development by examining a case study of a production cell. Finally, we draw conclusions and give directions for future work.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Abrial, J.R.: The B Book: Assigning Programs to Meaning. Cambridge University Press, Cambridge (1995)

    Google Scholar 

  2. Ansorge, D., Bergner, K., Deifel, B., Hawlitzky, N., Maier, C., Paech, B., Rausch, A., Sihling, M., Thurner, V., Vogel, S.: Managing componentware development - software reuse and the V-modell process. In: Jarke, M., Oberweis, A. (eds.) CAiSE 1999. LNCS, vol. 1626, p. 134. Springer, Heidelberg (1999)

    Chapter  Google Scholar 

  3. Atkinson, C., Kühne, T., Bunse, C.: Dimensions of Component-based Development. In: Atkinson, C., Kühne, T., Bunse, C. (eds.) Fourth International Workshop on Component-Oriented Programming, (WCOP 1999) (1999)

    Google Scholar 

  4. Atkinson, C., Bayer, J., Laitenberger, O., Zettel, J.: A component-based software engineering: the KobrA approach. In: International Workshop on Component-Based Software Engineering, the 22nd International Conference on Software Engineering (ICSE2000) Limerick, Ireland (2000)

    Google Scholar 

  5. B Core UK limited, B Toolkit (1998), http://www.b-core.com/btoolkit.html

  6. del Rio, C., Augustine, Gayo, J.E.L., Lovelle, J.M.C., Itacio: A Component Model for Verifying Software at Construction Time. In: International Workshop on Component-Based Software Engineering, the 22nd International Conference on Software Engineering (ICSE2000) Limerick, Ireland (2000)

    Google Scholar 

  7. Coulange, Bernard: Software Reuse. Translation Editor Iain Craig.Springer , Heidelberg (1998)

    Google Scholar 

  8. Davis, A.M.: Software Requirements: Objects, Functions and States. Prentice-Hall, Englewood Cliffs (1993)

    MATH  Google Scholar 

  9. Easterbrook, Steve: Resolving Requirement Conflicts with Computer-Supported Negotiation. In: Jirotka, M., Goguen, J. (eds.) Requirement Engineering: social and technical issues, pp. 41–65. Academic Press, London (1994)

    Google Scholar 

  10. El-Maddah, I.A.M., Maibaum, T.S.E.: Goal-Oriented Requirements Analysis for Process Control Systems Design. In: Proc. First ACM and IEEE International conference on Formal models and methods for co-design MemoCode, France, pp. 45–46 (2003)

    Google Scholar 

  11. El-Maddah, I.A.M., Maibaum, T.: The GOPCSD tool: An integrated development environment for process control requirements and design. In: Wermelinger, M., Margaria-Steffen, T. (eds.) FASE 2004. LNCS, vol. 2984, pp. 261–266. Springer, Heidelberg (2004)

    Chapter  Google Scholar 

  12. El-Maddah, Islam, A.M., Maibaum, T.S.E.: Tracing Aspects in Goal driven Requirements of Process Control Systems. In: Early Aspects 2004 workshop at The International Conference on Aspect-Oriented Software Development (AOSD), Lancaster, UK (2004)

    Google Scholar 

  13. Freedman, Roy, S.: Testability of Software Components. IEEE Transactions on Software Engineering 17(6) (June 1991)

    Google Scholar 

  14. Gao, J.: Component Testability and Component testing Challenges. In: International Workshop on Component-Based Software Engineering, the 22nd International Conference on Software Engineering (ICSE2000) Limerick, Ireland (2000)

    Google Scholar 

  15. Heitmeyer, C., Kirby Jr., J., Labaw, B., Bharadwaj, R.: SCR*: A toolset for specifying and analyzing software requirements. In: Y. Vardi, M. (ed.) CAV 1998. LNCS, vol. 1427, Springer, Heidelberg (1998)

    Chapter  Google Scholar 

  16. Jackson, M.: Problem Frames Analyzing and structuring software development problems. Addison-Wesley, Reading (2001)

    Google Scholar 

  17. Lamsweerde, v., Axel, Dardenne, A., Delcourt, B., Dubisy, F.: The KAOS Project: Knowledge Acquisition in Automated Specifications of Software. In: Track: Design of composite systems. Proceeding AAAI Spring Symposium series, March 1991 pp. 59–62. Stanford University, Stanford (1991)

    Google Scholar 

  18. Lamsweerde, v., Axel, Letier, E.: Obstacles in Goal-driven Requirement Engineering. In: proceeding ICSE 1998 20th international conference on software engineering, Kyoto, ACM-IEEE (April 1998)

    Google Scholar 

  19. Lamsweerde, v., Axel, Darimont, R., Letier, E.: Managing Conflicts in Goal-Driven Requirement Engineering. IEEE Transactions on Software Engineering, Special Issue on Managing Inconsistency in Software Development (November 1998)

    Google Scholar 

  20. Leach, R.J.: Software Reuse: Methods, Models and Costs. McGraw-Hill, New York (1997)

    Google Scholar 

  21. Lewerentz, C., Lindner, T.: Formal Development of Reactive Systems. LNCS, vol. 891. Springer, Heidelberg (1995)

    Google Scholar 

  22. Leveson, N.G., Heimdahl, C.M.P.E., Hildreth, H., Reese, J.: Requirements Specification for Process Control Systems. IEEE Transactions on Software Engineering  SE-20(9), 684–707 (1994)

    Article  Google Scholar 

  23. Maibaum, Tom, S.E.: Mathematical Foundations of Software Engineering: a Roadmap. In: The Future of Software Engineering, 22nd International Conference on Software Engineering, Limerick, Ireland (2000)

    Google Scholar 

  24. Maiden, N.A.M., Sutcliffe, A.G.: Exploiting Reusable Specifications Through Analogy. Communications of the ACM 34(5), 55–64 (1992)

    Article  Google Scholar 

  25. Maiden, N.A.M., Sutcliffe, A.G.: People-Oriented Software Reuse: The Very Thought, at Advances in Software Reuse. In: Maiden, N.A.M., Sutcliffe, A.G. (eds.) Second International Workshop on Software Reusability, Lucca, Italy. Second International Workshop on Software Reusability (1993)

    Google Scholar 

  26. Manna, Z., Pnueli, A.: The Temporal Logic of Reactive and Concurrent Systems. Springer, Heidelberg (1992)

    Book  Google Scholar 

  27. Massonet, Philippe, van Lamsweerde, A.: Analogical Reuse of Requirements Frameworks. In: Proceeding RE 1997 –3rd IEEE international symposium on Requirements Engineering, pp. 26–37 (1997)

    Google Scholar 

  28. Nuseibeh, Bashar, Easterbrook, S.: Requirements Engineering: a Roadmap, The Future of Software Engineering. In: 22nd International Conference on Software Engineering, Limerick, Ireland (2000)

    Google Scholar 

  29. Robertson, S., Robertson, J.: Mastering the Requirements Process. ACM Press, New York (1999)

    Google Scholar 

  30. Reubenstein, H.B., Waters, R.C.: The Requirements Apprentice: Automated Assistance of Requirement Acquisition. IEEE Transactions on Software Engineering 17(3), 226–240 (1999)

    Article  Google Scholar 

  31. Zave, P., Jackson, M.: Four Dark Corners of Requirements Engineering. ACM Trans. Software Eng. And Methodology 6(1), 85 (1997)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Computer Science Dept., King’s College London, London, WC2R 2LS, UK

    Islam A. M. El-Maddah & Tom S. E. Maibaum

Authors
  1. Islam A. M. El-Maddah
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Tom S. E. Maibaum
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Nokia, Technology Platforms/Software Platforms ,NOKIA GROUP, P.O. Box 407, FI-00045, Finland

    Jan Bosch

  2. BigLever Software, Austin, TX, USA

    Charles Krueger

Rights and permissions

Reprints and permissions

Copyright information

© 2004 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

El-Maddah, I.A.M., Maibaum, T.S.E. (2004). Requirements-Reuse Using GOPCSD: Component-Based Development of Process Control Systems. In: Bosch, J., Krueger, C. (eds) Software Reuse: Methods, Techniques, and Tools. ICSR 2004. Lecture Notes in Computer Science, vol 3107. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-27799-6_27

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-27799-6_27

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-22335-1

  • Online ISBN: 978-3-540-27799-6

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation