论文部分内容阅读
利用体系结构描述语言WRIPE,全文对集装箱现场控制系统(SCOTT)进行了描述,并结合集装箱现场流程和Petri网理论对SCOTT系统进行了细化.同时也使用了WRIPE集成工具将体系结构描述生成EJB.结果表明,上述研究思路和所采取的手段是可行的.同时还发现,在具体细化过程中,对外界有输入和输出接口的开放网系统的细化效率是最高的.