Abstract
There exists a difference between traditional control mode and Web interface based one. Operation consistency of Web interfaces is not guaranteed by the traditional control mode. This paper presents a Petri-net based approach to analyze the design of Web interface. The proposed method can be used to identify interface inconsistency and convert interface operation model featured by Petri-net for increase the coverage ability of graph; hence improving the graph. Finally, the paper describes the consistency rules for various operations using XML protocol with the aim at achieving standardize operations of user interface.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Kasik, D.J., Lund, M.A., Ramsey, H.W.: Reflections on using a UIMS for complex applications. IEEE Software 6, 54–61 (1989)
Brad, A.M.: User Interface Software Tools. ACM Transactions on CHI 2, 64–103 (1995)
Liu, J.I., Zhang, S., Hu, T.: An Integrated Interface Based on Web and XML for Interoperability between Enterprises. High Technology Letters 5, 71–75 (2002)
Wang, Y., Lei, Y., Huang, S.: User Interface Management with XML. Journal of Computer0aided Design –Computer Graphics 4, 566–571 (2004)
John, G., John, H.: Developing Adaptable User Interfaces for Component-based Systems. Interacting with Computers 14, 175–194 (2002)
Zhu, J., Zhang, G.: The Formal Specification and Property Verification of Interactive User Interface. Software Journal (11), 1163–1168 (1999)
Kaep, R.M., Miller, R.E.: Parallel Program Schemata. Journal of Computer and System Sciences 3, 147–195 (1969)
Petri, C.A., Kommunikation, M.A.: PhD Thesis, Institue fur Instrumentelle Mathematik der Universitat Bonn (1962)
Ye, X., et al.: On Reachability Graphs of Petri Nets. Computers and Electrical Engineering 29(2), 263–272 (2003)
Giua, A., Seatzu, C.: The Observer Coverability Graph for the Analysis of Observability Properties of Place/Transitions Nets. In: Proceedings of the 6th European Control Conference, Porto, Portugal, pp. 1339–1344 (2001)
Elmasri, R., et al.: Conceptual Modeling for Customized XML. Schemas Data & Knowledge Engineering 54(1), 57–76 (2005)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Li, H., Zhan, D. (2006). Consistency of User Interface Based on Petri-Net. In: Shen, H.T., Li, J., Li, M., Ni, J., Wang, W. (eds) Advanced Web and Network Technologies, and Applications. APWeb 2006. Lecture Notes in Computer Science, vol 3842. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11610496_116
Download citation
DOI: https://doi.org/10.1007/11610496_116
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-31158-4
Online ISBN: 978-3-540-32435-5
eBook Packages: Computer ScienceComputer Science (R0)