苏州大学学报工科版
囌州大學學報工科版
소주대학학보공과판
JOURNAL OF SUZHOU UNIVERSITY(ENGINEERING SCIENCE EDITION)
2008年
4期
12-19
,共8页
时序逻辑%形式化方法%面向对象%形式化规约语言
時序邏輯%形式化方法%麵嚮對象%形式化規約語言
시서라집%형식화방법%면향대상%형식화규약어언
针对面向对象系统,定义了一种基于时序逻辑的形式化规约语言.它不仅支持对面向对象思想中重要概念,如类、对象、继承等的描述,而且支持对面向对象系统的时序属性的描述,如类的状态之间的转换,类中某些属性必须一直满足的约束条件等.能够实现对系统属性的推理也是用这种语言描述的系统的动机之一.通过对一个局域网用户访问控制实例的描述来实现对这种形式化规约语言的直观阐述与理解.
針對麵嚮對象繫統,定義瞭一種基于時序邏輯的形式化規約語言.它不僅支持對麵嚮對象思想中重要概唸,如類、對象、繼承等的描述,而且支持對麵嚮對象繫統的時序屬性的描述,如類的狀態之間的轉換,類中某些屬性必鬚一直滿足的約束條件等.能夠實現對繫統屬性的推理也是用這種語言描述的繫統的動機之一.通過對一箇跼域網用戶訪問控製實例的描述來實現對這種形式化規約語言的直觀闡述與理解.
침대면향대상계통,정의료일충기우시서라집적형식화규약어언.타불부지지대면향대상사상중중요개념,여류、대상、계승등적묘술,이차지지대면향대상계통적시서속성적묘술,여류적상태지간적전환,류중모사속성필수일직만족적약속조건등.능구실현대계통속성적추리야시용저충어언묘술적계통적동궤지일.통과대일개국역망용호방문공제실례적묘술래실현대저충형식화규약어언적직관천술여리해.