Peter R King Professor Emeritus

Contact Details Email: prking at cs.umanitoba.ca Address: Department of Computer Science University of Manitoba Winnipeg Manitoba, R3T 2N2 Canada Office: E2-474 EITC Telephone: +1 204 474 9935 (Direct line) +1 204 474 8313 (Department) Facsimile: +1 204 474 7609

Teaching

Courses for September-December 2007

• COMP2130 Discrete Mathematics for Computer Science

Courses for January - April 2008

• COMP4060 Multimedia Systems
• COMP7570 Multimedia Systems Design

Research Interests

• Media Construction Formalism.
  This is joint work with Marc Nanard and Jocelyne Nanard at LIRMM Montpellier. We thare investigating how several of the general-purpose design principles from the area of large-scale software development and maintenance can be applied to the design of multimedia artefacts. We have developed the Media Construction Formalism, MCF system, an interactive tool for multimedia design. MCF uses the metaphor of roles, players and actors to provide generic design descriptions of multimedia scenarios, and encompasses a powerful temporal and reactive model.


• Formal methods for multimedia description
  This work is joint with Simon Thompson (Kent, UK), and in part with Helen Cameron (Manitoba) and Howard Bowman (Kent). We have two projects under this heading. First, we make use of an interval temporal logic, Mexitl, in multimedia modelling and authoring. Second, we use the functional language Haskell together with FRAN , an embedded language for interactive animations, for multimedia document specification. The Haskell/Fran approach is a particularly useful tool to represent reactive relationships between components. We have performed a comparative study of the Haskell/Fran approach just described, the MCF approach described earlier, and the language SMIL promulgated by the World Wide Web Consortium


• Functional and declarative extensions to SMIL
  This is more recent work, and is joint with Patrick Schmitz and Simon Thompson. SMIL lacks a number of useful features to be found in a functional approach to multimedia modelling such as our Haskell/Fran work. At the same time, SMIL is easier to implement than Haskell/Fran, and adheres to the World Wide Web Consortium's requirement that SMIL be an XML application. Our work is to consider how much of the functional and declarative component of Haskell/Fran could be suitably included in an extended version of SMIL.


• Digital Libraries and OPALES
  In cooperation with a group working within ARC at LIRMM Montpellier, especially Marc Nanard and Jocelyne Nanard, we designed and developed an open digital library framework. Our approach supports collaborative activity for building and sharing metadata structures and knowledge within archives. The OPALES framework has been used to develop a video archive digital library, which permits users to build and to share new services for accessing archives according to the needs of user interest groups.

• Synchronization in Multimedia documents (with H. Bowman, H. Cameron and S. Thompson) , in Lecture Notes in Computer Science, LNCS 1375, Springer Verlag, 1998
• Media construction formalism: Specifying abstractions for multimedia scenario design, (with J Nanard, M Nanard) New Review of Multimedia and Hypermedia, Special issue on space and time, vol 6, pp 47-87, 2000,
• Modularité, incrémentalité et réutilisation dans la spécification temporelle de scénarios multimédias, l’apport des Media Construction Patterns (with H. Betaille, J Nanard, M Nanard, D Payet) Systèmes dynamiques de gestion de la connaissance et du multimédi Nimes, September 2000
• Media construction patterns: Abstraction and reuse in multimedia application specifications, (with J Nanard, M. Nanard) Multimedia Computing and Networking 2001 (MMCN'01) January, 2001 San Jose, California
• ITS: What and Whither? and who and how? Invited Paper YRT, ITS'2002: Sixth International Conference on Intelligent Tutoring Systems 05-08 June 2002 Biarritz, France.
• Multimedia Document Engineering in MCF (with Jocelyne Nanard, Marc Nanard); Document Engineering 2002 , McLean, VA, November 8-9, 2002
• Mexitl: Multimedia in Executable Interval Temporal Logic (with H. Bowman, H. Cameron and S. Thompson) Formal Methods in Systems Design, Kluwer, vol 22 Issue 1, January 2003, pp 5-38.
• Modelling Reactive Multimedia: Events and Behaviours (with H. Cameron and S. Thompson) Multimedia Tools and Applications, Kluwer, vol 19, issue 1, January 2003, pp 53-77
• Presentation Dynamism in XML Functional Programming meets SMIL Animation (with Patrick Schmitz and Simon Thompson) Poster Session, Twelfth International World Wide Web Conference 20-24 May 2003, Budapest, HUNGARY
• IUHM, a hypermedia-based model for integrating open services, data and metadata (with Jocelyne Nanard, Marc Nanard) ACM Hypertext 2003. Nottingham August 2003.
• Programming, engineering, and modelling as complementary activities in multimedia authoring Invited paper H2PTM'03: 7ème Conférence Internationale Hypertext Hypermedia; Products Tools and Methods 24-26 septembre 2003 Saint-Denis, France
• Digital Documents: Systems and Principles, 8th International Conference on Digital Documents and Electronic Publishing, DDEP 2000, and 5th International Workshop on the Principles of Digital Document Processing, PODDP 2000. (with Ethan V. Munson) LNCS 2023, Springer Verlag, 2004
• A Structural Computing Model for Dynamic Service-Based Systems (with Marc Nanard, Jocelyne Nanard, Gustavo Rossi) MIS '03 Workshop, Graz, September 2003, Springer Verlag: LNCS3002 Ed. Hicks, David L. 2004.
• Behavioral Reactivity and Real Time Programming in XML (with Patrick Schmitz and Simon Thompson) Document Engineering 2004, ACM Symposium on Document Engineering To appear
• Modelling Reactive Multimedia: Design and Authoring (with S. Thompson and H. Cameron), Multimedia Tools and Applications, Springer Verlag, Volume 27, Number 1 / September, 2005, pp 23-52 .
• A Structural Computing Approach to the Production of Multimedia Document Series Nanard, M., Nanard, J., Chauché, J., and King, P.R. , New Review of Multimedia and Hypermedia, Vol. 12, n°2, 2006, 165-190.
• Declarative extensions of XML languages Simon Thompson and Peter King Technical Report 3-07, University of Kent, May 2007, http://www.cs.kent.ac.uk/pubs/2007/2524/ earlier version of subsequent article
• Proceedings of SADPI '07 International Workshop On Semantically Aware Document Processing And Indexing. May 21-22, 2007 Montpellier, France. Jointly edited with M Nanard, J Nanard, M-L Mugnier, J-Y Delort
• Genre Driven Multimedia Document Production by means of Incremental Transformation Marc Nanard, Jocelyne Nanard, Peter R King and Ludovic Gaillard, ACM Symposium on Document Engineering, DocEng 2007, August 2007, pp 111-120
• Intention Driven Multimedia Document Production Ludovic Gaillard, Marc Nanard, Peter R King and Jocelyne Nanard, ACM Symposium on Document Engineering, DocEng 2007, August 2007, pp 95-96.
• Declarative Extensions of XML Languages Simon Thompson, Peter R King, Patrick Schmitz, ACM Symposium on Document Engineering, DocEng 2007, August 2007, pp 89-91.

Document Engineering Conference 2007.

Personal and Professional Stuff

• I am Chair of CSAC , the Computer Science Accreditation Council of CIPS
• I am a member of CCC , the CIPS Certification Council.
• I play violin with a group of friends; we have been christened The Crusty Academics
• Here are the Palavas les Flots pictures and information -- but you need the password!

Owner of this page: Peter R. king -- prking@cs.umanitoba.ca
UofM CompSci WWW Administrator -- www@cs.umanitoba.ca
UofM Campus WWW Administrator -- www@umanitoba.ca