|
以文本方式查看主题 - W3CHINA.ORG讨论区 - 语义网·描述逻辑·本体·RDF·OWL (http://bbs.xml.org.cn/index.asp) -- 『 理论计算机科学 』 (http://bbs.xml.org.cn/list.asp?boardid=64) ---- 向诸位高手请教UML的形式化语义描述问题 (http://bbs.xml.org.cn/dispbbs.asp?boardid=64&rootid=&id=32084) |
|
-- 作者：guangjun_zeng -- 发布时间：5/10/2006 10:26:00 PM -- 向诸位高手请教UML的形式化语义描述问题 有没有研究UML 形式化语义的同仁? 小弟想向诸位高手请教如何将UML标准文挡之以"抽象语法,静态语义(OCL描述),动态语义(自然语言描述)"的半形式化语义转化为形式化程度更高的语义描述? 跪求各位高手指导! |
|
-- 作者：doom5211 -- 发布时间：5/23/2006 9:58:00 PM -- 我的方向是UML和Petri网结合的,希望找到志同道合的 |
|
W 3 C h i n a ( since 2003 ) 旗 下 站 点 苏ICP备05006046号《全国人大常委会关于维护互联网安全的决定》《计算机信息网络国际联网安全保护管理办法》 |
31.250ms |