Capturing the Dynamism of Situation in the Flow of Information

(*) Corresponding author

Authors' affiliations

DOI's assignment:
the author of the article can submit here a request for assignment of a DOI number to this resource!
Cost of the service: euros 10,00 (for a DOI)


This paper begins by considering requirements for verification tools for NextGen, the US National Airspace System under development. Category theory and channel are reviewed as well as their contribution to computer science, and how these theories can be useful in the development of NextGen is outlined. Category theory is a branch of mathematics that can provide a unified presentation of much of abstract mathematics, and channel theory uses concepts from category theory to provide an abstract and rigorous account of how information about some system component can carry information about other components. The second half of this paper introduces a notion of change into channel theory, which involves augmenting channel theory with situation theory. A “change” relation is defined on the basic units of information (“infons”), which induces a topological space on situations. The topology supports a notion of information updated as time progresses but receding as we project into the future
Copyright © 2014 Praise Worthy Prize - All rights reserved.


Category Theory; Channel Theory; Information Flow

Full Text:



G. Brat, An Overview of the V&V of Flight-Critical Systems Effort at NASA. SAE International Journal of Aerospace, Vol. 4, n. 2, pp. 865-870, 2011.

S. MacLane, Categories for the Working Mathematician (2nd ed. Springer-Verlag, New York, 1998).

H. Simmons, An Introduction to Category Theory, (Cambridge University Press, Cambridge, UK, 2011).

S. Awodey, Category Theory (2nd ed. Oxford University Press, Oxford, UK, 2010).

F.W. Lawvere, S.H. Schanuel, Conceptual Mathematics. A First Introduction to Categories, (2nd ed. Cambridge University Press, Cambridge, 2009).

B.C. Pierce, Basic Category Theory for Computer Scientists, (MIT Press, Cambridge, MA, 1991).

M. Barr, C. Wells, Category Theory for Computing Science, (Prentice Hall, Upper Saddle River, NJ, 1990)

J.L. Fiadeiro, Categories for Software Engineering, (Springer, Berlin, 2005).

J. Barwise, J. Seligman, Information Flow: The Logic of Distributed Systems, (Cambridge Tracts in Theoretical Computer Science (44), Cambridge, UK, 1997)

M. Schorlemmer, Y. Kalfoglou, M. Atencia, A Formal Foundation for Ontology-Alignment Interaction Models, International Journal on Semantic Web and Information Systems, Vol. 3, n. 2, pp.50–68, 2007.

Kalfoglou, Y., Schorlemmer, M., Formal Support for Representing and Automating Semantic Interoperability. In The Semantic Web: Research and Applications, Lecture Notes in Computer Science, vol. 3053, pp. 45 – 60, Springer, Heidelberg, (ESWS 2004)

Kent, R.E., Semantic Integration in the Information Flow Framework, In Semantic Interoperability and Integration, Dagstuhl Seminar Proceedings, Wadern, Germany (2005).

Spivak, D.I.: Functorial Data Migration. Information and Computation 217, 31–51 (2012)

Spivak, D.I., Kent, R.E.: Ologs: A Categorical Framework for Knowledge Representation. PLoS ONE 7 (1) (2012).

Diskin, Z., Maibaum, T., Category Theory and Model-Driven Engineering: From Formal Semantics to Design Patterns and Beyond, In U. Golas, and T. Soboll (eds.), Seventh ACCAT Workshop on Applied and Computational Category Theory, (ACCAT: 2012, pp. 1-21, Electronic Proceedings in Theoretical Computer Science)

J. Goguen, R. Burstall, Institutions: Abstract Model Theory for Specification and Programming, Journal Association for Computing Machinery, Vol. 39, pp. 95–146, 1992.

J. Goguen, Information Integration in Institutions: In Moss, L. (Ed.), Memorial Volume for Jon Barwise, (Indiana University Press, Bloomington, IN, 2004).

Goguen, J., Winkler, T., Meseguer, J., Futatsugi, K., Jouannaud, J.-P.: Introducing OBJ3. Technical report (revised and extended). SRI International. Computer Science Laboratory (1999)

CafeOBJ Official Site,

McDonald, J., John Anton, J.: Specware: Producing Software Correct by Construction, Kestrel Institute, Palo Alto, CA (2001).

Kokar, M.M., Tomasik, J.A., Weyman, J., A Formal Approach to Information Fusion, Proceedings of the 2nd International Conference on Information Fusion, (1999 pp. 133–140).

The Concept Explorer,

B. Ganter, R. Wille, Formal Concept Analysis: Mathematical Foundations, (Springer, Berlin, 1999).

M. Barr, The Chu construction, Theory and Applications of Categories, Vol. 2, n. 2, pp. 17–35, 1996.

Pratt, V. R., Types as processes, via Chu spaces, Electronic Notes in Theoretical Computer Science 7, (pp. 227–247, 1997)

Sowa, J.F., Knowledge Representation: Logical, Philosophical, and Computational Foundations, (Brooks/Cole, Stamford, CT, 1999).

G.E. Hughes, M.J. Cresswell, A New Introduction to Modal Logic, (Routledge, London, UK, 1996).

J. Barwise, J. Perry, Situations and Attitudes, (MIT Press, Cambridge, MA, 1983).

K. Devlin, Logic and Information, (Cambridge University Press, Cambridge, UK, 1995)

Parikh, P.: Situations, Games, and Ambiguity, In Cooper, R., Mukai, K., Perry, J. (eds.), Situation Theory and Its Applications, 1, (Center for the Study of Language and Information, Stanford, CA, 1990).

Kratzer, A., Situations in Natural Language Semantics, In Zalta, E.N., The Stanford Encyclopedia of Philosophy (Fall 2011 Edition),

A. Alti, T. Khammaci, A. Smeda, Using B Formal Method to Define Software Architecture Behavioral Concepts, (2007) International Review on Computers and Software (IRECOS), 2. (5), pp. 510 - 519.


  • There are currently no refbacks.

Please send any question about this web site to
Copyright © 2005-2024 Praise Worthy Prize