Consistency Verification of UML Sequence Diagrams Modeling Wireless Sensor Networks

Matsumoto, Akira; Yokogawa, Tomoyuki; Amasaki, Sousuke; Aman, Hirohisa; Arimoto, Kazutami

doi:10.1109/iiai-aai.2019.00100

Cited by 3 publications

(5 citation statements)

References 11 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

Section: Josnet Stack Architecturementioning

confidence: 99%

“…In this research, a stack architecture has been adopted to model a workflow relationship between each framework and component of the system [69][70][71]. The components depicted in Figure 1 1, the controller is directly linked to all the components of the system, except for resources that remain partially independent.…”

Section: Josnet Stack Architecturementioning

confidence: 99%

“…Ref. Reference [71] defined a sequence diagram as a composition of event occurrences, lifelines, interaction fragments, messages, and combined fragments. Each element or component plays a pivotal role and helps to illustratively demonstrate every step in the system sequence.…”

Section: Josnet and Network Sequence Diagrammentioning

confidence: 99%

See 2 more Smart Citations

Brokerage System for Integration of LrWPAN Technologies

Balota

Kor

2022

Sensors

View full text Add to dashboard Cite

The prevalent demand for remote data sharing and connectivity has catalysed the development of many wireless network technologies. However, low-power and low-rate wireless network technologies have emerged as the preferred choice (due to cheap procurement and maintenance cost, efficiency, and adaptability). Currently, these groups of wireless networks are adopted in homes, health, and business sectors. The increase in existing WSNs has resulted in the incompatibility of wireless network protocols and poses a problem that results in high acquisition or maintenance costs, increased complexity, reliability inadequacies in some instances, lack of uniformity within similar standards, and high energy consumption. To address this problem, we develop a novel machine-to-machine software-based brokerage application (known as JosNet) for interoperability and integration between Bluetooth LE, Zigbee, and Thread wireless network technologies. JosNet allows one network protocol to exchange data packets or commands with each other. In this paper, we present a novel working network brokerage model for a one-to-one network protocol to communication (e.g., from Zigbee to Bluetooth) or one-to-many network protocol communication (e.g., from Bluetooth to Zigbee, Thread, etc.) to securely send messages in a large-scale routing process for short or long-range connections. We also present a large-scale implementation of JosNet using a routing table for large areas. The results show an industry standard performance for end-to-end latency time and throughput.

show abstract

Section: Josnet Stack Architecturementioning

confidence: 99%

Section: Josnet Stack Architecturementioning

confidence: 99%

See 1 more Smart Citation

Brokerage System for Integration of LrWPAN Technologies

Balota

Kor

2022

Sensors

View full text Add to dashboard Cite

show abstract

“…Miyazaki et al [21] provided a process representation of sequence diagrams with a single combined fragment and a method for refinement checking of sequence diagrams using LTSA [22]. Matsumoto et al [23] proposed a method for consistency verification of sequence diagrams with multiple combined fragments in a similar manner to [14]. However, these methods support only a few types of combined fragments and cannot represent a complicated control structure of sequence diagrams.…”

Section: Introductionmentioning

confidence: 99%

“…In this paper, we extend the process representation shown in [23] to handle other types of combined fragments describing the hierarchical control structure. Supporting the hierarchical structure makes it possible to guarantee the consistency of software system designs with complicated scenarios.…”

Section: Introductionmentioning

confidence: 99%

Synthesis and Consistency Verification of UML Sequence Diagrams with Hierarchical Structure

Matsumoto

Yokogawa

Amasaki

et al. 2020

Information Engineering Express

Self Cite

View full text Add to dashboard Cite

Automatic consistency checking for UML state machine diagrams and sequence diagrams has been expected since developers spend considerable effort to keep the consistency. In particular, the verification of diagrams with a hierarchical structure is required. Although formalization of state machine diagrams with hierarchical structure has been widely treated, it is not yet sufficient for sequence diagrams. In this paper, we propose an automatic method for verifying the consistency between state machine diagrams and sequence diagrams with a hierarchical structure. In our verification framework, the consistency of diagrams is defined as an inclusive relation between the sets of traces and is checked using the FDR model checker. FDR can check refinement relation between processes described as CSP M notation. We provide a process description of state machine diagrams and sequence diagrams and can verify the consistency by checking traces inclusion of processes using FDR. Our description supports for sequence diagrams with a hierarchical structure. We applied the proposed process representation to an example diagram that describes interactions of basic components of a wireless sensor network system and showed that the hierarchical behavior of the diagram could be correctly represented.

show abstract