Travelled to:1 × USA
Collaborated with:L.Wang X.Li D.Xu X.Liu L.Bu J.Zhao
Talks about:diagram (2) aspect (2) activ (2) properti (1) crosscut (1) against (1) verifi (1) orient (1) integr (1) analyz (1)
Person: Zhanqi Cui
DBLP: Cui:Zhanqi
Contributed to:
2012
2009Wrote 2 papers:
- SEKE-2012-CuiWLBZL #aspect-oriented #diagrams #petri net #process #verification
- Verifying Aspect-Oriented Activity Diagrams Against Crosscutting Properties with Petri Net Analyzer (ZC, LW, XL, LB, JZ, XL), pp. 369–374.
- SAC-2009-CuiWLX #aspect-oriented #diagrams #modelling #process #uml
- Modeling and integrating aspects with UML activity diagrams (ZC, LW, XL, DX), pp. 430–437.