UM

Browse/Search Results:  1-10 of 20 Help

Selected(0)Clear Items/Page:    Sort:
Integrating UML with service refinement for requirements modeling and analysis Journal article
IEEE Access, 2019,Volume: 7,Page: 11599-11612
Authors:  Yang Y.;  Ke W.;  Yang J.;  Li X.
Favorite  |  View/Download:5/0  |  Submit date:2019/02/14
formal verification  requirements modeling  service refinement  UML  
A Formal Framework for Reasoning Emergent Behaviors in Swarm Robotic Systems Conference paper
Proceedings of the IEEE International Conference on Engineering of Complex Computer Systems, ICECCS
Authors:  Li Q.;  Wang J.;  Xu Q.;  Huang Y.;  Zhu H.
Favorite  |  View/Download:0/0  |  Submit date:2019/04/04
Emergent Behaviors  Hybrid Relational Modelling Language  Refinement  Swarm Robotic Systems  
Colored Petri nets based hierarchical modeling and integrated model validation approach for complicated network software Journal article
Gaojishu Tongxin/Chinese High Technology Letters, 2013,Volume: 23,Issue: 11,Page: 1139-1147
Authors:  Liu J.;  Ye X.;  Zhou J.
Favorite  |  View/Download:0/0  |  Submit date:2018/12/22
Colored Petri nets (CP-net)  Concurrency control  Model checking  Model validation  Network software  
Support formal component-based development with UML profile Conference paper
Proceedings of the Australian Software Engineering Conference, ASWEC
Authors:  Li D.;  Li X.;  Liu Z.;  Stolz V.
Favorite  |  View/Download:1/0  |  Submit date:2019/02/14
component-based modeling  formal methods  Model-driven development  rCOS  UML profile  
Translation rules and a supporting tool for model-based reuse Conference paper
Proceedings - International Computer Software and Applications Conference
Authors:  Zhao J.;  Zhou J.;  Liu J.
Favorite  |  View/Download:0/0  |  Submit date:2018/12/22
MDA  Petri net  Translation rule  UML  
rCOS: A formal model-driven engineering method for component-based software Journal article
Frontiers of Computer Science in China, 2012,Volume: 6,Issue: 1,Page: 17-39
Authors:  Ke W.;  Li X.;  Liu Z.;  Stolz V.
Favorite  |  View/Download:3/0  |  Submit date:2019/02/14
Component-based Design  Model Transformations  Models  Tool Support  Verification  
AutoPA: Automatic prototyping from requirements Conference paper
LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION, AND VALIDATION, PT I, Heraklion, GREECE, OCT 18-21, 2010
Authors:  Li X.;  Liu Z.;  Schaf M.;  Yin L.
Favorite  |  View/Download:5/0  |  Submit date:2019/02/14
Formal Semantics  Prototyping  Requirements Models  Validation  
Analyzing and verifying Petri net model of security protocol based on Maria Conference paper
ICCASM 2010 - 2010 International Conference on Computer Application and System Modeling, Proceedings
Authors:  Wang Y.;  Zhou J.;  Li H.;  Hao Y.
Favorite  |  View/Download:0/0  |  Submit date:2018/12/22
Analysis and verification  Maria  Petri net  Security protocol  
Method for semantic verification of workflow processes based on Petri net reduction technique Journal article
Ruan Jian Xue Bao/Journal of Software, 2005,Volume: 16,Issue: 7,Page: 1242-1251
Authors:  Zhou J.-T.;  Shi M.-L.;  Ye X.-M.
Favorite  |  View/Download:1/0  |  Submit date:2018/12/22
Petri net  Process  Reduction  Semantic verification  Workflow  
CBR: A component-based reduction method for semantics verification of workflow processes Journal article
Tien Tzu Hsueh Pao/Acta Electronica Sinica, 2005,Volume: 33,Issue: 6,Page: 1060-1065
Authors:  Zhou J.-T.;  Shi M.-L.;  Ye X.-M.
Favorite  |  View/Download:0/0  |  Submit date:2018/12/22
Petri net  Reduction  Verification  Workflow