论文部分内容阅读
Modern object-oriented interactive applications have a tendency to be dguult to specie and to des l’gnbecause of dynamicity A formal model based on the integration of communicative nets and colored nets withmpchronous channels is proposed ic cater for this need. Three kinds of nets modeling fore e components of interfaceare given in this paper.The model provides natural descriptions of multi-thread dialogs and the concurrent executingof user interface and aPPlication Procedures and can facilitate rapid protonning and automatic interface codegeneration.
Modern object-oriented interactive applications have a tendency to be dguult to specie and to des l’gnbecause of dynamicity A formal model based on the integration of communicative nets and colored nets with imputed channels is proposed ic cater for this need. fore e components of interfaceare given in this paper. The model provides natural descriptions of multi-thread dialogs and the concurrent executing of user interface and aPPlication Procedures and can facilitate rapid protonning and automatic interface code generation.