Modeling Semantics sans Mathematical Formalism

Reuven Gallant

Abstract

Much ink has been spilled regarding the trials and tribulations of adapting formal methods to the needs of software engineering practitioners With the exception of computer scientists with a passion for algorithm design and optimization, a plethora of Greek letters and symbols can be an anathema to those whose first love is writing code. The advent of graphical modeling languages such as UML, and supporting tools that generate production quality code, executable modeling behavioral simulations for bridging the gap between formalism and coding. This paper proposes, with illustrative examples, an exploratory learning modality, by which the practicing engineer can investigate and empirically learn the semantic mapping of UML syntax to the semantic domains of system instantiation and reactive behavior.

References

  1. Booch, G. (1983) Software Engineering with ADA. 1st edn. Benjamin/Cummings.
  2. Bowen, J.P. and Hinchey, M.G. (1995) 'Ten Commandments of Formal Methods', Computer, 28(4), pp. 56-63. doi: 10.1109/2.375178.
  3. Bowen, J.P. and Hinchey, M.G. (2006) 'Ten Commandments of Formal Methods ...Ten Years Later', Computer, 39(1), pp. 40-48. doi: 10.1109/mc.2006.35.
  4. Broy, M. and Cengarle, M.V. (2011) 'UML formal semantics: Lessons learned', Software & Systems Modeling, 10(4), pp. 441-446. doi: 10.1007/s10270- 011-0207-y.
  5. Diskin, Z. and Dingel, J. (2006) 'Mappings, Maps and Tables: Towards Formal Semantics for Associations in UML278, 9th International Conference, MoDELS 2006, Genova, Italy, October 1-6, 2006. Proceedings, , pp. 230-244.
  6. Evermann, J. (2008) 'A cognitive semantics for the association construct', Requirements Engineering, 13(3), pp. 167-186. doi: 10.1007/s00766-008-0065-5.
  7. Gamma, E., Booch, G., Johnson, R., Vlissides, J.M. and Helm, R. (1995) Design Patterns: Elements of Reusable Object-oriented Software. 14th edn. Reading, MA: Addison-Wesley Professional.
  8. Génova, G. (2001) “Semantics of Navigability in UML Associations”. Technical Report UC3M-TR-CS-2001- 06, Computer Science Department, Carlos III University of Madrid, November 2001, pp. 233-251.
  9. Harel, D. and Rumpe, B. (2004) 'Meaningful Modeling: What's the semantics of “semantics”?78,Computer, 37(10), pp. 64-72. doi: 10.1109/mc.2004.172.
  10. Rational rhapsody developer (2016) Available at: http://www-03.ibm.com/software/products/en/ratirhap (Accessed: 19 September 2016).
Download


Paper Citation


in Harvard Style

Gallant R. (2016). Modeling Semantics sans Mathematical Formalism . In Proceedings of the 7th International Workshop on Software Knowledge - Volume 1: SKY, (IC3K 2016) ISBN 978-989-758-202-8, pages 44-54. DOI: 10.5220/0006098900440054


in Bibtex Style

@conference{sky16,
author={Reuven Gallant},
title={Modeling Semantics sans Mathematical Formalism},
booktitle={Proceedings of the 7th International Workshop on Software Knowledge - Volume 1: SKY, (IC3K 2016)},
year={2016},
pages={44-54},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0006098900440054},
isbn={978-989-758-202-8},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 7th International Workshop on Software Knowledge - Volume 1: SKY, (IC3K 2016)
TI - Modeling Semantics sans Mathematical Formalism
SN - 978-989-758-202-8
AU - Gallant R.
PY - 2016
SP - 44
EP - 54
DO - 10.5220/0006098900440054