Mediation systems modeling and verification
Li Yang; Ege, R.K.; Huiqun Yu
Engineering of Complex Computer Systems, 2005. ICECCS 2005. Proceedings. 10th IEEE International Conference on
Volume , Issue , 16-20 June 2005 Page(s): 322 - 331
Digital Object Identifier   10.1109/ICECCS.2005.58
Summary: A mediation system is designed to support interoperability from distributed, heterogeneous data sources. Research on data integration has provided a set of rich and well-understood schema mediation languages to define either the mediation schema or the contents of data sources. However, the mediation system is a highly dependable complex system, but little work is dedicated to assuring system behavior correctness. Due to the huge program size and complexity of system, it is not possible to formally verify the system properties at the source code level. So the mediation system requires rigorous modeling and analysis techniques to assure the system correctness and properties at the design level. This paper defines and analyzes mediation systems by the software architecture model (SAM), a formal systematic software architecture specification and analysis methodology that is able to define and analyze different system aspects using different formalisms. In this paper, the behaviors of mediation systems are captured by Petri net and the architecture properties are specified and analyzed by temporal logic.

» View citation and abstract

Log in by entering your IEEE Web Account Username and Password.

IEEE Communications Society members: If you subscribe to the IEEE Electronic Periodicals Package or IEEE Electronic Periodicals Package Plus, you must access your subscription at www.comsoc.org.

Check with your librarian, information professional, or system manager to determine if you need to log in. Please complete the online Technical Support Form if you need assistance.

Select the Purchase History link to access the document. You will have 5 Days after purchase to access the Full Text PDF. Please complete the online Technical Support Form if you need assistance.

• Search and access Abstract records free of charge
• Register for table of contents alerts
• Purchase Full Text PDF documents

» Learn more about subscription options or how to become an IEEE Member.