期刊名称：International Journal of Innovative Research in Computer and Communication Engineering
印刷版ISSN：2320-9798
电子版ISSN：2320-9801
出版年度：2016
卷号：4
期号：2
页码：1323
DOI：10.15680/IJIRCCE.2016.0402038
出版社：S&S Publications
摘要：This p aper highlight the use of Push - Down Automata in maintaining the vehicle records and provide the clustered view of them to make comparative analysis easier and faster. We focus to provide a communicative framework that can record the vehicles coming from a particular sta te. The Object Constraint Language (OCL) is being applied on Object Oriented Language so that the communication framework can be represented into Object Oriented Language. In order to achieve this, the Real Time Constraint Notation being applied to the pus h - down automation for formal verification of the model
关键词：Two-Stack Push Down Automata (PDA); Object Constraint Language (OCL); Real Time Constraint Notation (RTCN).
