共 50 条
- [47] Formal framework for a generic combination of a process algebra with an algebraic specification language:: An overview APSEC 2001: EIGHTH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE, PROCEEDINGS, 2001, : 299 - 302
- [48] Process algebra-based formal service description method Zhang, Y. (zhangyx@mail.tsinghua.edu.cn), 1769, Tsinghua University (52):
- [49] Realizing model driven security for inter-organizational workflows with WS-CDL and UML 2.0 - Bringing web services, security and UML together MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2005, 3713 : 39 - 53