TBU Publications
Repository of TBU Publications

Using formal methods in distributed system design

DSpace Repository

Show simple item record


dc.title Using formal methods in distributed system design en
dc.contributor.author Awwama, Emad Eddin
dc.contributor.author Kadi, Mohammad
dc.contributor.author Krayem, Said
dc.contributor.author Lazar, Ivo
dc.contributor.author Rihawi, Ahmad
dc.relation.ispartof MATEC Web of Conferences
dc.identifier.issn 2261-236X OCLC, Ulrich, Sherpa/RoMEO, JCR
dc.date.issued 2017
utb.relation.volume 125
dc.event.title 21st International Conference on Circuits, Systems, Communications and Computers, CSCC 2017
dc.event.location Agia Pelagia Beach, Crete Island
utb.event.state-en Greece
utb.event.state-cs Řecko
dc.event.sdate 2017-07-14
dc.event.edate 2017-07-17
dc.type conferenceObject
dc.language.iso en
dc.publisher EDP Sciences
dc.identifier.doi 10.1051/matecconf/201712502033
dc.relation.uri https://www.matec-conferences.org/articles/matecconf/abs/2017/39/matecconf_cscc2017_02033/matecconf_cscc2017_02033.html
dc.description.abstract Distributed systems are groups of networked computers, which have the same goal for their work. The terms "concurrent computing", "parallel computing", and "distributed computing" have a lot of overlap, and no clear distinction exists between them. The same system may be characterized both as "parallel" and "distributed"; the processors in a typical distributed system run concurrently in parallel. Parallel computing may be seen as a particular tightly coupled form of distributed computing, and distributed computing may be seen as a loosely coupled form of parallel computing. Nevertheless, it is possible to roughly classify concurrent systems as "parallel" or "distributed" using the following criteria. Philosophy is centrally concerned with arguments. The first question to be asked of any argument (or inference) is whether or not it is valid: That is, does its conclusion really follow from the cited premises? Validity of inference is the central problem of deductive logic. © The Authors, published by EDP Sciences, 2017. en
utb.faculty Faculty of Applied Informatics
dc.identifier.uri http://hdl.handle.net/10563/1007863
utb.identifier.scopus 2-s2.0-85032871686
utb.source d-scopus
dc.date.accessioned 2018-04-23T15:01:48Z
dc.date.available 2018-04-23T15:01:48Z
dc.rights Creative Commons Attribution License 4.0
dc.rights.uri http://creativecommons.org/licenses/by/4.0/
dc.rights.access openAccess
utb.contributor.internalauthor Awwama, Emad Eddin
utb.contributor.internalauthor Kadi, Mohammad
utb.contributor.internalauthor Krayem, Said
utb.contributor.internalauthor Lazar, Ivo
utb.contributor.internalauthor Rihawi, Ahmad
utb.fulltext.affiliation Awwama Emad, Kadi Mohammad, Krayem Said, Lazar Ivo, Rihawi Ahmad University UTB, FAI department, Nad Stráněmi 4511, 760 05 Zlín, Czech Republic * Corresponding author: lazar@fmk.utb.cz
utb.fulltext.dates -
utb.fulltext.references 1. E. Borger, R. Stark Abstract State Machines: A Method for High-Level System Design and Analysis. Springer, ISBN 978-3-642-18216-7. (2003) 2. C.B Jones. Systematic software development using VDM. New York: Prentice Hall ISBN:0-13-880733-7, 2 (1990) 3. B. Meyer, B. In Advances in Object-Oriented Software Engineering, D. Mandrioli and B. Meyers, Eds. Prentice Hall, 1-50. (1991). 4. P. Behm, P. Benoit, A. Faivre, & Meynadier, J.-M. météor: A successful application of B in a large project. In World Congress on Formal Methods, J. M. Wings, J. Woodcock, & J. Davies, Eds. Lecture Notes in Computer Science, vol. 1708. Springer, Berlin, Heidelberg, 369–387. ISBN:3-540-66587-0, 1 (1999) 5. I. Houston, S. King, Experiences and results from the use of Z in IBM. In VDM ’91: Formal Software Development Methods. Lecture Notes in Computer Science, vol 551. Springer, Berlin, Heidelberg, 558–595. (1991). 6. J.-R. Abrial. Modeling in Event-B, Swiss Federal University (ETH), Zürich, 2010. ISBN: 978-0-521-89556-9 7. J.-R. Abrial, M. Butler, S. Hallerstede, & L. Voisin An open extensible tool environment for Event-B, Springer, ofLNCS, 2006, pp 588–605, ISSN 0302-9743. Vol. 4260 (2006) 8. J.-R. Abrial. Modeling in Event-B, Cambridge, ISBN-13 978-0-511-72976-8, CAMBRIDGE UNIVERSITY PRESS (2010) 9. M. Jastram, M. Butler. Rodin User's Handbook: Covers Rodin v.2.8, CreateSpace Independent Publishing Platform, ISBN 10: 1495438147 ISBN 13: 9781495438141, USA. https://www3.hhu.de/stups/handbook/rodin/current/pdf/rodin-doc.pdf. (2014) 10. Rodin User’s Handbook v. 2.8, Accessed on: 2014-02-04 https://www3.hhu.de/stups/handbook/rodin/current/html/introduction.html. 11. Hallerstede, S. Justifications for the Event-B Modelling Notation. B2007: Formal Specification and Developmentin B, Springer, Vol. 4355., pp 49-63., ISSN 0302-9743. (2007) 12. http://wiki.event-b.org/index.php/Rodin_Platform_3.2_Release_NotesRodin Platform 3.2 Release Notes, Accessed on: 2015-11-05 13. http://www.event-b.org
utb.fulltext.sponsorship -
utb.scopus.affiliation University UTB, FAI Department, Nad Stráněmi 4511, Zlín, Czech Republic
Find Full text

Files in this item

Show simple item record

Creative Commons Attribution License 4.0 Except where otherwise noted, this item's license is described as Creative Commons Attribution License 4.0