Article
Version 1
Preserved in Portico This version is not peer-reviewed
Formal Language for Objects’ Transactions (ObTFL)
Version 1
: Received: 10 May 2024 / Approved: 11 May 2024 / Online: 13 May 2024 (07:56:45 CEST)
How to cite: Adda, M. Formal Language for Objects’ Transactions (ObTFL). Preprints 2024, 2024050756. https://doi.org/10.20944/preprints202405.0756.v1 Adda, M. Formal Language for Objects’ Transactions (ObTFL). Preprints 2024, 2024050756. https://doi.org/10.20944/preprints202405.0756.v1
Abstract
The disparity between software design and implementation, especially concerning IoT security and forensics, often lacks clarity and precision. Formal languages, rooted in mathematical rules, logic, and symbols, have proven priceless for expressing specifications and verifying system designs. Various semi-formal and formal languages, such as JSON, XML, predicate logic, and regular expressions, along with formal models like Turing machines, cater to specific domains. This paper introduces a novel formal language, named ObTFL (Object Transaction Formal Language), initially developed for IoT forensics and authentication purposes but later extended to encompass general distributed systems. The paper elucidates the syntax and semantics of ObTFL and presents several case studies showcasing its versatility and effectiveness.
Keywords
formal language; activities; interactions; actors; agents; transactions; compartments; junctions; containers
Subject
Computer Science and Mathematics, Data Structures, Algorithms and Complexity
Copyright: This is an open access article distributed under the Creative Commons Attribution License which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
Comments (0)
We encourage comments and feedback from a broad range of readers. See criteria for comments and our Diversity statement.
Leave a public commentSend a private comment to the author(s)
* All users must log in before leaving a comment