Take a look at the new version of this page: [ beta version ]. Tell us what you think.

ABSTRACT

Structural computing evolved from work on open hypermedia to aid in the creation of software infrastructure. Open hypermedia had produced software that provided applications with access to hypermedia structures and services. The question was asked if these results could be generalized to create similar tools for other domains. Initial work focused on the development of structure servers that can create and manipulate domain-specific structures, but little work focused on allowing those structures to provide a rich set of behaviors. Indeed, this forced developers to place behaviors on the client rather than having behaviors live within a structure server. This paper presents research on the addition of a type system to the Themis structure server and how these types interact with Themis's template mechanism to provide a single interface that unifies structure, behavior, and data. This new mechanism lets behaviors live within a structure server allowing them to be shared by client applications. To demonstrate its power, Themis is being used to re-implement the Chimera open hypermedia system.

REFERENCES

• 1: Kenneth M. Anderson, The extensibility mechanisms of the chimera open hypermedia system, Journal of Network and Computer Applications, v.24 n.1, p.75-86, Jan. 2001 [doi>10.1006/jnca.2000.0124]
• 2: Kenneth M. Anderson , Susanne A. Sherba , William V. Lepthien, Towards large-scale information integration, Proceedings of the 24th International Conference on Software Engineering, May 19-25, 2002, Orlando, Florida [doi>10.1145/581339.581403]
• 3: Kenneth M. Anderson , Susanne A. Sherba , William Van Lepthien, Structural templates and transformations: the Themis structural computing environment, Journal of Network and Computer Applications, v.26 n.1, p.47-71, 01 January 2003 [doi>10.1016/S1084-8045(02)00059-0]
• 4: Kenneth M. Anderson , Susanne A. Sherba , William V. Lepthien, Structure and behavior awareness in themis, Proceedings of the fourteenth ACM conference on Hypertext and hypermedia, August 26-30, 2003, Nottingham, UK [doi>10.1145/900051.900082]
• 5: Kenneth M. Anderson , Richard N. Taylor , E. James Whitehead, Jr., Chimera: hypermedia for heterogeneous software development enviroments, ACM Transactions on Information Systems (TOIS), v.18 n.3, p.211-245, July 2000 [doi>10.1145/352595.352596]
• 6: John V. Guttag , James J. Horning, Larch: languages and tools for formal specification, Springer-Verlag New York, Inc., New York, NY, 1993
• 7: Daniel Jackson, Alloy: a lightweight object modelling notation, ACM Transactions on Software Engineering and Methodology (TOSEM), v.11 n.2, p.256-290, April 2002 [doi>10.1145/505145.505149]
• 8: The Java Modeling Language (JML). http://www.jmlspecs.org/index.shtml.
• 9: Dave E. Millard , Luc Moreau , Hugh C. Davis , Siegfried Reich, FOHM: a fundamental open hypertext model for investigating interoperability between hypertext domains, Proceedings of the eleventh ACM on Hypertext and hypermedia, p.93-102, May 30-June 03, 2000, San Antonio, Texas, United States [doi>10.1145/336296.336334]
• 10: Marc Nanard , Jocelyne Nanard , Peter King, IUHM: a hypermedia-based model for integrating open services, data and metadata, Proceedings of the fourteenth ACM conference on Hypertext and hypermedia, August 26-30, 2003, Nottingham, UK [doi>10.1145/900051.900081]
• 11: Peter J. Nürnberg , John J. Leggett , Erich R. Schneider, As we should have thought, Proceedings of the eighth ACM conference on Hypertext, p.96-101, April 06-11, 1997, Southampton, United Kingdom [doi>10.1145/267437.267448]
• 12: P. J. Nurnberg, U. K. Wiil, and D. L. Hicks. A grand unified theory for structural computing. In Proceedings of the 2nd Metainformatics Symposium, Lecture Notes in Computer Science. Springer Verlag, 2003.
• 13: Kasper Østerbye , Uffe Kock Wiil, The flag taxonomy of open hypermedia systems, Proceedings of the the seventh ACM conference on Hypertext, p.129-139, March 16-20, 1996, Bethesda, Maryland, United States [doi>10.1145/234828.234841]
• 14: Jens Palsberg , Michael I. Schwartzbach, Object-oriented type systems, John Wiley and Sons Ltd., Chichester, UK, 1994
• 15: M. P. Papazoglou , B. J. Krämer, A database model for object dynamics, The VLDB Journal — The International Journal on Very Large Data Bases, v.6 n.2, p.073-096, May 1997 [doi>10.1007/s007780050034]
• 16: Manolis Tzagarakis , Dimitris Avramidis , Maria Kyriakopoulou , m. c. schraefel , Michalis Vaitis , Dimitris Christodoulakis, Structuring primitives in the Callimachus component-based open hypermedia system, Journal of Network and Computer Applications, v.26 n.1, p.139-162, 01 January 2003 [doi>10.1016/S1084-8045(02)00064-4]
• 17: OMG Unified Modeling Language Specification. http://www.omg.org/docs/formal/03-03-01.pdf, March 2003.
• 18: M. Vaitis, M. Tzagarakis, K. Grivas, and E. Chrysochoos. Some notes on behavior in structural computing. In Proceedings of the 2nd Metainformatics Symposium, Lecture Notes in Computer Science. Springer Verlag, 2003.
• 19: Uffe K. Wiil , Samir Tata , David L. Hicks, Cooperation services in the construct structural computing environment, Journal of Network and Computer Applications, v.26 n.1, p.115-137, 01 January 2003 [doi>10.1016/S1084-8045(02)00065-6]

INDEX TERMS

Primary Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
        D.2.11 Software Architectures
            Subjects: Data abstraction

Additional Classification:
  H. Information Systems
  H.5 INFORMATION INTERFACES AND PRESENTATION (I.7)
      H.5.4 Hypertext/Hypermedia

General Terms:
Design

Keywords:
Chimera, Themis, structural computing, templates, types