【摘 要】
：
Four classes of conceptual models are classified:pure static,dynamic,temporal and full time perspec-tive models.This paper presents a temporal framework fur sp
【机 构】
：
Institute of Soft are Academia Siniera The No egian Institute of Technology,,Trondheim,Noruay
【出 处】
：
Journal of Computer Science and Technology
论文部分内容阅读
Four classes of conceptual models are classified:pure static,dynamic,temporal and full time perspec-tive models.This paper presents a temporal framework fur specifying and verifying a conceptual model.Aspecification consists of static and temporal constraints,and operation descriptions.Consistency checkingof the specification is described.A simple example is used to illustrate the features of the framework.
Four classes of conceptual models are classified: pure static, dynamic, temporal and full time perspec-tive models.This paper presents a temporal framework fur specifying and verifying a conceptual model. Specification consists of static and temporal constraints, and operation descriptions. the specification is described. A simple example is used to illustrate the features of the framework.
其他文献
在“三个代表”学习活动中，我们开展了“进村驻户、访贫问苦”的实践学习。当我带着课题和任务，翻山涉水，进驻扶贫点──桐城黄铺村之后，所见所闻，使我感到灵魂在震憾。黄铺村是一
四川省计算机学会成立大会于一九八九年十月六日至九日在成都举行。参加大会的有150个单位的250名代表。四川省人民政府韩邦彦副省长、四川省科委张廷翰主任、四川省科协党
目的研制接近临床状态的间接视神经损伤动物模型。方法选日本大耳白兔，全麻后手术显露两侧眶上缘切迹和眶壁，咬除眶壁（深７～８ｍｍ，宽６ｍｍ），头放在致伤管下，将自制致伤卡头置于视神经孔上方眶板上
废墟下埋着百名女工1997年3月25日晚7时29分，在血色的黄昏里，随着一声巨响，福建省莆田县新光电子有限公司一幢4层宿舍楼粹然坍塌，顷刻间化为一片废墟。废墟下埋着上百名女工，生死
计算机技术的应用使儿童言语康复和言语治疗有很大的发展。本文介绍一种能为嗓音、言语疾病患儿、聋儿、喉科专家和言语病理学家提供更准确、更专业的服务，使得康复和治疗更具
2000年11月3日上午9时，随着审判长威严的一声“传被告人到庭”，原湖南省工商行政管理局局长、党组书记欧阳松，副局长、党组副书记廖子中及欧阳松的妻子白建怡，在6名法警的押送下，
为探讨人乳头状瘤病毒（HPV）感染与鼻内翻性乳头状瘤（IP）发病及其恶变的关系，研究选取经组织病理确诊为IP（36例）和IP癌变（16例）的石蜡包埋标本，采用多聚酶链反应（PCR）方法对标本进行HPV相
本文2例为双胞胎,生后12 d发病,15 d 入院。患儿未出生前家庭中其哥患水痘,其 母分娩前2 d患水痘未治疗。入院时其母全 身散在结痂。 例1 女,15 d,因发现全身皮疹3 d入 院。
附录A（标准的）编写和完成一个SDS的说明下面的说明是编写和完成SDS的指南。它的目的是保证表中每项内容都能使接受者对有关安全、工作地点的健康保护和环境保护结出必要的方法
英国有句谚语，叫做：好的开始是成功的一半”，极言善始慎初的重要性。事实上，就人的本性来说，“善始”容易，要做到“善终”却很难。对这一点，我国古代劳动人民就已经充分认识到，三千多