882
views
0
recommends
+1 Recommend
1 collections
    4
    shares

      Celebrating 65 years of The Computer Journal - free-to-read perspectives - bcs.org/tcj65

      scite_
       
      • Record: found
      • Abstract: found
      • Conference Proceedings: found
      Is Open Access

      JSD ≜ ΔCSP ⊕ TLZ — A Case Study

      proceedings-article
      Proceedings of the Methods Integration Workshop (MI)
      Methods Integration Workshop
      25-26 March 1996
      Bookmark

            Abstract

            We present a case study in the use of JSD, a popular structural design method, as a unifying mechanism for formal notations addressing different aspects of a system design. An asynchronous variant of CSP is used to address issues relating to time-ordering of events and communication between processes, while TLZ (a hybrid of Z and TLA) addresses state-based aspects of the system design and permits the expression of timing constraints and fairness conditions. The result is a hybrid real-time design method, appropriate for particular classes of real-time systems. The novelty is that a structural design method (with simplified semantics) serves to provide various views of the design, with the benefits and proof systems of the various formal methods being maintained.

            Content

            Author and article information

            Conference
            March 1996
            March 1996
            : 1-40
            Affiliations
            [0001]New Jersey Institute of Technology

            Department of Computer and Information Science

            University Heights, Newark, NJ 07102, USA

            and

            University of Limerick

            Dept. of Computer Science and Information Systems

            Limerick, Ireland
            Article
            10.14236/ewic/MI1996.7
            2334ca40-2c2c-4c3c-a480-8d050a201968
            © Michael G. Hinchey. Published by BCS Learning and Development Ltd. Proceedings of the Methods Integration Workshop, Leeds

            This work is licensed under a Creative Commons Attribution 4.0 Unported License. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/

            Proceedings of the Methods Integration Workshop
            MI
            Leeds, UK
            25-26 March 1996
            Electronic Workshops in Computing (eWiC)
            Methods Integration Workshop
            History
            Product

            1477-9358 BCS Learning & Development

            Self URI (article page): https://www.scienceopen.com/hosted-document?doi=10.14236/ewic/MI1996.7
            Self URI (journal page): https://ewic.bcs.org/
            Categories
            Electronic Workshops in Computing

            Applied computer science,Computer science,Security & Cryptology,Graphics & Multimedia design,General computer science,Human-computer-interaction

            Comments

            Comment on this article