Penn Arts & Sciences Logo

Tuesday, March 23, 2004 - 12:15pm

Vicky Weissman

Cornell University

Location

University of Pennsylvania

315 Levine

The eXtensible rights Markup Language (XrML) is becoming an increasingly popular language in which to write software licenses. XrML has received the support of many technology providers, content owners, distributors, and retailers, including Adobe Systems, Hewlett-Packard Laboratories, Microsoft, Xerox Corp., Barnesandnoble.com, and Time Warner Trade Publishing. Unfortunately, some aspects of XrML seem problematic and the language does not have formal semantics. In this talk, I will identify some of the problems, recommend solutions, and present a formal semantics for a representative fragment of the (corrected) language.