Logic for media. The computational media metaphor

New media as they are established by information and communications technology demand for reconsidering the notion of a medium as a carrier of information and with it the concepts for representation, organization, processing and dissemination of information. We explore a general model for media, the Computational Media Metaphor and utilize Rewriting Logic and Labelled Deductive Systems to model media. We obtain a general description of media according to which the medium can be built as well as a generic media architecture. Our example is the NetAcademy, a computational medium for the scientific community.

[1]  B. Schmid,et al.  Electronic Mall: Banking und Shopping in globalen Netzen , 1995 .

[2]  Ronald M. Lee,et al.  Formal Aspects of Electronic Commerce: Research Issues and Challenges , 1997, Int. J. Electron. Commer..

[3]  Jean-Bernard Stefani,et al.  Open Distributed Processing and Multimedia , 1997 .

[4]  Ronald M. Lee,et al.  Modelling inter-organizational trade using Documentary Petri Nets , 1995, Proceedings of the Twenty-Eighth Annual Hawaii International Conference on System Sciences.

[5]  José Meseguer,et al.  Rewriting Logic as a Semantic Framework for Concurrency: a Progress Report , 1996, CONCUR.

[6]  Beat Schmid,et al.  An Electronic Product Catalog for Distributed Environments , 1996, ENTER.

[7]  Robin Milner,et al.  A Calculus of Mobile Processes, II , 1992, Inf. Comput..

[8]  Cliff B. Jones,et al.  Non-Interference Properties of a Concurrent Object-Based Language: Proofs Based on an Operational Semantics , 1995, Object Orientation with Parallelism and Persistence.

[9]  Siegfried Handschuh,et al.  The NetAcademy - A New Concept for Online Publishing and Knowledge Management , 1998, Services and Visualization: Towards User-Friendly Design.

[10]  Jorg P. Muller,et al.  The Design of Intelligent Agents: A Layered Approach , 1996 .

[11]  José Meseguer,et al.  General logics and logical frameworks , 1994 .

[12]  Hans-Jörg Schek,et al.  Object Orientation with Parallelism and Persistence , 1996 .

[13]  Katarina Stanoevska-Slabeva,et al.  Supporting distributed corporate planning through new coordination technologies , 1998, Proceedings Ninth International Workshop on Database and Expert Systems Applications (Cat. No.98EX130).

[14]  Ronald M. Lee,et al.  On formal aspects of electronic (or digital) commerce: examples of research issues and challenges , 1996, Proceedings of HICSS-29: 29th Hawaii International Conference on System Sciences.

[15]  J. Nunamaker,et al.  Proceedings of the 32nd Hawaii International Conference on System Sciences , 1999 .

[16]  Grit Denker.  Verfeinerung in objektorientierten Spezifikationen: Von Aktionen zu Transaktionen , 1996, Ausgezeichnete Informatikdissertationen.

[17]  Renato Pajarola,et al.  The Alps at your fingertips: virtual reality and geoinformation systems , 1998, Proceedings 14th International Conference on Data Engineering.

[18]  José Meseguer,et al.  Conditioned Rewriting Logic as a United Model of Concurrency , 1992, Theor. Comput. Sci..

[19]  Luca Viganò,et al.  Labelled Propositional Modal Logics: Theory and Practice , 1997, J. Log. Comput..

[20]  John H. Holland,et al.  Adaptation in Natural and Artificial Systems: An Introductory Analysis with Applications to Biology, Control, and Artificial Intelligence , 1992 .

[21]  Jörg P. Müller,et al.  The Design of Intelligent Agents , 1996, Lecture Notes in Computer Science.

[22]  Nicholas R. Jennings,et al.  Intelligent agents: theory and practice , 1995, The Knowledge Engineering Review.

[23]  Roel Wieringa,et al.  Deontic logic: a concise overview , 1994 .

[24]  Guerino Mazzola,et al.  Towards Big Science: Geometric Logic of Music and its Technology , 1995 .