Category semantics for fusion and refinement of multi-sorted specifications

2006 9th International Conference on Information Fusion, FUSION

Volumn , Issue , 2006, Pages

  Tomasik, Jerzy ^a   Weyman, Jerzy ^b  

^a UNIVERSITÉ CLERMONT AUVERGNE   (France)

^b NORTHEASTERN UNIVERSITY   (United States)

Author keywords

Category localization; Fusion; Specification refinements; Specware

Indexed keywords

ALGEBRA; ARTIFICIAL INTELLIGENCE; BASIC (PROGRAMMING LANGUAGE); COMPUTER PROGRAMMING LANGUAGES; COMPUTER SOFTWARE; DATA FUSION; FUSION REACTIONS; INFORMATION FUSION; INFORMATION THEORY; JAVA PROGRAMMING LANGUAGE; LISP (PROGRAMMING LANGUAGE); NUCLEAR PHYSICS; SENSOR DATA FUSION; SET THEORY;

CATEGORY LOCALIZATION; CORRECT CODE; FIRST-ORDER THEORIES; FUSION; INTERNATIONAL CONFERENCES; MORPHISMS; PROGRAMMING LANGUAGES; SPECIFICATION REFINEMENTS; SPECWARE;

SPECIFICATIONS;

EID: 50149120356     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICIF.2006.301630     Document Type: Conference Paper

References (21)

1. L. Blaine, A.Goldberg. DTRE - A SemiAutomatic Transformation System, in Constructing Programs from Specifications in Constructing Programs from Specifications, ed. B. Moller, North Holland, 1991.
2. R.M. Burstall, J. A.Goguen. The Semantics of Clear, a Specification Language Proceedings of the 1979 Copenhagen Winter School on Abstract Software Specification, LNCS, 86, Springer-Verlag,292-332.
3. P.M. Cohn. Free Rings and their Relations Academic Press, 1985
4. H. Ehrig. Bigraphs meet Double Pushouts EATCS Bulletin, 78, 72-85, October, 2002.
5. M. Faber, P. Vogel. The Cohn Localization of the Free Group Rings. Math.Proc.Comb.Phil.Soc, III 433, 1992.
6. P. Gabriel, M. Zisman. Calculus of Fractions and Homotopy Theory. Springer-Verlag, Berlin, Heidelberg, New York, 1967.
7. J.A. Goguen. Mathematical Representation of Hierarchically Organized Systems. In Global Systems Dynamics, ed. E. Attinger and S. Karger, 112-128.
8. S. Coutinho, J.C. McConnell. The quest for quotient rings (of non-commutative noetherian rings). Amer. Math. Monthly 110 (2003), 298-313.
9. J.A. Goguen, R.M. Burstall. A study in the foundations of programming methodology: Specifications, institutions, charters and parchments. In D.Pitt et al., ed., Category Theory and Computer Programming, LNCS 240 313-333.
10. Jullig, Srinivas, Specware Manual. Kestrel Institute, 1992.
11. M. Kokar, J. Tomasik, J. Weyrnan. Application of localizations of categories to fusion. Preprint No.90 LLAIC,2000.
12. M.M.Kokar,J.Tomasik,J.Weyman, Formalizing Classes of Information fusion Systems, Information Fusion : An International Journal on Multi-Sensor, Multi-Source Information Fusion Vol. 5 (2004)pp. 189-202
13. T. Mossakowski, A. Tarlecki, W. Pawlowski. Combining and representing logical systems. In E.Moggi, ed.,Category Theory and Computer Programming, LNCS 1290 177-198,Springer 1997.
14. D.Smith, KIDS: A Knowledge Based Software Development System, in Automating Software Design. In Automating Software Design, Eds. M. Lowry and R. McCartney, MIT Press, 1991.
15. Y.V.Srinivas, R.Jullig, Specware: Formal Support for Composing Software. In Proceedings of the Conference of Mathematics of Program Construction, Kloster Irsee, Germany, 1995.
16. A. Tarlecki, J.A. Goguen, R.M. Burstall. Some fundamental algebraic tools for the semantics of computation. PartIII: Indexed categories. Theoretical Computer Science 91 239-264, 1991.
17. M.Uschold et al., Ontology Reuse and Application in Proceedings of the First International Conference on Formal Ontology in Information Systems, Trento, 1998.
18. R.Waldiger et al., Specware Language Manual 2.0.1 Suresoft, Inc., 1996.
19. T.C.Wang, A.Goldberg, A Mechanical Verifier for Supporting the Design of Reliable Reactive Systems International Symposium on Software Reliability Engineering, Austin, Texas, 1996.
20. K.Wiliamson, M.Healy, Boeing Applied Research and Technology Bellevue, Washington March 20th, 1998.
21. K.Wiliamson, P.Ridle, Knowledge Repositories for Multiple Uses, Goddard Conference on Space Applications of Artificial Intelligence Goddard Conference on Space Applications of Artificial Intelligence, Deriving Engineering Software from Requirement, 353-367, 1991.