Skip to main content
SpringerLink
Log in

EB3: an entity-based black-box specification method for information systems

  • Regular Paper
  • Published:
Software & Systems Modeling Aims and scope Submit manuscript

Abstract

This paper describes a formal method for specifying the observable (external) behavior of information systems using a process algebra and input-output traces. Its notation is mainly based on the entity concept, borrowed from the Jackson System Development method, and integrated with the requirements class diagram to represent data structures and associations. The specification process promotes modular and incremental description of the behavior of each entity through process abstraction, entity type patterns, and entity attribute function patterns. Valid system input traces result from the composition of entity traces by using parallel composition operations. The association between input traces and outputs through an input-output relation completes the specification process.

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

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Amyot, D., Eberlein, A.: An Evaluation of Scenario Notations for Telecommunication Systems Development. In: 9th International Conference on Telecommunications Systems (ICTS’01). Dallas, USA March 2001

  2. Broy, M., Dederichs, F., Dendorfer, C., Fuchs, M., Gritzner, T.F., Weber, R.: The Design of Distributed Systems – an Introduction to FOCUS. Technische Universität München, Institut für Informatik, TUM-I9203 1992

  3. Boudriga, N., Mili, A., Zalila, R., Mili, F.: A Relational Model for the Specification of Data Types. Computer Languages 17(2): 101–131, 1992

  4. Bolognesi, T., Brinksma, E.: Introduction to the ISO Specification Language LOTOS. Computer Networks and ISDN Systems 14(1): 25–59, 1987

  5. Booch, G., Rumbaugh J., Jacobson, I.: The Unified Modeling Language User Guide. Addison Wesley, Reading, MA 1999

  6. Cameron, J.R.: JSP and JSD: The Jackson Approach to Software Development. Second Edition, IEEE Computer Society Press, Washington 1989

  7. Chen, P.: The Entity Relationship Model – Towards a Unified View of Data. ACM Transactions on Database Systems 1(1): 9–36, 1976

  8. Davis, A.: Requirements Engineering. Prentice Hall, Englewood Cliffs 1992

  9. Deck, M.D.: Data Abstraction in the Box Structures Approach, Proc. 3rd Annual Int. Conf. on Cleanroom Software Engineering Practices 1996

  10. Elmasri, R., Navathe, S.B.: Fundamentals of Database Systems, 3rd edition, Addison-Wesley 2000

  11. Fraikin, B., Frappier, M.: EBSPAI: an Efficient Process Algebra Interpreter. 5th Workshop on Tools for System Design and Verification (FM-TOOLS 2002), Reisensburg Castle, Günzburg, Germany July 15–17 2002

  12. Fraikin, B., Frappier, M.: eb3pai: an Interpreter for the eb3 Specification Language. 15th International Conference on Software & Systems Engineering & their Applications. Paris, France December 3–5 2002

  13. Frappier, M., Mili, A., Desharnais J.: Defining and Detecting Feature Interactions, In: Proc. IFIP TC2 Working Conf. on Algorithmic Languages and Calculi 1997

  14. Frappier, M., St-Denis, R.: A Specification Method for Cleanroom’s Black Box Description, Proc. 31st Hawaii Int. Conf. on System Sciences 1998

  15. Frappier, M., St-Denis, R.: Combining JSD and Cleanroom for Object-Oriented Scenario Specification. In: Kilov, H., Rumpe, B., Simmonds, I. (eds.) Behavioral Specifications of Businesses and Systems. Kluwer Academic Publishers, Boston 1999

  16. Frappier, M., St-Denis, R.: Specifying a Cleanroom Black Box Using JSD. In: Frappier, M., Habrias, H. (eds.) Software Specification Methods: An Overview Using a Case Study. Springer, London 2000

  17. Frappier, M., Laleau, R.: Verifying Event Ordering Properties for Information Systems. The third International Conference of B and Z Users, Lecture Notes in Computer Science, vol. 2651. Springer-Verlag, Turku, Finland June 4–6 2003

  18. Frappier, M., Fraikin, B., Laleau, R., Richard, M.: Automatic Production of Information Systems. In: AAAI Symposium on Logic-Based Program Synthesis, Stanford University, Stanford, CA March 25–27 2002

  19. Hoare, C.A.R.: Communicating Sequential Processes. Prentice Hall, Englewood Cliffs 1985

  20. Hsia, P., Samuel, J., Gao, J., Kung, D., Toyoshima, Y., Chen, C.: Formal Approach to Scenario Analysis. IEEE Software 11(2): 33–41, 1994

  21. Jackson, M.: System Development. Prentice Hall, Englewood Cliffs 1983

  22. Jarke, M., Kurki-Suonio, R., Eds.: Special Issue on Scenario Management. IEEE Transactions on Software Engineering 24(12), 1998.

  23. Karlsson, E.-A.: An Extension of the Black Box Approach to System Specification, Proc. 3rd Annual Int. Conf. on Cleanroom Software Engineering Practices 1996

  24. Linger, R.C.: Cleanroom Process Model. IEEE Software 11(2): 50–58, 1994

  25. Lustman, F.: Specifying Transaction-Based Information Systems with Regular Expressions. IEEE Transactions on Software Engineering 20(3): 207–217, 1994

  26. Milner, R.: Communication and Concurrency. Prentice Hall, Englewood Cliffs 1989

  27. Mills, H.D., Linger R.C., Hevner, A.R.: Principles of Information Systems Analysis and Design. Academic Press, Orlando, FL 1986

  28. Oshana, R.S.: Tailoring Cleanroom for Industrial Use. IEEE Software 15(6): 46–55, 1998

  29. Prowell, S.J.: Sequence-Based Software Specification. Ph.D. Dissertation, University of Tennessee 1996

  30. Puerta, A.R.: A Model-Based Interface Development Environment. IEEE Software 14(4): 41–47, 1997

  31. Sridhar, K.T., Hoare, C.A.R.: JSD Expressed in CSP, Technical Monograph PRG-51, Oxford University Computing Laboratory, Programming Research Group, Oxford, England, July 1985, pp. 334–363. Reprinted in [6]

  32. Wang, Y., Parnas, D.L.: Simulating the Behavior of Software Modules by Trace Rewriting. IEEE Transactions on Software Engineering 20(10): 750–759, 1994

  33. Weidenhaupt, K., Pohl, K., Jarke, M., Haumer, P.: Scenarios in System Development: Current Practice. IEEE Software 15(2): 34–45, 1998

  34. Yeung, W.L.: Denotational Semantics for JSD, In: 4th Asia-Pacific Software Engineering and International Computer Science Conference, IEEE Computer Society Press, December 02–05 1997, pp. 72–80

Download references

Author information

Authors and Affiliations

  1. Département de mathématiques et d’informatique, Université de Sherbrooke, J1K 2R1, Sherbrooke, Québec, Canada

    M. Frappier & R. St-Denis

Authors
  1. M. Frappier
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. R. St-Denis
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to M. Frappier.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Frappier, M., St-Denis, R. EB3: an entity-based black-box specification method for information systems. Softw Syst Model 2, 134–149 (2003). https://doi.org/10.1007/s10270-003-0024-z

Download citation

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s10270-003-0024-z

Keywords

Search

Navigation