Analysis of inconsistency in graph-based viewpoints: A category-theoretic approach

Proceedings - 18th IEEE International Conference on Automated Software Engineering, ASE 2003

Volumn , Issue , 2003, Pages 12-21

  Sabetzadeh, Mehrdad ^a   Easterbrook, Steve ^a  

^a UNIVERSITY OF TORONTO   (Canada)

Author keywords

[No Author keywords available]

Indexed keywords

REQUIREMENTS ENGINEERING; SEMANTICS;

CASE-STUDIES; CATEGORY-THEORETIC APPROACH; GRAPH-BASED; MORPHISMS; MULTIPLE SOURCE; REACTIVE SYSTEM; REQUIREMENTS ELICITATION;

GRAPHIC METHODS;

EID: 20344367442     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ASE.2003.1240290     Document Type: Conference Paper

References (19)

1. M. Barr and C. Wells. Category Theory for Computing Science. Les Publications CRM Montréal, third edition, 1999.
2. N. Belnap. A useful four-valued logic. In Modern Uses of Multiple-Valued Logic, pages 5-37. Reidel, 1977.
3. M. Chechik, S. Easterbrook, and B. Devereux. Model checking with multi-valued temporal logics. In Intl. Symposium on Multi-Valued Logics, pages 187-192, 2001.
4. A. Corradini et al. Algebraic approaches to graph transformation, part I. In Handbook of Graph Grammars and Computing by Graph Transformation, volume 1. World Scientific, 1997.
5. B. Davey and H. Priestley. Introduction to Lattices and Order. Cambridge University Press, second edition, 2002.
6. S. Easterbrook and M. Chechik. A framework for multivalued reasoning over inconsistent viewpoints. In Intl. Conference on Software Engineering, pages 411-420, 2001.
7. S. Easterbrook and B. Nuseibeh. Using viewpoints for inconsistency management. Software Engineering Journal, 11:31-43, 1996.
8. A. Finkelstein et al. Inconsistency handling in multiperspective specifications. IEEE Trans. on Software Engineering, 20:569-578, 1994.
9. M. Fitting. Kleene's logic, generalized. Journal of Logic and Computation, 1:797-810, 1992.
10. J. Goguen. Categories of Fuzzy Sets: Applications of Non-Cantorian Set Theory. PhD thesis, University of California, Berkeley, 1968.
11. J. Goguen. Concept representation in natural and artificial languages. Intl. Journal of Man-Machine Studies, 6:513-561, 1974.
12. J. Goguen. A categorical manifesto. Mathematical Structures in Computer Science, 1:49-67, 1991.
13. J. Goguen and R. Burstall. Some fundamental algebraic tools for the semantics of computation, part I. Theoretical Computer Science, 31:175-209, 1984.
14. R. Heckel. Open Graph Transformation Systems. PhD thesis, Technical University of Berlin, 1998.
15. R. Heckel et al. A view-based approach to system modeling based on open graph transformation systems. In Handbook of Graph Grammars and Computing by Graph Transformation, volume 2. World Scientific, 1999.
16. D. Rydeheard and R. Burstall. Computational Category Theory. Prentice Hall, 1988.
17. M. Sabetzadeh. A category-theoretic approach to representation and analysis of inconsistency in graph-based viewpoints. Master's thesis, University of Toronto, 2003.
18. D. Smith. Constructing specification morphisms. Journal of Symbolic Computation, 16:571-606, 1993.
19. A. Tarlecki. Bits and pieces of the theory of institutions. In Summer Workshop on Category Theory and Computer Programming, pages 334-363. Springer, 1986.