home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1993 #1 / NN_1993_1.iso / spool / pdx / general / 1454 < prev    next >
Encoding:
Internet Message Format  |  1993-01-05  |  3.8 KB
  1. Path: sparky!uunet!ogicse!reed!pdxgate!polaris.cs.pdx.edu!li
  2. From: li@polaris.cs.pdx.edu (Jingke Li)
  3. Newsgroups: pdx.general,psu.msgs
  4. Subject: PSU Computer Science Colloquium (Monday 1/11)
  5. Message-ID: <6651@pdxgate.UUCP>
  6. Date: 5 Jan 93 01:38:50 GMT
  7. Article-I.D.: pdxgate.6651
  8. Sender: news@pdxgate.UUCP
  9. Reply-To: li@polaris.cs.pdx.edu (Jingke Li)
  10. Distribution: pdx
  11. Organization: Computer Science Dept., Portland State University, Portland, OR
  12. Lines: 66
  13.  
  14.  
  15.            PSU Computer Science Colloquium
  16.                    ===============================
  17.  
  18.             Monday, January 11, 1993, 4PM
  19.            -------------------------------
  20.            SBA 290, SW 6th and SW Harrison
  21.           (For parking info, call 725-4036)
  22.  
  23.  
  24.     Process-Based Specification of Structured Interaction
  25.  
  26.                 Richard Furuta 
  27.             University of Maryland
  28.  
  29. ABSTRACT:
  30. We are investigating an abstract, formally-defined model of
  31. process-based man/machine interaction, which we call Trellis.  Trellis
  32. provides an analytical framework for the interactions it shapes as
  33. well as a high-level system design for software implementations based
  34. on the model.  Its structures are formed from timed, annotated
  35. place/transition nets (Petri nets), and thus enjoy an important
  36. duality: a Trellis structure is both a directed graph and a parallel
  37. automaton.  As a graph, the model expresses the static semantic
  38. relationships and other dependencies among the information entities in
  39. the structure; as an automaton, the model expresses the dynamic
  40. actions that can exist when the structure is manipulated (for example,
  41. the browsing paths in an interactive document and the execution paths
  42. in a parallel program).  Trellis has been used to structure
  43. information in a diverse collection of areas including hypermedia,
  44. multimedia, and CSCW.  In software engineering applications Trellis
  45. (and hypermedia in general) can be used to structure and interrelate a
  46. project's documents, code, and other artifacts.  More uniquely, the
  47. dual nature of the Trellis representation also enables the
  48. representation and integration of the processes that create these
  49. artifacts.
  50.  
  51. In this talk, I will describe the Trellis model with examples of its
  52. application in the domains of interactive documents (hypertext) and
  53. software engineering.  I also will give an overview of some of the
  54. analysis techniques that we are applying to verify structural
  55. properties of the representation.
  56.  
  57. BIOGRAPHY:
  58. Richard Furuta's research has focused on modelling the characteristics
  59. of the objects manipulated in interactive computer applications, with
  60. a concentration on identifying the inherent strengths and weaknesses
  61. of those objects.  Specific areas of application include hypertext and
  62. structured documents.  Other areas of current research include
  63. applications in human-computer interfaces, software engineering, and
  64. visual programming.  Dr. Furuta is U.S. Editor of Electronic
  65. Publishing: Origination, Dissemination, and Design (EP-odd), published
  66. by John-Wiley, and has served on its advisory editorial board since
  67. its inception in 1987.  He also serves on the editorial boards for the
  68. journal Hypermedia and for the Cambridge University Press series on
  69. Electronic Publishing.  He is a former Vice President for the TeX
  70. Users Group.  He will be co-program chair for ACM Hypertext '93, and
  71. has been program chair for Electronic Publishing '90, co-program chair
  72. of the 1991 DC ACM Chapter annual symposium, and has served on the
  73. program committees for EP88, ACM DocProc '88, ACM Hypertext '91, EP92,
  74. and ECHT '92 as well as other conferences.  Dr. Furuta received the
  75. B.A. degree from Reed College in 1974, the M.S. degree in Computer
  76. Science from the University of Oregon in 1978, and the Ph.D. degree in
  77. Computer Science from the University of Washington in 1986.  He is
  78. currently an assistant professor in the Department of Computer Science
  79. at the University of Maryland, College Park.
  80.