This paper presents a multi thread dialog model using extended state transition network model combined with an object oriented event model to specify and manage user interface. The model provides multi thread dialo...This paper presents a multi thread dialog model using extended state transition network model combined with an object oriented event model to specify and manage user interface. The model provides multi thread dialogs and the concurrent executing of user interface and application procedures. The forms of class based concurrency possible in the model emphasize the human computer interaction and exploit the concurrency across objects and within an object. Dialog descriptions using extended state transition networks, the automatic extraction of concurrency, the facilities for performing synchronization and communicating, generalization and specification, and the smooth transition from dialog design to programming language implementation are also given in this paper.展开更多
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 withmpchro...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.展开更多
文摘This paper presents a multi thread dialog model using extended state transition network model combined with an object oriented event model to specify and manage user interface. The model provides multi thread dialogs and the concurrent executing of user interface and application procedures. The forms of class based concurrency possible in the model emphasize the human computer interaction and exploit the concurrency across objects and within an object. Dialog descriptions using extended state transition networks, the automatic extraction of concurrency, the facilities for performing synchronization and communicating, generalization and specification, and the smooth transition from dialog design to programming language implementation are also given in this paper.
文摘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.
