Abstract
This divertimento – on the occasion of the 70th anniversary of Prof., Dr Hermann Maurer – sketches some observations over the concepts of domain, requirements and modelling – where abstract interpretations of these models cover both a priori, a posteriori and real-time aspects of the domain as well as 1–1, microscopic and macroscopic simulations, real-time monitoring and real-time monitoring & control of that domain. The reference frame for these concepts are domain models: carefully narrated and formally described domains. I survey more-or-less standard ideas of verifiable development and conjecture product families of demos, simulators, monitors and monitors & controllers – but now these “standard ideas” are recast in the context of core requirements prescriptions being “derived” from domain descriptions.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Bevier, W.R., Hunt Jr., W.A., Strother Moore, J., Young, W.D.: An approach to system verification. Journal of Automated Reasoning 5(4), 411–428 (1989); Special Issue on System Verification
Bjørner, D.: A ProCoS Project Description. Published in two slightly different versions: (1) EATCS Bulletin (October 1989), (2) Plander, I.(ed.): Proceedings: Intl. Conf. on AI & Robotics, Strebske Pleso, Slovakia, November 5-9. North-Holland, Publ., Amsterdam (1989), Dept. of Computer Science, Technical University of Denmark (October 1989)
Bjørner, D.: Trustworthy Computing Systems: The ProCoS Experience. In: 14th ICSE: Intl. Conf. on Software Eng., Melbourne, Australia, May 11-15, pp. 15–34. ACM Press, New York (1992)
Bjørner, D.: Formal Software Techniques in Railway Systems. In: Schnieder, E. (ed.) 9th IFAC Symposium on Control in Transportation Systems, Technical University, Braunschweig, Germany, June 13-15, pp. 1–12 (2000); VDI/VDE-Gesellschaft Mess– und Automatisieringstechnik, VDI-Gesellschaft für Fahrzeug– und Verkehrstechnik (invited talk)
Bjørner, D.: Domain Models of ”The Market” — in Preparation for E–Transaction Systems. In: Kilov, H., Baclawski, K. (eds.) Practical Foundations of Business and System Specifications, The Netherlands. Kluwer Academic Press, Dordrecht (2002)
Bjørner, D.: Software Engineering, vol. 3: Domains, Requirements and Software Design. Texts in Theoretical Computer Science, the EATCS Series, vol. 3. Springer, Heidelberg (2006)
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)
Bjørner, D.: Domain Descriptions (technical reports): (1) On Development of Web-based Software. A Divertimento of Ideas and Suggestions, http://www2.imm.dtu.dk/~db/wfdftp.pdf (2) XVSM: A Narrative and a Formalisation, http://www2.imm.dtu.dk/~db/xvsm-p.pdf (3) The Tokyo Stock Exchange, http://www2.imm.dtu.dk/~db/todai/tse-1.pdf and http://www2.imm.dtu.dk/~db/todai/tse-2.pdf (4) What is Logistics, http://www2.imm.dtu.dk/~db/logistics.pdf (5) A Domain Model of Oil Pipelines, http://www2.imm.dtu.dk/~db/pipeline.pdf (6) A Container Line Industry Domain, http://www2.imm.dtu.dk/~db/container-paper.pdf (7) A Railway Systems Domain, http://www.railwaydomain.org/PDF/tb.pdf (8) CoMet: Comparative Methodology, A Technical Note. Transport Systems, http://www2.imm.dtu.dk/~db/comet/comet1.pdf R&D Experiments, Bjørner, Fredsvej 11, DK-2840 Holte, Denmark (2007-2010)
Bjørner, D.: From Domains to Requirements. In: Degano, P., De Nicola, R., Bevilacqua, V. (eds.) Concurrency, Graphs and Models. LNCS, vol. 5065, pp. 1–30. Springer, Heidelberg (2008)
Bjørner, D.: An Emerging Domain Science – A Rôle for Stanisław Leśniewski’s Mereology and Bertrand Russell’s Philosophy of Logical Atomism. Higher-order and Symbolic Computation (2009)
Bjørner, D.: Domain Engineering: Technology Management, Research and Engineering. Research Monograph (# , 4); JAIST Press, 1-1, Asahidai, Nomi, Ishikawa 923-1292 Japan (2009); This Research Monograph contains the following main chapters: (1) On Domains and On Domain Engineering – Prerequisites for Trustworthy Software – A Necessity for Believable Management, pp. 3–38 (2) Possible Collaborative Domain Projects – A Management Brief, pp. 39–56 (3) The Rôle of Domain Engineering in Software Development, pp. 57–72 (4) Verified Software for Ubiquitous Computing – A VSTTE Ubiquitous Computing Project Proposal, pp. 73–106 (5) The Triptych Process Model – Process Assessment and Improvement, pp. 107–138 (6) Domains and Problem Frames – The Triptych Dogma and M.A.Jackson’s PF Paradigm, pp. 139–175 (7) Documents – A Rough Sketch Domain Analysis, pp. 179–200 (8) Public Government – A Rough Sketch Domain Analysis, pp. 201–222 (9) Towards a Model of IT Security — – The ISO Information Security Code of Practice – An Incomplete Rough Sketch Analysis, pp. 223–282 (10) Towards a Family of Script Languages – – Licenses and Contracts – An Incomplete Sketch, pp. 283–328. Bjørner will post this 507 page soft cover book (with 77 fine photos of “all things Japanese”, in full colours, taken by Dines in 2006) to you provided you e-mail your name and address and post international reply postage coupons, in the total amount of: Denmark 60.50 Kr., Europe 126.00 Kr., elsewhere 209.00 Kr, http://en.wikipedia.org/wiki/International_reply_coupon
Bjørner, D.: On Mereologies in Computing Science. In: Roscoe, B. (ed.) Festschrift for Tony Hoare, London, UK. History of Computing, Springer, Heidelberg (2009)
Bjørner, D.: Domain Engineering. In: Boca, P., Bowen, J. (eds.) BCS FACS Seminars, London, UK. LNCS (the BCS FAC Series), pp. 1–42. Springer, Heidelberg (2010)
Bjørner, D.: Domain Science & Engineering – From Computer Science to The Sciences of Informatics, Part I of II: The Engineering Part. Kibernetika i sistemny analiz (2) (May 2010)
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) (May 2010)
Bjørner, D.: Believable Software Management. Encyclopedia of Software Engineering 1(1), 1–32 (2011)
Bjørner, D., Eir, A.: Compositionality: Ontology and Mereology of Domains. In: Dams, D., Hannemann, U., Steffen, M. (eds.) Concurrency, Compositionality, and Correctness. LNCS, vol. 5930, pp. 22–59. Springer, Heidelberg (2010)
Bosch, J.: Design and Use of Software Architectures: Adopting and Evolving a Product-line Approach. ACM Press/Addison-Wesley, New York/NY (2000)
Buschmann, F., Henney, K., Schmidt, D.C.: Pattern-Oriented Software Architecture: On Patterns and Pattern Languages. John Wiley & Sons Ltd., England (2007)
Falbo, R., Guizzardi, G., Duarte, K.C.: An Ontological Approach to Domain Engineering. In: Proceedings of the 14th International Conference on Software Engineering and Knowledge Engineering, SEKE 2002, Ischia, Italy, July 15-19, pp. 351–358. ACM, New York (2002)
Good, D.I., Young, W.D.: Mathematical Methods for Digital Systems Development. In: Prehn, S., Toetenel, H. (eds.) VDM 1991. LNCS, vol. 552, pp. 406–430. Springer, Heidelberg (1991)
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)
Harsu, M.: A Survey on Domain Engineering. Review, Institute of Software Systems, Tampere University of Technology, Finland (December 2002)
Hoare, C.A.R.: Communicating Sequential Processes. C.A.R. Hoare Series in Computer Science. Prentice-Hall International, Englewood Cliffs (2004); Published electronically: http://www.usingcsp.com/cspbook.pdf (2004)
Pohl, K., Bockle, G., van der Linden, F.: Software Product Line Engineering. Springer, Heidelberg (2005)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Bjørner, D. (2011). Domains: Their Simulation, Monitoring and Control—A Divertimento of Ideas and Suggestions. In: Calude, C.S., Rozenberg, G., Salomaa, A. (eds) Rainbow of Computer Science. Lecture Notes in Computer Science, vol 6570. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-19391-0_13
Download citation
DOI: https://doi.org/10.1007/978-3-642-19391-0_13
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-19390-3
Online ISBN: 978-3-642-19391-0
eBook Packages: Computer ScienceComputer Science (R0)