Symbolic invariant verification for systems with dynamic structural adaptation

Proceedings - International Conference on Software Engineering

Volumn 2006, Issue , 2006, Pages 72-81

  Becker, Basil ^a   Beyer, Dirk ^b   Giese, Holger ^a   Klein, Florian ^a   Schilling, Daniela ^a  

^a UNIVERSITY OF PADERBORN   (Germany)

^b EPFL   (Switzerland)

Author keywords

Embedded systems; Formal verification; Graph transformation systems; Mechatronics; Structural invariants; Symbolic algorithms; Transition invariants

Indexed keywords

ADAPTIVE SYSTEMS; DYNAMICAL SYSTEMS; EMBEDDED SYSTEMS; MATHEMATICAL MODELS; MECHATRONICS; MULTI AGENT SYSTEMS;

FORMAL VERIFICATIONS; GRAPH TRANSFORMATION SYSTEMS; STRUCTURAL INVARIANTS; SYMBOLIC ALGORITHMS; TRANSITION INVARIANTS;

CODES (SYMBOLS);

EID: 34247172024     PISSN: 02705257     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1134285.1134297     Document Type: Conference Paper

References (33)

1. A. Chervenak, I. Foster, et al., "The Data Grid: Towards an Architecture for the Distributed Management and Analysis of Large Scientific Data Sets," J. of Network and Computer Applications, vol. 23, pp. 187-200, 2000.
2. N. Medvidovic and R. N. Taylor, "A Classification and Comparison Framework for Software Architecture Description Languages," IEEE TSE, vol. 26, pp. 70-93, 2000.
3. D. E. Perry and A. L. Wolf, "Foundations for the Study of Software Architecture," Software Engineering Notes (SEN), vol. 17, pp. 40-52, 1992.
4. "The Globus Alliance (http://www.globus.org)," 2005.
5. "Webservices.org (http://www.webservices.org)," 2005.
6. A. Luther, R. Buyya, et al., "Alchemi: A .NET-bascd Enterprise Grid Computing System," in Proc. of Intl' Conference on Internet Computing, Las Vegas, NV, USA, pp. 2005.
7. "JCGrid Web Site (http://jcgrid.sourceforge.net)," 2005.
8. "LHC Computing Grid (http://lcg.web.cern.ch/LCG/)," 2005.
9. D. Bernholdt, S. Bharathi, et al., "The Earth System Grid: Supporting the Next Generation of Climate Modeling Research," Proceedings of the IEEE, vol. 93, pp. 485-495, 2005.
10. A. Finkelstein, C. Gryce, et al., "Relating Requirements and Architectures: A Study of Data Grids," J. of Grid Computing, vol. 2, pp. 207-222, 2004.
11. C. A. Mattmann, N. Medvidovic, et al., "Unlocking the Grid," in Proc. of CBSE, St. Louis, MO, pp. 322-336, 2005.
12. J. Hammer, H. Garcia-Molina, et al., "Information translation, mediation, and mosaic-based browsing in the tsimmis system," in Proc. of International Conference on Management of Data, San Jose, CA, pp. 483-487, 1995.
13. T. Kirk, A. Y. Levy, et al., "The information manifold," Working Notes of the AAAI Spring Symposium on Information Gathering in Heterogeneous, Distributed Environments, Menlo Park, CA, Technical Report SS-95-08, 1995.
14. O. Etzioni and D. S. Weld, "A softbot-based interface to the Internet," CACM, vol. 37, pp. 72-76, 1994.
15. A. Goñi, A. Illarramendi, et al., "An optimal cache for a federated database system," J. of Intelligent Information Systems, vol. 9, pp. 125-155, 1997.
16. M. R. Genesereth, A. Keller, et al., "Infomaster: An information integration system," in Proc. of International Conference on Management of Data, Tucson, AZ, pp. 539-542, 1997.
17. A. Tomasic, L. Raschid, et al., "A data model and query processing techniques for scaling access to distributed heterogeneous databases in disco," IEEE Transactions on Computers, pp. 1997.
18. Y. Arens, C. A. Knoblock, et al., "Query Reformulation for Dynamic Information Integration," J.of Intelligent Information Systems, vol. 6, pp. 99-130, 1996.
19. J. Ambite, N. Ashish, et al., "Ariadne: A system for constructing mediators for internet sources," in Proc. of International Conference on Management of Data, Seattle, WA, pp. 561-563, 1998.
20. G. Barish and C. A. Knoblock, "An Expressive and Efficient Language for Information Gathering on the Web," in Proc. of AIPS Workshop, Toulouse, France, pp. 2002.
21. A. Y. Halevy, "Answering queries using views: A survey," VLDB Journal, vol. 10, pp. 270-294, 2001.
22. J. L. Ambite, C. A. Knoblock, et al., "Compiling Source Descriptions for Efficient and Flexible Information Integration," Information Systems Journal, vol. 16, pp. 149-187, 2001.
23. E. Lambrecht and S. Kambhampati, "Planning for Information Gathering: A Tutorial Survey," ASU CSE Technical Report 96-017, May 1997.
24. "Enterprise Java Beans (http://java.sun.com/ejb)," pp. 2005.
25. "Java RMI (http://java.sun.com/rmi/)," 2005.
26. C. A. Mattmann, S. Malek, et al., "GLIDE: A Grid-based Lightweight Infrastructure for Data-intensive Environments," in Proc. of European Grid Conference, Amsterdam, the Netherlands, pp. 68-77, 2005.
27. DCMI, "Dublin Core Metadata Element Set," 1999.
28. T. Berners-Lee, R. Fielding, et al., "Uniform Resource Identifiers (URI): Generic Syntax," 1998.
29. "Open Channel Foundation: Request Object Oriented Data Technology (OODT) -(http://openchannelsoftware.com/orders/index.php?group_id=332)," 2005.
30. J. S. Hughes and S. K. McMahon, "The Planetary Data System. A Case Study in the Development and Management of Meta-Data for a Scientific Digital Library.," in Proc. of ECDL, pp. 335-350, 1998.
31. S. Srivastava, Informatics in proteomics. Boca Raton, FL: Taylor & Francis/CRC Press, 2005.
32. "UGS Products: TeamCenter (http://www.ugs.com/products/teamcenter/), " 2005.
33. "Document Management Xerox Docushre (http://docushare.xerox.com/ds/) ," 2005.