%0 Conference Paper %1 xuandong_04_verifying %A Xuandong, Li %A Jianhua, Zhao %A Jiayu, Gong %A Yaoxin, Shi %A Guoliang, Zheng %B Object-Oriented Real-Time Distributed Computing, 2004. Proceedings. Seventh IEEE International Symposium on %D 2004 %J Object-Oriented Real-Time Distributed Computing, 2004. Proceedings. Seventh IEEE International Symposium on %K 2004 statecharts composition %P 253--256 %R 10.1109/ISORC.2004.1300367 %T Verifying compositional designs for scenario-based timing specifications %U http://dx.doi.org/10.1109/ISORC.2004.1300367 %X We use networks of UML statechart diagrams to model compositional designs for real-time systems, and present an algorithm for checking networks of statechart diagrams for the scenario-based specifications expressed by UML sequence diagrams with timing constraints. The algorithm is based on investigating the reachability graph of the integer state space of a network of statechart diagrams.

@inproceedings{xuandong_04_verifying, abstract = {We use networks of UML statechart diagrams to model compositional designs for real-time systems, and present an algorithm for checking networks of statechart diagrams for the scenario-based specifications expressed by UML sequence diagrams with timing constraints. The algorithm is based on investigating the reachability graph of the integer state space of a network of statechart diagrams.}, added-at = {2009-02-11T22:19:51.000+0100}, author = {Xuandong, Li and Jianhua, Zhao and Jiayu, Gong and Yaoxin, Shi and Guoliang, Zheng}, biburl = {https://www.bibsonomy.org/bibtex/2be0f7bb219f07dc2e6074d65742a06f1/leonardo}, booktitle = {Object-Oriented Real-Time Distributed Computing, 2004. Proceedings. Seventh IEEE International Symposium on}, citeulike-article-id = {2064398}, doi = {10.1109/ISORC.2004.1300367}, interhash = {54e63413f45147f5c8ca8d7277d6c3c2}, intrahash = {be0f7bb219f07dc2e6074d65742a06f1}, journal = {Object-Oriented Real-Time Distributed Computing, 2004. Proceedings. Seventh IEEE International Symposium on}, keywords = {2004 statecharts composition}, pages = {253--256}, posted-at = {2007-12-05 23:24:26}, priority = {2}, timestamp = {2009-02-11T22:19:51.000+0100}, title = {Verifying compositional designs for scenario-based timing specifications}, url = {http://dx.doi.org/10.1109/ISORC.2004.1300367}, year = 2004 }