IDEAS home Printed from https://ideas.repec.org/a/ids/ijdmmm/v11y2019i3p259-283.html
   My bibliography  Save this article

Towards a comparative evaluation of text-based specification formalisms and diagrammatic notations

Author

Listed:
  • Kobamelo Moremedi
  • John Andrew Van Der Poll

Abstract

Specification plays a pivotal role in software engineering to facilitate the development of highly dependable software. Various techniques for specification work have been developed to provide for precise and unambiguous specifications. Z is a formal specification language that is based on a strongly-typed fragment of Zermelo-Fraenkel set theory and first-order logic to provide for provably correct specifications. While diagrammatic specification languages may lack precision, they may, owing to their visual characteristics be a lucrative option for advocates of semi-formal specification techniques. In this research, we investigate the extent to which diagrammatic notations may capture the essence of, e.g., a Z specification. Several diagrammatic notations are considered and combined for this purpose. A case study is employed towards the end to evaluate the utility of the diagrammatic notation developed in this article. Comparisons on the merits of a diagrammatic notation are presented to further determine their feasibility.

Suggested Citation

  • Kobamelo Moremedi & John Andrew Van Der Poll, 2019. "Towards a comparative evaluation of text-based specification formalisms and diagrammatic notations," International Journal of Data Mining, Modelling and Management, Inderscience Enterprises Ltd, vol. 11(3), pages 259-283.
    • Handle: RePEc:ids:ijdmmm:v:11:y:2019:i:3:p:259-283
    as

    Download full text from publisher

    File URL: http://www.inderscience.com/link.php?id=100386
    Download Restriction: Access to full text is restricted to subscribers.
    ---><---

    As the access to this document is restricted, you may want to search for a different version of it.

    Corrections

    All material on this site has been provided by the respective publishers and authors. You can help correct errors and omissions. When requesting a correction, please mention this item's handle: RePEc:ids:ijdmmm:v:11:y:2019:i:3:p:259-283. See general information about how to correct material in RePEc.

    If you have authored this item and are not yet registered with RePEc, we encourage you to do it here. This allows to link your profile to this item. It also allows you to accept potential citations to this item that we are uncertain about.

    We have no bibliographic references for this item. You can help adding them by using this form .

    If you know of missing items citing this one, you can help us creating those links by adding the relevant references in the same way as above, for each refering item. If you are a registered author of this item, you may also want to check the "citations" tab in your RePEc Author Service profile, as there may be some citations waiting for confirmation.

    For technical questions regarding this item, or to correct its authors, title, abstract, bibliographic or download information, contact: Sarah Parker (email available below). General contact details of provider: http://www.inderscience.com/browse/index.php?journalID=342 .

    Please note that corrections may take a couple of weeks to filter through the various RePEc services.

    IDEAS is a RePEc service. RePEc uses bibliographic data supplied by the respective publishers.