期刊名称：International Journal of Hybrid Information Technology
印刷版ISSN：1738-9968
出版年度：2010
卷号：3
期号：3
出版社：SERSC
摘要：In this short paper we present OCL knowledge representation for interface constraints using a framework known as MDKR. The semantics of OCL [1,2] are visualised and represented in the form of set-relationship diagram and is finally embedded with knowledge semantics. Using these semantics we have developed a formal correctness notation [3] for relationship between interfaces of web pages
