Symbolic Discord Computation for Efficient Analysis of Message Sequence Charts
スポンサーリンク
概要
- 論文の詳細を見る
Message sequence charts (MSCs) and high-level MSCs (HMSCs) have been standardized to model interactions of parallel processes as message exchanges. We can flexibly express parallel behaviors with MSCs, but alternatively, it is possible to put unintended orders of messages into the MSCs. This paper focuses on detection of such unintended orders as discord. We propose an encoding scheme in which the analysis of an HMSC is converted into a boolean SAT problem. Experimental results show that our approach achieves efficient analysis of HMSCs which have a large number of processes or a large size of graphs. This contributes efficient analysis of specification on complex interactions.
論文 | ランダム
- 切削油剤の冷却能の評価に関する実験
- 断続切削における超硬工具の損傷
- Effects of Growth Hormone Reduction in a Patient with Polycystic Ovary Syndrome Complicated with Acromegaly
- Preventive Effects of a Traditional Chinese Medicine (Sho-saiko-to) on Septic Shock Symptoms ; Approached from Heme Metabolic Disorders in Endotoxemia(Pharmacognosy)
- Long-term Effects of Octreotide on Pituitary Gigantism : Its Analgesic Action on Cluster Headache