Skip to main content
SpringerLink
Log in

Domain Endurants

An Analysis and Description Process Model

  • Chapter
Specification, Algebra, and Software

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 8373))

Abstract

We present a summary, Sect. 2, of a structure of domain analysis and description concepts: techniques and tools. And we link, in Sect. 3, these concepts, embodied in domain analysis prompts and domain description prompts, in a model of how a diligent domain analyser cum describer would use them. We claim that both sections, Sects. 2–3, contribute to a methodology of software engineering.

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. Audi, R.: The Cambridge Dictionary of Philosophy. Cambridge University Press, The Pitt Building (1995)

    Google Scholar 

  2. Bachman, C.: Data structure diagrams. Data Base, Journal of ACM SIGBDP 1(2) (1969)

    Google Scholar 

  3. Benjamins, V., Fensel, D.: The Ontological Engineering Initiative (KA)2. Internet publication + Formal Ontology in Information Systems, University of Amsterdam, SWI, Roetersstraat 15, 1018 WB Amsterdam, The Netherlands and University of Karlsruhe, AIFB, 76128 Karlsruhe, Germany (1998), http://www.aifb.uni-karlsruhe.de/WBS/broker/KA2.htm

  4. Bjørner, D.: Domain Theory: Practice and Theories, Discussion of Possible Research Topics. In: Jones, C.B., Liu, Z., Woodcock, J. (eds.) ICTAC 2007. LNCS, vol. 4711, pp. 1–17. Springer, Heidelberg (2007)

    Chapter  Google Scholar 

  5. Bjørner, D.: From Domains to Requirements. In: Degano, P., De Nicola, R., Meseguer, J. (eds.) Montanari Festschrift. LNCS, vol. 5065, pp. 278–300. Springer, Heidelberg (2008)

    Google Scholar 

  6. Bjørner, D.: Domain Engineering. In: Boca, P., Bowen, J. (eds.) Formal Methods: State of the Art and New Directions, pp. 1–42. Springer, London (2010)

    Chapter  Google Scholar 

  7. Bjørner, D.: Domain Science & Engineering – From Computer Science to The Sciences of Informatics Part II of II: The Science Part. Kibernetika i Sistemny Analiz (2), 100–120 (2011)

    Google Scholar 

  8. Bjørner, D.: Domains: Their Simulation, Monitoring and Control – A Divertimento of Ideas and Suggestions. In: Calude, C.S., Rozenberg, G., Salomaa, A. (eds.) Maurer Festschrift. LNCS, vol. 6570, pp. 167–183. Springer, Heidelberg (2011)

    Google Scholar 

  9. Bjørner, D.: Domain Analysis & Description: Modelling Facets (Writing to begin Summer 2013) (paper 39, slides 40). Research Report 2013-7, DTU Compute and Fredsvej 11, DK-2840 Holte, Denmark. A first draft of this document might be written late summer of 2013 (Summer/Fall 2013)

    Google Scholar 

  10. Bjørner, D.: Domain Analysis & Description: Perdurants (Writing to begin Summer 2013) (paper 41, slides 42). Research Report 2013-7, DTU Compute and Fredsvej 11, DK-2840 Holte, Denmark. A first draft of this document might be written late summer of 2013 (Summer/Fall 2013)

    Google Scholar 

  11. Bjørner, D.: Domain Analysis: A Model of Prompts (Writing of crucial final section yet to begin) (paper 43, slides 44). Research Report 2013-6, DTU Compute and Fredsvej 11, DK-2840 Holte, Denmark. A first draft of this document will be written over the summer of 2013) (Summer 2013)

    Google Scholar 

  12. Bjørner, D.: Domain Analysis (paper 45, slides 46). Research Report 2013-1, DTU Compute and Fredsvej 11, DK-2840 Holte, Denmark (April 2013)

    Google Scholar 

  13. Bjørner, D.: Domain Science and Engineering as a Foundation for Computation for Humanity. In: Zander, J., Mosterman, P.J. (eds.) Computational Analysis, Synthesis, and Design of Dynamic Systems, ch. 7, pp. 159–177. CRC (Francis & Taylor) (2013)

    Google Scholar 

  14. Bjørner, D.: On Deriving Requirements from Domain Specifications (Writing to begin Summer 2013) (paper 47, slides 48). Research Report 2013-8, DTU Compute and Fredsvej 11, DK-2840 Holte, Denmark. A first draft of this document might be written late summer of 2013 (Summer/Fall 2013)

    Google Scholar 

  15. Bjørner, D., Nilsson, J.F.: Algorithmic & Knowledge Based Methods — Do they “Unify” ? In: International Conference on Fifth Generation Computer Systems: FGCS 1992, June 1-5, pp. 191–198. ICOT (1992)

    Google Scholar 

  16. Booch, G., Rumbaugh, J., Jacobson, I.: The Unified Modeling Language User Guide. Addison-Wesley (1998)

    Google Scholar 

  17. Chen, P.P.: The Entity-Relationship Model - Toward a Unified View of Data. ACM Trans. Database Syst. 1(1), 9–36 (1976)

    Article  Google Scholar 

  18. Czarnecki, K., Eisenecker, U.W.: Generative Programming: Methods, Tools, and Applications. Addison-Wesley (2000)

    Google Scholar 

  19. Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Reasoning about Knowledge, 2nd printing. The MIT Press, Cambridge, 02142 (1996)

    Google Scholar 

  20. Feigenbaum, E.A., McCorduck, P.: The fifth generation, 1st edn. Addison-Wesley, Reading (1983)

    Google Scholar 

  21. Fowler, M.: Domain Specific Languages. Signature Series. Addison-Wesley (October 2012)

    Google Scholar 

  22. Fox, C.: The Ontology of Language: Properties, Individuals and Discourse. CSLI Publications, Stanford University (2000)

    Google Scholar 

  23. Ganter, B., Wille, R.: Formal Concept Analysis — Mathematical Foundations, 300 pages. Springer (January 1999) Amazon price: US $ 44.95. ISBN: 3540627715

    Google Scholar 

  24. George, C.W., Haff, P., Havelund, K., Haxthausen, A.E., Milne, R., Nielsen, C.B., Prehn, S., Wagner, K.R.: The RAISE Specification Language. The BCS Practitioner Series. Prentice-Hall, Hemel Hampstead (1992)

    MATH  Google Scholar 

  25. George, C.W., Haxthausen, A.E., Hughes, S., Milne, R., Prehn, S., Pedersen, J.S.: The RAISE Development Method. The BCS Practitioner Series. Prentice-Hall, Hemel Hampstead (1995)

    MATH  Google Scholar 

  26. Goguen, J.A., Burstall, R.M.: Introducing institutions. In: Clarke, E., Kozen, D. (eds.) Logics of Programs. LNCS, vol. 164, pp. 221–256. Springer, Heidelberg (1984)

    Chapter  Google Scholar 

  27. Goguen, J.A., Winkler, T., Meseguer, J., Futatsugi, K., Jouannaud, J.-P.: Introducing OBJ. In: J. A. Goguen and G. Malcolm, editors, Software Engineering with OBJ: Algebraic Specification in Action. Kluwer Press, 2000. Also Technical Report SRI-CSL-88-9, SRI International (August 1988)

    Google Scholar 

  28. Gunter, C.A., Gunter, E.L., Jackson, M.A., Zave, P.: A Reference Model for Requirements and Specifications. IEEE Software 17(3), 37–43 (2000)

    Article  Google Scholar 

  29. Haywood, D.: Domain-Driven Design Using Naked Objects. The Pragmatic Bookshelf (an imprint of ‘The Pragmatic Programmers, LLC.’) (2009), http://pragprog.com/

  30. Honderich, T.: The Oxford Companion to Philosophy. Oxford University Press, Oxford (1995)

    Google Scholar 

  31. Jackson, M.: Program Verification and System Dependability. In: Boca, P., Bowen, J. (eds.) Formal Methods: State of the Art and New Directions, pp. 43–78. Springer, London (2010)

    Chapter  Google Scholar 

  32. Jackson, M.A.: Problem Frames — Analyzing and Structuring Software Development Problems. ACM Press, Pearson Education. Addison-Wesley, England (2001)

    Google Scholar 

  33. Jacobson, I., Booch, G., Rumbaugh, J.: The Unified Software Development Process. Addison-Wesley (1999)

    Google Scholar 

  34. Kang, K.C., Cohen, S.G., Hess, J.A., Novak, W.E., Peterson, A.S.: Foda: Feature-oriented domain analysis. Feasibility Study CMU/SEI-90-TR-021. Software Engineering Institute. Carnegie Mellon University (November 1990), http://www.sei.cmu.edu/library/abstracts/reports/90tr021.cfm

  35. Luschei, E.: The Logical Systems of Leśniewksi. North Holland, Amsterdam (1962)

    MATH  Google Scholar 

  36. Medvidovic, N., Colbert, E.: Domain-Specific Software Architectures (DSSA). Power Point Presentation, found on The Internet. Absolute Software Corp., Inc.: Abs[S/W] (March 5, 2004)

    Google Scholar 

  37. Mellor, D.H., Oliver, A. (eds.): Properties. Oxford Readings in Philosophy, 320 pages. Oxford Univ. Press (May 1997) ISBN: 0198751761

    Google Scholar 

  38. Mernik, M., Heering, J., Sloane, A.M.: When and how to develop domain-specific languages. ACM Computing Surveys 37(4), 316–344 (2005)

    Article  Google Scholar 

  39. Mettala, E., Graham, M.H.: The Domain Specific Software Architecture Program. Project Report CMU/SEI-92-SR-009, Software Engineering Institute Carnegie Mellon University Pittsburgh, Pennsylvania 15213 (June 1992)

    Google Scholar 

  40. Prieto-Díaz, R.: Domain Analysis for Reusability. In: COMPSAC 1987. ACM Press (1987)

    Google Scholar 

  41. Prieto-Díaz, R.: Domain analysis: an introduction. Software Engineering Notes 15(2), 47–54 (1990)

    Article  Google Scholar 

  42. Prieto-Díaz, R., Arrango, G.: Domain Analysis and Software Systems Modelling. IEEE Computer Society Press (1991)

    Google Scholar 

  43. Rumbaugh, J., Jacobson, I., Booch, G.: The Unified Modeling Language Reference Manual. Addison-Wesley (1998)

    Google Scholar 

  44. Shaw, M., Garlan, D.: Software Architecture: Perspectives on an Emerging Discipline. Prentice Hall (1996)

    Google Scholar 

  45. Spinellis, D.: Notable design patterns for domain specific languages. Journal of Systems and Software 56(1), 91–99 (2001)

    Article  Google Scholar 

  46. Tracz, W.: Domain-specific software architecture (DSSA) frequently asked questions (FAQ). Software Engineering Notes 19(2), 52–56 (1994)

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. DTU, Fredsvej 11, DK-2840 Holte, Danmark, DK-2800, Kgs. Lyngby, Denmark

    Dines Bjørner

Authors
  1. Dines Bjørner
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. School of Network and Information, Senshu University, 2-1-1 Higashi-mita, Tama-ku, 214-8580, Kawasaki, Kanagawa, Japan

    Shusaku Iida

  2. Department of Computer Science, Thomas M. Siebel Center for Computer Science, University of Illinois at Urbana-Champaign (UIUC), 201 N. Goodwin Avenue, MC 258, 61801, Urbana, IL, USA

    José Meseguer

  3. School of Information Science, Advanced Institute of Science and Technology (JAIST), 1-1 Asahidai, 923-1292, Nomi, Ishikawa, Japan

    Kazuhiro Ogata

Rights and permissions

Reprints and permissions

Copyright information

© 2014 Springer-Verlag Berlin Heidelberg

About this chapter

Cite this chapter

Bjørner, D. (2014). Domain Endurants. In: Iida, S., Meseguer, J., Ogata, K. (eds) Specification, Algebra, and Software. Lecture Notes in Computer Science, vol 8373. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-54624-2_1

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-54624-2_1

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-54623-5

  • Online ISBN: 978-3-642-54624-2

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation