MXPA04010604A - Sistema y metodo para especificar y procesar expresiones de legalidad. - Google Patents
Sistema y metodo para especificar y procesar expresiones de legalidad.Info
- Publication number
- MXPA04010604A MXPA04010604A MXPA04010604A MXPA04010604A MXPA04010604A MX PA04010604 A MXPA04010604 A MX PA04010604A MX PA04010604 A MXPA04010604 A MX PA04010604A MX PA04010604 A MXPA04010604 A MX PA04010604A MX PA04010604 A MXPA04010604 A MX PA04010604A
- Authority
- MX
- Mexico
- Prior art keywords
- action
- expression
- legality
- contract
- exemplary
- Prior art date
Links
- 230000014509 gene expression Effects 0.000 title claims abstract description 265
- 238000012545 processing Methods 0.000 title claims abstract description 68
- 238000000034 method Methods 0.000 title claims abstract description 66
- 230000009471 action Effects 0.000 claims description 153
- 230000004044 response Effects 0.000 claims description 21
- 230000008569 process Effects 0.000 claims description 15
- 239000000470 constituent Substances 0.000 claims description 11
- 238000005304 joining Methods 0.000 claims description 3
- 230000005540 biological transmission Effects 0.000 claims description 2
- 238000010200 validation analysis Methods 0.000 claims description 2
- 230000004913 activation Effects 0.000 claims 1
- 230000000087 stabilizing effect Effects 0.000 claims 1
- 230000000875 corresponding effect Effects 0.000 description 25
- 241000585705 Alicia <angiosperm> Species 0.000 description 20
- 238000009826 distribution Methods 0.000 description 19
- 238000006467 substitution reaction Methods 0.000 description 19
- 230000007246 mechanism Effects 0.000 description 17
- 238000004891 communication Methods 0.000 description 10
- 230000006870 function Effects 0.000 description 10
- 238000007726 management method Methods 0.000 description 10
- 238000013499 data model Methods 0.000 description 9
- 238000005516 engineering process Methods 0.000 description 7
- 238000013507 mapping Methods 0.000 description 7
- 150000003378 silver Chemical class 0.000 description 7
- 239000002131 composite material Substances 0.000 description 6
- 238000010276 construction Methods 0.000 description 5
- 230000001419 dependent effect Effects 0.000 description 5
- 238000012552 review Methods 0.000 description 5
- 101100294531 Homo sapiens NR1D1 gene Proteins 0.000 description 4
- 102100023170 Nuclear receptor subfamily 1 group D member 1 Human genes 0.000 description 4
- 238000013475 authorization Methods 0.000 description 4
- 230000001960 triggered effect Effects 0.000 description 4
- 241000282412 Homo Species 0.000 description 3
- 238000013459 approach Methods 0.000 description 3
- 238000013473 artificial intelligence Methods 0.000 description 3
- 230000008901 benefit Effects 0.000 description 3
- 239000003795 chemical substances by application Substances 0.000 description 3
- 238000011161 development Methods 0.000 description 3
- 238000011156 evaluation Methods 0.000 description 3
- 230000003993 interaction Effects 0.000 description 3
- 230000015654 memory Effects 0.000 description 3
- 238000012795 verification Methods 0.000 description 3
- 241001446467 Mama Species 0.000 description 2
- BQCADISMDOOEFD-UHFFFAOYSA-N Silver Chemical class [Ag] BQCADISMDOOEFD-UHFFFAOYSA-N 0.000 description 2
- 230000008859 change Effects 0.000 description 2
- 150000001875 compounds Chemical class 0.000 description 2
- 238000013461 design Methods 0.000 description 2
- 238000004519 manufacturing process Methods 0.000 description 2
- 230000008520 organization Effects 0.000 description 2
- BASFCYQUMIYNBI-UHFFFAOYSA-N platinum Chemical compound [Pt] BASFCYQUMIYNBI-UHFFFAOYSA-N 0.000 description 2
- 230000001105 regulatory effect Effects 0.000 description 2
- 229910052709 silver Inorganic materials 0.000 description 2
- 239000004332 silver Substances 0.000 description 2
- 238000001228 spectrum Methods 0.000 description 2
- 230000002123 temporal effect Effects 0.000 description 2
- 238000001429 visible spectrum Methods 0.000 description 2
- VOXZDWNPVJITMN-ZBRFXRBCSA-N 17β-estradiol Chemical compound OC1=CC=C2[C@H]3CC[C@](C)([C@H](CC4)O)[C@@H]4[C@@H]3CCC2=C1 VOXZDWNPVJITMN-ZBRFXRBCSA-N 0.000 description 1
- 241000238366 Cephalopoda Species 0.000 description 1
- 238000005773 Enders reaction Methods 0.000 description 1
- 239000012190 activator Substances 0.000 description 1
- 229940060585 alora Drugs 0.000 description 1
- 230000003466 anti-cipated effect Effects 0.000 description 1
- 238000003491 array Methods 0.000 description 1
- 230000015572 biosynthetic process Effects 0.000 description 1
- 150000001768 cations Chemical class 0.000 description 1
- 230000010267 cellular communication Effects 0.000 description 1
- 238000012512 characterization method Methods 0.000 description 1
- 230000000295 complement effect Effects 0.000 description 1
- 238000004883 computer application Methods 0.000 description 1
- 230000001143 conditioned effect Effects 0.000 description 1
- 230000008602 contraction Effects 0.000 description 1
- 230000001276 controlling effect Effects 0.000 description 1
- 238000001514 detection method Methods 0.000 description 1
- 238000010586 diagram Methods 0.000 description 1
- 230000000694 effects Effects 0.000 description 1
- 238000005538 encapsulation Methods 0.000 description 1
- 238000010304 firing Methods 0.000 description 1
- 239000012634 fragment Substances 0.000 description 1
- 238000010413 gardening Methods 0.000 description 1
- 239000000463 material Substances 0.000 description 1
- 238000012986 modification Methods 0.000 description 1
- 230000004048 modification Effects 0.000 description 1
- 231100000957 no side effect Toxicity 0.000 description 1
- 238000010606 normalization Methods 0.000 description 1
- 230000003287 optical effect Effects 0.000 description 1
- 229910052697 platinum Inorganic materials 0.000 description 1
- 229920001690 polydopamine Polymers 0.000 description 1
- 230000002265 prevention Effects 0.000 description 1
- 238000012913 prioritisation Methods 0.000 description 1
- 230000002787 reinforcement Effects 0.000 description 1
- 238000011160 research Methods 0.000 description 1
- 230000011664 signaling Effects 0.000 description 1
- 230000009897 systematic effect Effects 0.000 description 1
- 230000009466 transformation Effects 0.000 description 1
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F17/00—Digital computing or data processing equipment or methods, specially adapted for specific functions
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06Q—INFORMATION AND COMMUNICATION TECHNOLOGY [ICT] SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL OR SUPERVISORY PURPOSES; SYSTEMS OR METHODS SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL OR SUPERVISORY PURPOSES, NOT OTHERWISE PROVIDED FOR
- G06Q10/00—Administration; Management
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F21/00—Security arrangements for protecting computers, components thereof, programs or data against unauthorised activity
- G06F21/10—Protecting distributed programs or content, e.g. vending or licensing of copyrighted material ; Digital rights management [DRM]
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F21/00—Security arrangements for protecting computers, components thereof, programs or data against unauthorised activity
- G06F21/60—Protecting data
- G06F21/62—Protecting access to data via a platform, e.g. using keys or access control rules
- G06F21/6209—Protecting access to data via a platform, e.g. using keys or access control rules to a single file or object, e.g. in a secure envelope, encrypted and accessed using a key, or with access control rules appended to the object itself
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06Q—INFORMATION AND COMMUNICATION TECHNOLOGY [ICT] SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL OR SUPERVISORY PURPOSES; SYSTEMS OR METHODS SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL OR SUPERVISORY PURPOSES, NOT OTHERWISE PROVIDED FOR
- G06Q10/00—Administration; Management
- G06Q10/10—Office automation; Time management
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06Q—INFORMATION AND COMMUNICATION TECHNOLOGY [ICT] SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL OR SUPERVISORY PURPOSES; SYSTEMS OR METHODS SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL OR SUPERVISORY PURPOSES, NOT OTHERWISE PROVIDED FOR
- G06Q40/00—Finance; Insurance; Tax strategies; Processing of corporate or income taxes
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06Q—INFORMATION AND COMMUNICATION TECHNOLOGY [ICT] SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL OR SUPERVISORY PURPOSES; SYSTEMS OR METHODS SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL OR SUPERVISORY PURPOSES, NOT OTHERWISE PROVIDED FOR
- G06Q50/00—Systems or methods specially adapted for specific business sectors, e.g. utilities or tourism
- G06Q50/10—Services
- G06Q50/18—Legal services; Handling legal documents
- G06Q50/184—Intellectual property management
-
- G—PHYSICS
- G07—CHECKING-DEVICES
- G07C—TIME OR ATTENDANCE REGISTERS; REGISTERING OR INDICATING THE WORKING OF MACHINES; GENERATING RANDOM NUMBERS; VOTING OR LOTTERY APPARATUS; ARRANGEMENTS, SYSTEMS OR APPARATUS FOR CHECKING NOT PROVIDED FOR ELSEWHERE
- G07C9/00—Individual registration on entry or exit
- G07C9/20—Individual registration on entry or exit involving the use of a pass
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F2221/00—Indexing scheme relating to security arrangements for protecting computers, components thereof, programs or data against unauthorised activity
- G06F2221/21—Indexing scheme relating to G06F21/00 and subgroups addressing additional information or applications relating to security arrangements for protecting computers, components thereof, programs or data against unauthorised activity
- G06F2221/2137—Time limited access, e.g. to a computer or data
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F2221/00—Indexing scheme relating to security arrangements for protecting computers, components thereof, programs or data against unauthorised activity
- G06F2221/21—Indexing scheme relating to G06F21/00 and subgroups addressing additional information or applications relating to security arrangements for protecting computers, components thereof, programs or data against unauthorised activity
- G06F2221/2153—Using hardware token as a secondary aspect
Abstract
La presente invencion proporciona un sistema y metodo para especificar una expresion de legalidad para uso en un sistema para procesar la expresion de legalidad. El sistema y metodo incluyen, proporcionar un lenguaje de expresion de legalidad que incluye al menos, un elemento de obligacion (304) que especifica una obligacion que un mandante debe ejecutar una accion, un elemento de prohibicion (306) que especifica una prohibicion que un mandante no debe ejecutar una accion, un elemento de intencion (310) que especifica una intencion que el mandante desea ejecutar una accion, y un elemento de demanda (308) que especifica una afirmacion de que un mandante ejecute una accion. El sistema y metodo ademas incluyen interpretar por el sistema, una expresion de legalidad especificada usando el lenguaje de expresion de legalidad.
Description
SISTEMA Y METODO PARA ESPECIFICAR Y PROCESAR EXPRESIONES DE LEGALIDAD
CAMPO DE LA INVENCIÓN La presente invención se refiere de manera general, a sistemas y métodos para Administración de Contratos y Derechos Digitales, y más particularmente, a un sistema y método para especificar y procesar expresiones de legalidad, tales como contratos, dentro un sistema de Administración de Contratos y Derechos Digitales. ANTECEDENTES DE LA INVENCIÓN Uno de los problemas más importantes en cuanto a la distribución extensa de contenido digital, tal como documentos, música, películas, software, información y similares, en formas utilizables por dispositivos de computación vía . medios electrónicos y la Internet en particular, es la provisión .de la habilidad para~ -hacer cumplir los derechos de propiedad intelectual durante la distribución y uso del contenido digital . Las tecnologías para resolver este problema son referidas aquí como Administración de Derechos Digitales (DRM) . Sin embargo, existe un número de emisiones a ser consideradas efectuando un sistema de DRM, tal como autenticación, autorización, contabilidad, pago y compensación financiera, especificación de derechos, verificación de derechos, aplicación de derechos
REF . : 159369 y emisión de protección de documentos, por nombrar algunos. Por ejemplo, en el mundo de los documentos impresos y otros contenidos físicos, un trabajo creado por un autor es usualmente proporcionado a un editor, el cual formatea e imprime numerosas copias del trabajo. Las copias son entonces enviadas por un distribuidor a librerías u otros mercados minoristas, a partir de los cuales las copias son adquiridas por los usuarios finales. Mientras la baja calidad del copiado y el alto costo de distribución del material impreso han servido como disuasivos al copiado no autorizado de la mayoría de los documentos impresos, es mucho más fácil copiar, modificar y redistribuir el contenido digital no protegido con alta calidad. Por lo tanto, existe una necesidad de mecanismos para proteger el contenido digital. Son ampliamente reconocidas las dificultades asociadas con..la. prevención, o aún disuasión de personas, de hacer copias 'no autorizadas del contenido electrónico dentro-de los sistemas de comunicación y computación de propósitos generales actuales, tales como computadoras personales, estaciones de trabajo y otros dispositivos conectados en' redes de comunicaciones, tales como redes de área local (LAN, por sus siglas en inglés), intranets y la Internet. Muchos intentos para proporcionar soluciones a base de hardware para prevenir el copiado no autorizado, han probado ser infructuosos. Sin embargo, el despliegue de tecnologías de comunicaciones de banda ancha o amplitud de banda alta y el desarrollo de lo que es actualmente conocido como la Infraestructura de Información Nacional (IIN) , está haciéndose más conveniente para distribuir electrónicamente grandes documentos, que incluyen archivos de video, tales como películas animadas en movimiento, y esto hace más fácil proliferar el copiado y distribución no autorizados del contenido digital . Por lo tanto, la necesidad para el desarrollo adicional de tecnologías DRM está llegando a ser una alta prioridad. Por consiguiente, la Patente Estadounidense No. 5,634,012 comúnmente asignada, describe un sistema de DRM para controlar la distribución del contenido digital, en -donde dispositivos del sistema de DRM pueden incluir un depositario asociado con este. Una serie predeterminada de -etapas^ de transacciones de uso define un protocolo usado por los depositarios - para, hacer cumplir '-los derechos,, de uso asociados con el contenido. Los derechos de uso persisten con el contenido, y los derechos de uso asociados con el contenido comprenden un trabajo digital. Los derechos de uso pueden permitir varias maneras de uso del contenido, tales como un derecho para revisar o imprimir o visualizar el contenido, un derecho para usar el contenido solamente una vez, un derecho para distribuir o redistribuir el contenido, y similares. Tales derechos de uso pueden hacerse eventuales en pago u otras condiciones. Sin embargo, existe una necesidad de sistemas y métodos que permitan a una o más partes manejar, intercambiar, interpretar, aplicar fácilmente y seguramente y similares, la información de expresiones de legalidad, tales como información relacionada con contratos. SUMARIO DE LA INVENCIÓN Las necesidades anteriores así como otras, están dirigidas por modalidades de la presente invención, las cuales proporcionan un sistema y método mejorado para especificar y procesar contratos. Por consiguiente, en un aspecto de una modalidad de la presente invención, se proporciona un método para especificar una expresión de legalidad para uso en un sistema para procesar dicha expresión de legalidad. El método incluye, proporcionar un lenguaje de expresión de legalidad que-- ;incluye_ al menos, un elemento de obligación que especifica una -obligación que un mandante -debe -ejecutar una acción, un elemento de prohibición que especifica una prohibición que un mandante no debe ejecutar una acción, un elemento de intención que especifica una intención que un mandante desea ejecutar una acción, y un elemento de demanda que especifica una afirmación que un mandante ejecuta una acción. El método además incluye interpretar por dicho sistema, una expresión de legalidad especificada usando el lenguaje de expresión de legalidad.
En otro aspecto de una modalidad de la presente invención, se proporciona un sistema para procesar una expresión de legalidad que incluye, medios para proporcionar un lenguaje de expresión de legalidad. El lenguaje de expresión de legalidad incluye al menos, un elemento de obligación que especifica una obligación que un mandante debe ejecutar una. acción, un elemento de prohibición que especifica una prohibición que un mandante no debe ejecutar una acción, un elemento de intención que especifica una intención que un mandante desea ejecutar una acción, y un elemento de demanda que especifica una afirmación que un mandante ejecute una acción. El sistema además, incluye medios para interpretar una expresión de legalidad especificada usando el lenguaje de expresión de legalidad. En un aspecto adicional de una modalidad de la "presente, invención, se proporciona una expresión de legalidad adaptada* para -uso en un sistema paira" procesar ~la- expresión de legalidad. La expresión de legalidad incluye al menos, un elemento de obligación que especifica una obligación que un mandante debe ejecutar una acción, un elemento de prohibición que especifica una prohibición que un mandante no debe ejecutar una acción, un elemento de intención que especifica una intención que un mandante desea ejecutar una acción, y un elemento de demanda que especifica una afirmación que un mandante realiza una acción, con ello un sistema computarizado puede interpretar la expresión de legalidad.
Todavía otros aspectos, características, y ventajas de la presente invención son fácilmente · aparentes de la siguiente descripción detallada, simplemente ilustrando un número de modalidades e implementaciones ejemplares, que incluyen el mejor modo contemplado para llevar a cabo la presente invención. La presente invención también es capaz de otras y diferentes modalidades, y sus varios detalles pueden ser modificados en varios aspectos, todos sin apartarse del espíritu y ámbito de la presente invención. Por consiguiente, las figuras y descripciones son para ser considerados como ilustrativos en esencia, y no como restrictivos. BREVE DESCRIPCIÓN DE LAS FIGURAS La presente invención se ilustra por medio del ejemplo y no por medio de limitaciones, en las figuras de los dibujos acompañantes y en las cuales los números de referencia ""-similares- se. refieren a elementos similares y en las cuales: La Figura 1 ilustra un sistema "de"Administración de Derechos Digitales ejemplar en el cual, varias modalidades de la presente invención pueden ser implementadas; La Figura 2 ilustra un modelo de datos de contrato ejemplar de un Lenguaje de Expresión de Contrato ejemplar que puede ser empleado en el sistema de Administración de Derechos Digitales de la Figura 1; La Figura 3 ilustra cláusulas ejemplares que pueden ser empleadas en el modelo de datos del contrato ejemplar de la Figura 2 ; La Figura 4 ilustra un modelo ejemplar de una concesión del Lenguaje de Marcas de Derechos Extensibles (XrML) ; La Figura 5 ilustra un modelo de política de preferencia ejemplar, para permitir fijación de prioridades para resolver conflictos y multiplicidades .y que pueden ser empleadas en el modelo de datos del contrato ejemplar de la Figura 2 ; La Figura 6 ilustra un sistema de procesamiento guiado por consulta ejemplar, basado en el Lenguaje de Expresión de Contrato ejemplar; La Figura 7 ilustra un sistema de procesamiento guiado por contexto ejemplar, basado en el Lenguaje de Expresión de Contrato ejemplar; La Figura 8 ilustra un sistema de procesamiento guiado por- conflicto o multip icidad" e empl r, .basado en _el Lenguaje de Expresión de Contrato ejemplar; ~~ La Figura 9 ilustra un sistema de procesamiento de compuesto o híbrido ejemplar, basado en el Lenguaje de Expresión de Contrato ejemplar; y La Figura 10 ilustra un sistema ligado ejemplar, basado en el Lenguaje de Expresión de Contrato ejemplar; La Figura 11 es un diagrama de flujo para ilustrar el procesamiento guiado por consulta ejemplar, del sistema de la Figura 6; La Figura 12 es un diagrama de flujo para ilustrar el procesamiento guiado por contexto ejemplar, del sistema de la Figura 7 ; La Figura 13 es un diagrama de flujo para ilustrar el procesamiento guiado por conflicto o multiplicidad ejemplar, del sistema de la Figura 8; y La Figura 14 es un diagrama de flujo para ilustrar el procesamiento compuesto o híbrido y ligado ejemplar, de los sistemas de las Figura 9 y 10. DESCRIPCIÓN DETALLADA DE LA INVENCIÓN Se describe un sistema y un método para especificar y procesar contratos. En la siguiente descripción, para propósitos de explicación, se exponen numerosos detalles específicos para proporcionar un entendimiento completo de la presente invención. Es aparente para un experto en la técnica,-- sin . embargo, que Ia présente" invención- -puede _ser, practicada sin estos detalles específicos o con argumentos equivalentes. En algunos casos, se muestran estructuras y dispositivos bien conocidos en la forma de diagrama esquemático para evitar innecesariamente oscurecer de la presente invención. Como se notó anteriormente, la autenticación, autorización, contabilidad, pago y compensación financiera, especificación de derechos, verificación de derechos, aplicación de derechos, y emisión de protección de documentos, deben ser dirigidos por un sistema de Administración de Derechos Digitales. Las Patentes Estadounidenses comúnmente asignadas No. 5,530,235, No. 5,629,980, No. 5,634,012, No. 5,638,443, No. 5,715,403, No. 6,233,684 y No. 6,236,971, descripciones completas de todas las cuales están con ello, incorporadas en este documento por referencia, describen sistemas DRM dirigidos a estas y a otras emisiones. La presenté invención puede emplear tecnologías, sistemas, métodos, algoritmos, conceptos y similares, por ejemplo, como se describe adicionalmente en los artículos, libros, especificaciones y similares, citados a través de la presente descripción por números incluidos dentro de corchetes en impresión negrita [..3, y referencia cruzada en el APÉNDICE proporcionado en este documento, los contenidos completos de~ todos los cuales están con "ello, "incorporados= por referencia en este documento. De manera general, las modalidades ejemplares pueden ser empleadas para especificación, procesamiento, ejecución, administración y similares, de expresión de legalidad, tal como especificación, procesamiento, ejecución y administración de contratos. Por ejemplo, las modalidades ejemplares incluyen mecanismos para permitir la especificación de expresiones de legalidad, y sistemas que interpretan y ejecutan tales expresiones para regular el funcionamiento de entidades del sistema, usuarios y similares. Las modalidades ejemplares introducen un Lenguaje de Expresión de Legalidad ejemplar (LEL, por sus siglas en inglés) , por ejemplo, basado en el Lenguaje de Marcas Extensibles (XML, por sus siglas en inglés) , Lenguaje de Marcas de Derechos Extensibles (XrML, por sus siglas en inglés) [1] , y similares, y que pueden incluir un Lenguaje de Expresión de Contrato ejemplar (CEL, por sus siglas en inglés) . El Lenguaje de Expresión de Contrato ejemplar, ventajosamente permite, por ejemplo, para la expresión de acuerdos contractuales entre participantes en contenido electrónico, cadenas de valor de distribución de servicio y similares. Las modalidades ejemplares, ventajosamente, pueden ser aplicadas para entornos de línea y fuera de línea. *" ¦- - El-- Lenguaje de Expresión cié Contrato "ejemplar,... puede incluir un lenguaje legible en máquina para expresar contratos electrónicos y un modelo semántico que se puede interpretar en máquina, para contratos expresados en el Lenguaje de Expresión de Contrato ejemplar. El Lenguaje de Expresión de Contrato ejemplar puede soportar el ciclo de vida completo de un contrato, y las modalidades ejemplares que incluyen varios sistemas de procesamientos ejemplares del Lenguaje de Expresión de Contrato Ejemplar, permiten ejecutar el contrato y la ejecución entre participantes del contrato. En las modalidades e emplares, las palabras claves "debe", "no debe", "requiere", "deber", "no deber", "deba", "no deba", "recomendado", "puede" y "opcional", por ejemplo, pueden ser usadas en declaraciones o expresiones especificadas con el Lenguaje de Expresión de Contrato ejemplar, indicando niveles de requerimiento y, por ejemplo, pueden ser interpretadas como se describe en IETF RFC 2199 [4] . En las modalidades ejemplares, una acción puede incluir el proceso o estado de hacer o ejecutar algo. En las modalidades ejemplares, un evento puede incluir algo que toma lugar, puede ser capturado y "es digno de anotación, y similares. Una acción puede diferir de un evento en que la acción puede llegar a ser un evento cuando se ejecuta la acción. El concepto de un derecho o una obligación pueden ser abstracciones de una acción. - ¦¦ ¦· ¦ - En las. modalidades ejemplares, "un acúerdo~ puede incluir un arreglo entre partes con respecto a un curso de acción, por ejemplo, tal como el estado en la ley de contratos en la cual las negociaciones entre las partes están completas. La fundación de la relación legal llamada un "contrato", es el acuerdo de las partes. Así, un acuerdo puede incluir el escrito o documento que incorpora un contrato. En las modalidades ejemplares, una afirmación puede incluir una declaración de ejecución de alguna acción. En las modalidades ejemplares, una condición puede incluir algo, por ejemplo, indispensable para la aparición u ocurrencia de otro . En las modalidades ejemplares, un contrato, por ejemplo, puede incluir una promesa, o serie de promesas, para la infracción de la cual la ley da un remedio, o la ejecución de la cual la ley en alguna forma, reconoce como una obligación [14] , un acuerdo o convenio entre dos o más personas, en la cual cada parte se une a el o ella misma para hacer o abstenerse de alguna acción, y cada uno adquiere un derecho a lo que el otro promete, y similares. En las modalidades ejemplares, una intención puede incluir un curso de acción que uno pretende seguir, una obligación puede incluir un compromiso que requiere alguien para_ ejecutar alguna acción, un permiso puede incluir un derecho , — un¦·· mandante .. puede.. incluir una encapsulación de la identificación de una entidad involucrada en la ejecución de una acción, una prohibición puede incluir un requerimiento que prohibe a alguien ejecutar una acción, y una promesa puede incluir una manifestación de intención para actuar o abstenerse de actuar en una forma especificada [14] . En las modalidades ejemplares, un recurso puede incluir un objeto al cual un mandante puede ejecutar alguna acción. Por ejemplo, un recurso puede incluir un trabajo digital, tal como un libro electrónico, un archivo de audio o video, una imagen, y similares, un servicio, tal como un servicio de correo electrónico, un servicio de transacción Negocio a Negocio (B2B) , y similares, un fragmento de información que puede ser poseído por un mandante, tal como un nombre, una dirección de correo electrónico y similares. En las modalidades ejemplares, un derecho puede incluir un privilegio que autoriza a alguien para ejecutar una acción, una infracción puede incluir la falla de una parte de un contrato para ejecutar una obligación contractual, una oferta puede incluir una promesa para hacer o abstenerse de hacer alguna cosa especificada en el futuro condicionada en la aceptación de la promesa [14], un remedio puede incluir una acción para corregir un error o una falta, y una garantía puede incluir un término contractual para una garantía o aseveración, infracción la cual da origen a un derecho -para -reclamar daños, .pero no un derecho a rechazar la materia objeto del contrato o tratar el contrato como repudiado. Además de expresar información del contrato, por ejemplo, que se refiere a permisos, obligaciones, prohibiciones y similares, el Lenguaje de Expresión de Contrato ejemplar puede ser empleado para definir construcciones de lenguaje, tales como "demanda", "intento" y similares, ventajosamente, soportando acuerdos contractuales y encontrando requerimientos de procesamientos a través del ciclo de vida de un contrato. Ventajosamente, las expresiones de Lenguaje de Expresión de Contrato ejemplar, por ejemplo, pueden ser procesadas por humanos, procesadas por máquinas y similares. Además de un modelo de datos ejemplares y vocabularios ejemplares del Lenguaje de Expresión de Contrato ejemplar, el Lenguaje de Expresión de Contrato ejemplar puede ser usado para proporcionar precisión del lenguaje de programación para asegurar que las expresiones correspondientes puedan ser interpretables por máquinas, humanos y similares, de una manera inequívoca ; Ventajosamente, el Lenguaje de Expresión de Contrato ejemplar puede ser empleado para contratos de distribución de contenido electrónico, contratos de distribución de servicio electrónico y similares, así como también para describir, interpretar, - ejecutar, y._ _ similares, cualquier acuerdó contractual adecuado. El Lenguaje de Expresión de Contrato ejemplar se puede basar en el XrML, un lenguaje basado en XML, por ejemplo, para especificar declaraciones o expresiones declarativas acerca de los derechos de uso y condiciones asociadas del mismo que son ofrecidas y concedidas por titulares del derecho, . de por ejemplo, contenido, recursos, servicios y similares. Una declaración o expresión de derechos XrML, típicamente puede ser empleada para declarar que alguien "puede" ejercer un derecho específico de un recurso especificado, sometido a una condición especificada. Sin embargo, una declaración o expresión de derechos XrML, típicamente no imparte la noción de que alguien "debe" ejercer un derecho cuando se sugiere una condición. Por ejemplo, una declaración o expresión de derechos XrML "puede" conceder a "una persona el derecho al voto, pero, típicamente no puede especificar que tal persona "debe" votar. Por el contrario, el Lenguaje de Expresión de Contrato ejemplar puede ser empleado, ventajosamente, para expresar declaraciones o expresiones, tales como "alguien debe hacer algo," "alguien no debe hacer algo," y similares. Ventajosamente, el Lenguaje de Expresión de Contrato ejemplar, puede ser empleado en situaciones de negocios • -tratadas- con relaciones- .contractuales , acuerdos y similares"." Por ejemplo, un contrato estipula que alguien debe o es requerido para ejecutar una acción cuando se. sugiere una condición, tal como "La parte A debe proporcionar los bienes cuando la Parte B ha pagado por los bienes," ventajosamente, se puede expresar con el Lenguaje de Expresión de Contrato ejemplar. En el evento de administración, algunos eventos están destinados a ayudar si se satisface una condición provocada, por ejemplo, tal como "un empleado de tienda debe recordar un cliente cuando un video rentado está atrasado," "para desalentar la piratería, la lista actual de los 40 mejores no puede ser empaquetada en mejor de 8 bits de resolución de amplitud", y similares. Ventajosamente, el Lenguaje de Expresión de Contrato ejemplar puede ser empleado para especificar tales declaraciones de un tipo obligatorio o prohibitorio, así como también declaraciones de un tipo permisible . Además, el Lenguaje de Expresión de Contrato ejemplar, ventajosamente, soporta declaraciones específicas de un tipo intencional, declaraciones de un tipo real, declaraciones de un tipo exclusivo, y similares. Además, el Lenguaje de Expresión de Contrato ejemplar, soporta la definición de las reglas de preferencia, ventajosamente, para resolver conflictos y multiplicidades potenciales que pueden ser . originadas cuando se interpreta una " serie"" 'dé-declaraciones de un tipo permisible, obligatorio o prohibitorio . El Lenguaje de Expresión de Contrato ejemplar, ventajosamente, puede ser empleado para especificar declaraciones del tipo intencional. Por ejemplo, el Lenguaje de Expresión de Contrato ejemplar puede ser usado para expresar la intención entre partes para entrar a un acuerdo contractual, ventajosamente, facilitando la construcción de consultas a un sistema de administración de contratos, por ejemplo, implementado en el sistema de Administración de Derechos Digitales de la Figura 1, y similares. El Lenguaje de Expresión de Contrato ejemplar, ventajosamente, puede ser ^empleado para especificar declaraciones del tipo real. Por ejemplo, el Lenguaje de Expresión de Contrato ejemplar puede ser usado para certificar que el cumplimiento de las acciones especificadas en el contrato, ventajosamente, dirigen los requerimientos anteriores de un ciclo de vida del contrato. El Lenguaje de Expresión de Contrato ejemplar, ventajosamente, puede ser empleado para especificar declaraciones del tipo de exclusividad. Por ejemplo, el Lenguaje de Expresión de Contrato ejemplar, puede ser usado para expresar exclusividad, un requerimiento común en contratos de negocios. Ventajosamente, los mecanismos de -preferencia del .Lenguaje_„de Expresión de Contrato ejemplar, por ejemplo, pueden ser usados para facilitar la prioridad y resolución de conflicto entre los elementos dentro de un contrato único, entre contratos múltiples, y similares. El Lenguaje de Expresión de Contrato ejemplar, por ejemplo, puede incluir elementos de XrML, y eficacia a partir de los principios de diseño y estructuras de extensibilidad del XrML. Ventajosamente, el Lenguaje de Expresión de Contrato ejemplar, puede ser integrado con el XrML, proporcionando mecanismos, flexibles, de interoperabilidad, para soportar muchas formas de contratos por ejemplo, incluyendo contratos de negocios para el suministro, distribución y consumo del contenido, recursos, servicios y 5 similares. En una modalidad ejemplar, un contrato puede incluir una promesa, o serie de promesas; para la infracción de la cual la ley da un remedio, o la ejecución de la cual la ley de alguna manera, reconoce como una obligación [14] . Dos o
10 más partes pueden asignar un contrato para declarar el consentimiento de las partes a una acción o una cosa a hacer o desistir . la acción por algunas de las partes u otras partes. Por ejemplo, la declaración "Alicia debe vender su casa a Bob después de recibir un pago de US $500,000 de Bob
15 el 30 de Abril del 2002, firmado por Alicia y Bob", puede ser un contrato, venta osamente, el cual puede ser expresado
¦·-¦ -usando -el Lenguaje ¦ Expresión de Contrato ejemplar. En el Lenguaje de Expresión de Contrato ejemplar, un contrato por ejemplo, puede incluir un acuerdo entre dos o
20 más partes sobre un número de promesas hechas por alguna de las partes. La naturaleza de un acuerdo puede incluir que un contrato válido sea firmado por las dos partes involucradas. Una promesa puede incluir varias cláusulas, cada una de las cuales puede declarar una relación, por ejemplo, tal como
25 cuando alguna de las partes adquiere un derecho o permiso a lo que la otra conceda, cuando alguna de las partes une una obligación a lo que la otra requiere, cuando alguna de las partes sigue una prohibición a lo que la otra impone, cuando alguna de las partes observa una intención a lo que la otra expresa, cuando alguna de las partes conoce una afirmación a lo que la otra hace' y similares. Un derecho o permiso, una obligación y una prohibición, pueden incluir la ejecución o la no ejecución de alguna acción o algunas clases de acciones. Una diferencia entre tales términos puede ser el tipo de modalidad de una acción de manera que dirige tales términos. Por ejemplo, un derecho o permiso puede ser de un tipo de modalidad que puede ser categorizado por "puede" , una obligación puede ser categorizada por "debe", y una prohibición puede ser categorizada por "no debe" . Por el contrario, una intención puede incluir un deseo de ejecutar alguna acción, y una afirmación . uede describir un hecho acerca del asunto" dé "sea' o no ejecutada alguna acción, está siendo ejecutada, o se ejecutará. En una modalidad ejemplar, el tiempo de una acción no necesita ser especificado explícitamente, como el tiempo a menudo puede ser claro de la intención o afirmación. La relación declarada en una cláusula, por ejemplo, puede ser eventual en una condición a ser verdadera o en un evento a ocurrir, y similares. En una modalidad ejemplar, el modelo de Mandante-Acción-Recurso-Condición (MARC) para conceder XrML, puede ser mejorado en el Lenguaje de Expresión de Contrato ejemplar, a un modelo de Evento-Mandante-Acción-Recurso-Condición ejemplar (EMARC) para tales cláusulas. Ventajosamente, el modelo EMARC ejemplar puede incluir un paradigma de regla de evento-condición-acción y puede ser usado en informática ¦ y otras aplicaciones, por ejemplo, que incluyen bases de datos [27] , sistemas expertos [28] , administración a base de políticas [29], y similares. El elemento Evento opcional, por ejemplo, puede ser usado para capturar los cambios en un contexto o entorno de sistema que puede ocasionar la examinacion o ejecución de una cláusula. Por ejemplo, la cláusula de obligación puede ser provocada cuando ocurre el Evento, y si la Condición es verdadera, el Mandante debe ejecutar la Acción en el Recurso. En un modalidad ejemplar, el modelo EMARC , ventajosamente, puede ser empleado para construir sistemas relativamente más eficientes, ., por ejemplo, para administración de contratos"/ consulta de contratos, ejecución de contratos, aplicación de contratos, y similares. En una modalidad ejemplar, las cláusulas pueden también ser mutuamente dependientes. Por ejemplo, una dependencia mutua puede incluir que una cláusula dependa de la validez de otra cláusula, por ejemplo, tal como "Alicia tiene el derecho a vender una casa, si ella es propietaria de la casa" . Por consiguiente, la cláusula de derecho de venta depende de la validez de la cláusula de afirmación de propiedad . En una modalidad ejemplar, una dependencia mutua puede incluir que una cláusula dependa en la ejecución de otra cláusula por ejemplo, tal como "Alicia tiene la obligación de vender su casa, si Bob ejerce su derecho a adquirir la casa pagando US $500,000 el 30 de Abril de 2002". Por consiguiente, la cláusula de obligación de venta depende del ejercicio de la cláusula de derecho de adquisición. En una modalidad ejemplar, una dependencia mutua puede incluir que una cláusula dependa de la no ejecución de otra cláusula, ventajosamente, la cual puede ser usada para especificar un remedio para una infracción del contrato anterior, por ejemplo, tal como "Bob debe pagar una multa de US $1,000 a Alicia, si Bob no hace el pago de US $500,000 a Alicia el 30 de Abril de 2002" . Por consiguiente, la cláusula de obligación de multa depende de~"la ~no "ejecución ~de~ la cláusula de obligación de pago. En una modalidad ejemplar, un contrato puede ser especificado como un objeto dinámico que tiene ciclos de vida de contratos. Los ciclos de vida de contratos por ejemplo, pueden incluir una fase de creación, una fase de ejecución o realización, fase de enmienda, extensión o renovación, una fase de finalización, terminación o expiración, una fase de archivado y similares. En una modalidad ejemplar, la fase de creación por ejemplo, puede comenzar con una oferta proporcionada por alguna parte o partes, seguida por un número de rondas de -consideración y negociación, y que resultan finalmente, en un acuerdo firmado por las partes involucradas. En una modalidad ejemplar, la fase de ejecución o realización por ejemplo, puede dictar que las partes involucradas ejercen derechos, cumplen obligaciones, obedecen prohibiciones, contestan intenciones, verifican afirmaciones y similares. Ventajosamente, el Lenguaje de Expresión de Contrato ejemplar, se distingue de otros procedimientos de especificación de políticas [29] , empleando características de XrML, por ejemplo, soportando los ciclos de vida de contratos, para proporcionar confiabilidad de administración de" contratos -y similares.. Por ejemplo, en jan entorno abierto, tal como aquel de la Internet, la interacción entre las entidades involucradas puede ocasionar un cierto nivel de confiabilidad entre las entidades involucradas. Sin embargo, los sistemas de administración de políticas que soportan la administración de confiabilidad, típicamente tratan con una relación de confiabilidad solamente entre mandantes y recursos . Por ejemplo, en un sistema de administración de políticas típico, un mandante es confiado si el mandante posee un certificado emitido por alguna autoridad, y un recurso es confiado si el recurso es digitalmente firmado por un mandante confiado. Sin embargo, tales sistemas de administración de políticas típicamente no tratan con relaciones confiadas entre políticas. Por ejemplo, una presunción fundamental, típicamente hecha por tales sistemas de administrac ón de políticas, es que las políticas se hacen para dominios administrativos o de seguridad, manejados por los propietarios o administradores de los dominios respectivos. De este modo, tales políticas típicamente están limitadas a regular el funcionamiento de las entidades dentro de los dominios. Por el contrario, cuando un contrato es ejecutado en un entorno distribuido que puede incluir muchos diferentes dominios administrativos y de seguridad, típicamente no es solamente necesario entender que se imparta el contrato, sino de maner más .importante , entender de , alguna manera autenticada, las partes unidas con el contrato, las partes que autorizan el contrato, las partes que acuerdan el contrato y similares. Después de todo, tales factores típicamente son los que hacen un contrato válido y aplicable en primer lugar. De otro modo, una parte no autorizada, por ejemplo, puede olvidar un contrato e imponer obligaciones no autorizadas sobre una parte insospechada, puede ilegalmente, autorizar otras o las autorizadas concediendo permisos excesivos dentro del contrato olvidado, puede restringir otros por prohibiciones no autorizadas demandantes, puede engañar a otros haciendo demandas falsas dentro del contrato olvidado, y similares. Ventajosamente, el Lenguaje de Expresión de Contrato ejemplar, se dirige al anterior y a otros problemas, y por ejemplo, permite la construcción de sistemas operacionales para referencia del contenido, proporciona una estructura arquitectónica extensible para especificar contratos para varias otras aplicaciones, tales como aplicaciones fuera de la estructura de referencia del contenido y similares. En una modalidad ejemplar, el Lenguaje de Expresión de Contrato ejemplar, ventajosamente, puede ser empleado para especificar evidencia de un contrato. Por ejemplo, el Lenguaje de Expresión de Contrato ejemplar, puede ser -empleado ..para .comunicar información impartida dentro dé un contrato en una manera que puede ser fácilmente e inequívocamente entendida, y similares. En una modalidad ejemplar, el Lenguaje de Expresión de Contrato ejemplar, ventajosamente, puede ser empleado para especificar la ejecución de un contrato. Por ejemplo, el Lenguaje de Expresión de Contrato ejemplar, puede ser empleado para facilitar la ejecución permisiva, obligatoria o prohibitoria dentro de un contrato en un contexto apropiado, por ejemplo, integrada con los procesos de negocios de las partes contratantes, para determinar si o no una parte está permitida para ejercer algún derecho o es requerida para cumplir completamente alguna obligación u obedecer alguna prohibición de un contacto, y similares. En una modalidad ejemplar, el Lenguaje de Expresión 5 de Contrato ejemplar, ventajosamente, puede ser empleado para la evaluación de un contrato. Por ejemplo, el Lenguaje de Expresión de Contrato ejemplar, puede ser empleado para verificar la ejecución permisiva, obligatoria o prohibitoria por las partes contratantes, y similares. 0 En una modalidad ejemplar, el Lenguaje de Expresión de Contrato ejemplar, venta osamente, puede ser empleado para facilitar la formación de contratos. Por ejemplo, el Lenguaje de Expresión de Contrato ejemplar, puede ser empleado para automatizar procesos relacionados a una oferta, una--5· -aceptación, un acuerdo, consideración y similares . · '— -' "-*'—·· " En una modalidad ejemplar, el Lenguaje de Expresión de Contrato ejemplar, ventajosamente, puede ser empleado para facilitar la generación dinámica y actualización de contratos. Por ejemplo, el Lenguaje de Expresión de Contrato 0 ejemplar, puede ser empleado para facilitar la negociación de contratos, para soportar modelos de negocios relacionados con contratos y similares. En una modalidad ejemplar, el Lenguaje de Expresión de Contrato ejemplar, ventajosamente, puede ser empleado para 5 facilitar la aplicación de contratos. Por ejemplo, el Lenguaje de Expresión de Contrato ejemplar, puede ser empleado para aplicar derechos concedidos por un contrato, para mandar obligaciones y estipular prohibiciones de un contrato y similares. 5 En una modalidad ejemplar, el Lenguaje de Expresión de Contrato ejemplar, puede ser usado para especificar los tipos de modalidades, "puede", "debe" y "no debe", en términos de derechos, obligaciones, prohibiciones de contratos, y similares. El Lenguaje de Expresión de Contrato l'O ejemplar, no necesita especificar el tipo de modalidad "puede no actuar" de manera explícita, tal modalidad puede ser tratada como una modalidad de omisión. Por ejemplo, si una acción, por ejemplo, reproducir, no se menciona en una expresión de contrato escrito en el Lenguaje de Expresión de 15 Contrato ejemplar, la omisión p"uéde ser~que' cada uno "puede no actuar", por ejemplo, reproducir, de conformidad con tal cláusula. En una modalidad ejemplar, la omisión "puede no actuar" puede ser aplicable a una expresión de contrato que no hace mención a la acción dada, como otras expresiones de
20 contrato pueden ser usadas para especificar la acción dada siendo permitidas, siendo obligadas, siendo prohibidas, y similares . Por consiguiente, una especificación de modalidad ejemplar en el Lenguaje de Expresión de Contrato ejemplar, 25 por ejemplo, puede incluir los siguientes tipos: "puede actuar" - derecho o permiso, "debe actuar" - obligación y, "no debe actuar" - prohibición. Venta osamente, las modalidades ejemplares pueden ser consistentes con la lógica deóntica [24] , la cual puede incluir principios de razonamiento con respecto a permiso, obligación, prohibición y otras materias normativas. El Lenguaje de Expresión de Contrato ejemplar, ventajosamente, también soporta especificar la intención de ejecutar una acción y la afirmación de una acción a ser ejecutada como un hecho, por ejemplo, como se da por: "desea actuar" - intención, y "actuado", "está actuando", "actuará", "fue", "es" y "será" - afirmación. Venta osamente , empleando' ~ tales " ~ mecanismos -:para . especificar intenciones, el Lenguaje de Expresión de Contrato ejemplar, por ejemplo, puede ser usado para expresar consultas para agentes o servicios de autorización, para conseguir respuestas si o no las acciones propuestas están permitidas, obligadas o prohibidas, y similares. Además, empleando los mecanismos para especificar intensiones, el Lenguaje de Expresión de Contrato ejemplar, por ejemplo, puede ser usado para crear afirmaciones de atributos y describir hechos acerca de los asuntos o un contexto de un contracción, para propósitos de por ejemplo, emitir certificados de atributos e identidad, definiendo varias políticas, por ejemplo, para especificar preferencias y conflabilidad, manteniendo pistas de historias y estados para ejecutar contratos y similares. El Lenguaje de Expresión de Contrato ejemplar, ventajosamente, puede soportar contratos laterales múltiples por ejemplo, que necesitan más de una de las partes para conceder después, contratos unilaterales y similares. Por ejemplo, una acción a ser tomada en respuesta a una referencia de contenido, puede depender no solamente en un contrato multi-lateral, sino también en leyes y regulaciones aplicables y reglas de negocios de "una parte" . Ventajosamente, los contratos expresados en el Lenguaje de Expresión de Contrato ejemplar, por ejemplo, permiten la especificación de uno o "más 'firmantes ~de un "contrator_uno: ¦o más otorgantes de promesas dentro de un contrato, y similares. Por ejemplo, un contrato expresado con el Lenguaje de Expresión de Contrato ejemplar, ventajosamente, puede ser configurado para especificar que una primera parte está unida al contrato, si la primera parte ha firmado el contrato o si la primer parte confía al otorgante del contrato y similares. La presente invención incluye el reconocimiento de que los contratos juegan un papel muy importante en el comercio electrónico, especialmente con aplicaciones de negocios-a-negocios. De manera general, tales contratos incorporan definiciones, tales como demandas descriptivas, y derechos y responsabilidades, tales como reglas prescriptivas , y exponen las obligaciones y autorizaciones de las partes en el contrato. La presente invención además, incluye el reconocimiento de que pueden existir complicaciones e implicaciones legales relacionadas con los contratos. Como una tecnología permitida, el Lenguaje de Expresión de Contrato ejemplar, no necesita ser empleado para definir, prescribir y reemplazar contratos que pueden ser aplicados por la ley [16] [17] . Ventajosamente, el Lenguaje de Expresión de Contrato ejemplar, puede ser empleado para permitir la teoría de. derechos de Hohfeld [23] aplicada como razonamiento judicial. El Lenguaje.de Expresión de Contrato ejemplar, por ejemplo, se puede basar én "un" "lenguaj e :de' - expresión - de derechos tal como Xr L, y similares. Por ejemplo, el Lenguaje de Expresión de Contrato ejemplar, puede emplear elementos y tipos definidos en XrML como bloques de construcción, y la riqueza y los mecanismos de extensibilidad de las expresiones de XrML para proporcionar expresividad y extensibilidad al Lenguaje de Expresión de Contrato ejemplar. Ventajosamente, el Lenguaje de Expresión de Contrato ejemplar, puede ser interoperable y consistente con XrML. Además, se pueden introducir nuevas construcciones, por ejemplo, para elementos pares y tipos de contrapartes de XrML, para contenedores de construcciones de XrML, para otras nuevas construcciones y similares . En una modalidad ejemplar, el Lenguaje de Expresión de Contrato ejemplar, puede incluir un lenguaje de expresión de derechos, tal como XrML, para derechos o permisos, y características adicionales, tales como obligaciones, prohibiciones, intenciones, afirmaciones y similares. Ventajosamente, el Lenguaje de Expresión de Contrato ejemplar, puede ser complementario a XrML. Además, las modalidades ejemplares por ejemplo, pueden permitir el ofrecimiento, la generación y similares de licencias de XrML basadas en contratos de Lenguaje de Expresión de Contrato ejemplar. El Lenguaje de Expresión de Contrato ejemplar, puede ser definido" como urr"¦' --lenguaj e - " -declarativo... Ventajosamente, las expresiones escritas en el Lenguaje de Expresión de Contrato ejemplar, típicamente no tienen efectos laterales. Por ejemplo, el estado de un sistema que usa el Lenguaje de Expresión de Contrato ejemplar no necesita cambiar -debido a la evaluación de una expresión de Lenguaje de Expresión de Contrato. Definir el Lenguaje de Expresión de Contrato ejemplar como un lenguaje declarativo, proporciona un número de ventajas sobre el modelado del Lenguaje de Expresión de Contrato ejemplar, como un lenguaje imperativo. Por ejemplo, expresiones basadas en el Lenguaje de Expresión de Contrato ejemplar, tales como concesiones, obligaciones, contratos y similares, ventajosamente, pueden ser independientes de como los derechos relacionados son ejercidos, las obligaciones relacionadas con completamente cubiertas, las prohibiciones relacionadas son obedecidas, los contratos relacionados son adheridos, y similares. El Lenguaje de Expresión de Contrato ejemplar, ventajosamente, puede permitir el desarrollo de aplicaciones, sistemas de negocios y similares. Ventajosamente, el Lenguaje de Expresión de Contrato ejemplar, puede ser empleado por tales aplicaciones y sistemas de negocios como un medio para expresar acuerdos contractuales, como un medio para manejar expresiones y similares, por ejemplo, basados en mecanismos para insertar, suprimir, verificar "estados,' aplicaciones, detectar conflictos, resolver conflictos, y similares, para contratos basados en el Lenguaje de Expresión de Contrato ejemplar. En una modalidad ejemplar, el Lenguaje de Expresión de Contrato ejemplar no necesita decidir como los sistemas usando el Lenguaje de Expresión de Contrato ejemplar deben cambiar estados del mismo, por ejemplo, como serán cambiados los valores de expresión basados en el Lenguaje de Expresión de Contrato ejemplar. En una modalidad ejemplar, cuando se evalúan tales expresiones por ejemplo, para determinar si o no una acción pueda o deba ser ejecutada cuando las condiciones asociadas se satisfacen, tal determinación puede ser considerada como una acción atómica. Las modalidades ejemplares pueden emplear espacios nominales por ejemplo, que incluyen esquemas que conforman al esquema W3C XML [11] y similares. Por ejemplo, los prefijos de espacios nominales del Lenguaje de Marcas Extensibles (XML) , pueden ser empleados por permanecer para sus espacios nominales respectivos como se muestra en la Tabla 1, esté o no una declaración de espacio nominal presente en los listados de los segmentos del esquema y ejemplos. Tabla 1 : Esquema de Espacios Nominales
La Figura 2 ilustra un modelo de datos de contrato ejemplar 200, del Lenguaje de Expresión de Contrato ejemplar, que por ejemplo, puede ser empleado en el Sistema de Administración de Derechos Digitales de la Figura 1, y similares. En la Figura 2, el modelo de datos de contrato ejemplar 200, puede incluir un contrato 202 que tiene cero o más promesas 208 acordadas por cero o más firmantes 210 del contrato 202. En una modalidad ejemplar, la promesa 208 puede incluir una o más cláusulas 212, por ejemplo, usadas para describir una relación entre un evento (E) 216, un mandante (M) 218, una acción (A) 220, un recurso (R) 222, una condición (C) 224, y similares. El contrato 202 por ejemplo, puede incluir además, metadatos 204, tales como título, estado, un inventario de expresiones usadas a través del contrato 202, y similares, una o más licencias 206, tales como licencias de XrML, y similares. En una modalidad ejemplar, la presencia de firmas de uno o más firmantes 210," por "ej"emploV~puede -ser~usada -para verificar que el contrato 202 es válido, puede proporcionar integridad del contrato, puede proporcionar autenticación para el firmante, puede impartir el consentimiento de los firmantes 210 y similares. Ventajosamente, señalando el contrato 202, los firmantes 210 pueden conceder también los contenidos del contrato 202. Además, las firmas correspondientes pueden servir como evidencia para una decisión que un usuario del contrato 202 puede necesitar hacer, si o no el usuario puede aceptar las firmas en el contrato 202 para un propósito aplicable del contrato 202 por el usuario.
En una modalidad ejemplar, la promesa 208 puede incluir la cláusula 212, opcionalmente firmada y con cada cláusula que imparte una declaración. En una modalidad ejemplar, las firmas correspondientes para cada cláusula pueden ser usadas para indicar que el emiso 214 correspondiente con la firma, imparte la cláusula correspondiente 212 dentro de la promesa 208. Ventajosamente, tales firmas pueden servir como evidencia para una decisión que un usuario de la cláusula 212 puede necesitar hacer si o. no el usuario confía las firmas para creer en el contenido y autenticidad portados en las cláusulas 212. Por ejemplo, el elemento emisor 214 puede ser empleado para conducir un. proceso de validación de trayectoria de emisión para una cadena de cláusulas para establecer conflabilidad a un emisor de una cláusula final" basada" en~la~ conflábilidad:-de "un-emisor-de una cláusula raíz en la cadena de cláusulas. En una modalidad ejemplar, la cláusula 212 puede ser usada para describir una declaración acerca de alguna clase de relación entre los elementos de la cláusula 212, tales como los elementos del evento 216, el mandante 218, la acción 220, el recurso 222, y condición 224. En una modalidad ejemplar, el evento 216, por ejemplo, puede ser un elemento opcional que representa una condición de evento. El evento 216 puede satisfacerse si ocurre un evento correspondiente definido por el elemento del evento 216, por ejemplo, en un contexto dado. En una modalidad ejemplar, cuando el elemento del evento 216 se omite del contrato correspondiente 202, una interpretación por omisión puede ser que el evento no es requerido para que ocurra y por lo tanto, se satisface la condición del evento. En una modalidad ejemplar, el evento 216, por ejemplo, puede incluir un evento externo, un estado interno, un evento temporal, y similares. En una modalidad ejemplar, un evento externo por ejemplo, puede ser provocado por una entidad fuera de un sistema unido por el contrato correspondiente 202, por ejemplo, tal como cuando un usuario requiere una referencia de contenido y similares. En una modalidad ejemplar, un evento interno o evento de estado pueden ser provocados algunas veces que ocurren dentro de un sistema unido "por el contrato correspondiente ~~ "2027"" por ejemplo, tal como cuando el número de impresiones permitidas exceden un límite y similares. En una modalidad ejemplar, u evento temporal puede ser provocado cuando se alcanza un punto en tiempo, por ejemplo, tal como cuando se verifica una lista de invocación a 1:00 am cada día, y similares. En una modalidad ejemplar, el mandante 218, por ejemplo, puede ser un elemento opcional que representa una entidad o una serie de entidades que pueden ejecutar una acción especificada por el elemento de acción 220. En una modalidad ejemplar, cuando el mandante 218 se omite del contrato correspondiente 202, una interpretación por omisión puede ser que cualquier entidad o el universo completo por ejemplo, como una serie de entidades están siendo especificados . En una modalidad ejemplar, la acción 220 puede incluir una acción o una serie de acciones especificadas en el contrato correspondiente 202. En una modalidad ejemplar, las semánticas de una particularización de la acción 220, pueden ser usadas para determinar si o no la acción correspondiente 220 emplea el elemento de recurso 222. En una modalidad ejemplar, el recurso 222, por ejemplo, puede ser un elemento opcional que representa un recurso o una serie de recursos que aplican la correspondiente acción 220. En una modalidad ejemplar, cuando el recurso 222 es omitido del " contrato correspondiente "202 , la interpretación por omisión puede ser que no se especifica el recurso, comparado con el universo completo de recursos a ser especificados por tal omisión. En una modalidad ejemplar, la condición 224, por ejemplo, puede ser un elemento opcional que representa una condición correspondiente, sujeta a la cual la acción correspondiente 220 puede ser ejecutada. En una modalidad ejemplar, la condición 224 se puede satisfacer si se sugiere la condición correspondiente que especifica la condición 224, por ejemplo, dentro de un contexto. En una modalidad ejemplar, cuando la condición 224 se omite del contrato correspondiente 202, la interpretación por omisión puede ser que se esté o no especificando la condición o equivalentemente, una condición que es siempre verdadera. El modelo de datos EMARC ejemplar para la cláusula 212, ventajosamente, puede ser empleado en informática, y en los estudios de lenguajes de programación, por ejemplo, tales como para comandos "si está guardando" y "mientras está guardando" , en comandos guardados [19] , en sistemas de bases de datos y de base conocida, tales como para las reglas de evento-condición-acción [20] [21] , en inteligencia artificial, tal como para reglas de "modelo-acción" en sistemas de producción [22] , en sistemas de agentes múltiples [25] [26] y similares. " La" Figura "*3 " ilustra"" clausulas ejemplares ~2Í'2' qúé: pueden ser empleadas en el modelo de datos de contratos ejemplares 200 de la Figura 2. En la Figura 3, la cláusula ejemplar 212, por ejemplo, puede incluir uno o más elementos concedidos 320, de obligación 304, de prohibición 306, de demanda 308, de intento 310 y similares. En una modalidad ej.emplar, ventajosamente, el elemento de concesión 302, por ejemplo, puede ser empleado para imponer un derecho, un permiso, y similares, el elemento de obligación 304, puede ser empleado para imponer una obligación, el elemento de prohibición 306 puede ser empleado para comandar una prohibición, el elemento de demanda 308 puede ser empleado para declarar un afirmación, y el elemento de intento 310 puede ser empleado para expresar una intención. Por ejemplo, la cláusula ejemplar 212 puede ser empleada para definir connotaciones, tales como connotaciones modales, connotaciones intencionales, connotaciones reales, y similares entre los elementos de evento (E) , mandante (M) , acción (A), recurso (R) y condición (C) 302-310, como sigue: Concesión - (siempre que ocurra E) , M puede ejecutar A después de R si C se sugiere. Así, (siempre que ocurra E) , se Concede impartir un permiso en M para ejecutar A en R en situaciones en donde se sugiere C. Obligación -siempre que ocurra E, M debe ejecutar A después dé R si se sugiere C. Así, siempre que ocurra E, la obligación demanda una obligación en M para ejecutar A en R, en situaciones en donde se sugiere C. Prohibición - siempre que ocurra E, M no debe ejecutar A después de R si se sugiere C. Así, siempre que ocurra E, la Prohibición recomienda una prohibición en M sin ejecutar A en R en situaciones en donde se sugiere C. Intento -siempre que ocurra E, M desea ejecutar A después de R, si se sugiere C. Así, siempre que ocurra E, el Intento expresa una intensión de M para ejecutar A en R en situaciones en donde se sugiere C. Demanda - siempre que ocurra E, M ejecuta A después de R con la condición de que se sugiera C. Así, siempre que ocurra E, se hace Demanda a una afirmación acerca de M ejecutando A en R en situaciones en donde se sugiera C. La Figura 4 ilustra un modelo ejemplar de una concesión del Lenguaje de Marcas de Derechos Extensibles (XrML) 403, que puede ser definido usando un modelo MARC, que incluye un elemento mandante (M) 404, un elemento de acción (A) 406, un elemento de' recurso (R) 408, y un elemento de condición (C) 410. Así, una concesión XrML puede ser especificada "con lá~ cláusula * 212 omitiendo el élementó-"del evento 216, por ejemplo, como se da por: Concesión - M puede ejecutar A después de R si se sugiere C. Así, la Concesión imparte un permiso en M para ejecutar A en R en situaciones en donde se sugiere C. Ventajosamente, el modelo EMARC del Lenguaje de Expresión de Contrato ejemplar, puede ser empleado para expresar derechos o permisos, como con la concesión de XrML, así como también para especificar obligaciones y prohibiciones, por ejemplo, como se da por: nEl servidor de distribución debe referirse a cualquier petición de música en el www. soweretailer.com. " Usando el modelo MARC, las provisiones de las declaraciones obligatorias anteriores pueden ser modeladas, tratando las provisiones como condiciones para la distribución del servidor para cubrir completamente la obligación de referir la petición, por ejemplo, como se da por: (a) "la petición es música", y (b) "el destino de referencia es www.someretailer.com," Sin embargo, tratar la provisión (b) como una condición que debe ser sugerida con el fin de que el servidor haga la referencia, típicamente no es lo correcto, como (b) es meramente' una restricción en' la " acción ~ "dé "Hacer ú a"^ referencia. Por ejemplo, la acción está haciendo una referencia al destino www.someretailer.com. Sin embargo, haciendo tal referencia, llega una obligación para el servidor solamente cuando existe una petición. Por ejemplo, la referencia tiene que ser "provocada" por el evento de una petición entrante. Ventajosamente, usando el modelo EMARC ejemplar, el servicio de referencia puede ser especificado más precisamente, por ejemplo, como se da por: "Después de la ocurrencia de una petición de usuario (E) , es obligatorio que el servidor distribuidor (M) , haga la referencia a www.someretailer.com (A) de la petición (R) si la petición es una petición de música (C) "; El Lenguaje de Expresión de Contrato ejemplar, por ejemplo, puede emplear mecanismos de extensibilidad de Esquema XML, ventajosamente, permitiendo extensibilidad, grupos de substitución de Elemento, Tipo de substitución, "cualquier" elemento, y similares [1] [11] . En una modalidad ejemplar, el Elemento Extensible y tipos mostrados en la Tabla 2, proporcionan elementos y tipos adicionales que típicamente no se proporcionan en Xr L, pero que, ventajosamente, son extensibles en el Lenguaje de Expresión de Contrato ejemplar. Tabla 2 : Elementos y Tipos Extensibles
Elemento/ Mecanismo de Extensión Tipo Contra to "cualquiera " Promesa Grupos de substitución de elemento, Tipo de substitución Firmante Grupos de , substitución de elemento, Tipo de substitución , "cualquiera" Cláusula Grupos de substitución de elemento, Tipo de substitución Evento Grupos de substitución de elemento, Tipo de substitución Mandante Grupos de substitución de elemento, Tipo de substitución Acción Grupos de substitución de elemento, Tipo de substitución Recurso Grupos de substitución de elemento., Tipo de substitución Condición Grupos de substitución de elemento, Tipo de substitución Tales extensiones a elementos centrales del Lenguaje de Expresión de Contrato ejemplar, pueden incluir definiciones de elementos y tipos para aquellos conceptos que son generalmente y ampliamente aplicables a escenarios al uso del Lenguaje de Expresión de Contrato ejemplar. Por ejemplo, existen elementos compuestos mostrados en la Tabla 3, que se extienden a un elemento correspondiente. Tabla 3 : Elementos de Cláusulas Compuestos
Elemento Elemento Compuesto Significado Evento EnEjecución/[Cláusula, Un Evento, causado por ejecutar la Acción Demanda 1... ,Demanda N] en la Cláusula dada en la Demanda 1 ,Demanda N (como parte del contexto) , en donde N > 0. CualquierEvento/[El, ... ,En] Una serie de Eventos, que incluye El,... En. Este Evento ocurre si uno y solamente ocurre uno de El,... En. Mandante TodoslosMandantes/[M, . ..,Mn] Un Mandante que representa la combinación de todos los Mandantes MI, ... ,Mn. CualquierMandante/[MI, . ..Mn] Una serie de Mandantes Ml,...,Mn. Este Mandante representa cualquiera de aquellos MI ,Mn. AFayorctelMandante/.[Ml,M2}. Un Mandante MI . que actúa, a favor de . ~M2 [32] Acción -TodaslasAccíones/[Al, .. ¦ ,An] Una Acción cuya ejecución son las- ejecuciones simultáneas de todos Al,.., An. CualquierAcción/ [Al, ... ,An) Una serie de Acciones Al, ... ,An. Esta Acción es ejecutada si uno y solamente uno de Al, ... ,An es ejecutado. Recurso TodoslosRecursos[Rl, ... ,Rn] Un recurso que representa la combinación de todos Rl,...,Rn. CualquierRecurso[Rlm... ,Rn] Una serie de Recursos ??,.,.,??. Este recurso representa cualquiera de aquellos Rl,...Rn. Condición TodaslasCondiciones[Cl, .. ,,Cn Una Condición que representa la 1 conjunción de Cl, ... ,Cn. CualquierCondición[Cl,. ..,Cn] Una condición que representa la disconjunción de Cl,...Cn.
En una modalidad ejemplar, existe un número de acciones que pueden actuar como meta acciones que actúan después de las cláusulas correspondientes 212, por ejemplo, dadas por : Emitir: una Acción, usado para especificar que un mandante emite una cláusula (por ejemplo, dentro de un- contrato) . Con la acción Emitida, se pueden crear cláusulas especificadas (por ejemplo, para permisos, obligaciones, prohibiciones, intenciones, y . afirmaciones) , haciendo la Acción Emitida como un emisor de las cláusulas . Obtener: una Acción, usada para especificar que un mandante obtiene una cláusula (por ejemplo, dentro de un contrato) . Con la Acción Obtenida, se puede ~ "* 'recibir' uña cláusula especificada." ~ " ' Revocar: una Acción, usada para especificar que se revoca una cláusula revocando una de sus firmas como un firmante o emisor. Con la acción Revocada, se puede invalidar una cláusula existente hecha por el firmante o emisor. Preceder: una Acción, usada para especificar que una cláusula precede a otra en términos de preferencia. Con la Acción Precedente, se pueden hacer demandas por preferencia entre cláusulas para resolver conflictos y multiplicidades potenciales por la preferencia de cláusula . Poseer: una Acción, usada para especificar que un mandante puede poseer algún recurso. Confiar: una Acción, usada para especificar que un mandante confía en un recurso (por ejemplo, el cual puede también ser un mandante) , en términos de cláusulas hechas en el recurso (o, por ejemplo, por el mandante) . Con la Acción de Conflabilidad, se pueden hacer demandas acerca de la conflabilidad del mandante. Unir: una Acción, usada para especificar que un mandante está unido a un recurso (por ejemplo, el cual puede también ser un mandante) en términos de cláusulas hechas en el recurso (o, por ejemplo, por . ^ jñañdañt' ) ."Con la" Accióñ~"Ünidá', "'Se'púédérí "hacer demandas acerca de que 'un mandante está unido. Delegar: una Acción, usada para especificar que un primer mandante delega algún recurso (por ejemplo, el cual puede ser una cláusula) , posiblemente a un segundo mandante para actuar a favor del primer mandante . En una modalidad ejemplar, el Lenguaje de Expresión Contrato ejemplar, puede incluir una o más construcciones condición relacionadas con operadores temporales pasados ] , por ejemplo, dados por:
Válida/ [Cláusula, Demanda 1 DemandaN] : La condición Válida se satisface si el Evento y Condiciones de la Cláusula son válidas bajo las afirmaciones expresadas en la Demandal DemandaN por ejemplo, (en la parte superior del contexto actual) . Ejercida/ [Cláusula, ReferenciadeEstado, Conteo] : La condición Ejercida se satisface si la Acción especificada en la Cláusula se ha ejecutado en tiempos de Conteo y el número de ejecuciones es registrado en la ReferenciadeEstado (por ejemplo, opcional) . El conteo es opcional y cuando se omiten omisiones a uno. Lógicamente, la condición Ejercida es verdadera si el número almacenado en la ReferenciadeEstado' es mayor qu ó igual 'al 'Conteo . No Ejercida/ [Cláusula, ReferenciadeEstado, Conteo] : La condición NoEjercida se satisface si la acción especificada en la Cláusula no ha sido ejecutada en tiempos de Conteo y el número de ejecuciones se registra en la Referencia de Estado (por ejemplo, opcional ) . Lógicamente, la condición NoEjercida es verdadera si el número almacenado en la ReferenciadeEstado es menor que o igual al conteo. El Lenguaje de Expresión de Contrato ejemplar, ncluir una extensión de distribución de contenido a los elementos centrales por ejemplo, que pueden ser específicos al contenido o publicación de recurso, distribución y similares. La presente invención incluye el reconocimiento de que los contratos de publicación y distribución pueden ser algunos de los documentos más importantes involucrados en el proceso de publicación y distribución. Por ejemplo, un contrato de publicación y distribución puede ser usado para definir el ámbito del interés de un autor y un editor y gobernar derechos y obligaciones respectivas de las partes, así como también los derechos y obligaciones de las y los eventores de las partes, en la cadena de valor de publicación y distribución. En una modalidad ejemplar, un modelo semántico ejemplar para contratos basados en el Lenguaje de Expresión de Contrato ejemplar, por ejemplo, puede incluir* úh "mapeo" de un contrato a una o más posiciones lógicas, por ejemplo, programas Datalog [30] , programas Prolog [31] , los cuales tienen semánticas lógicas bien entendidas, y similares. En una modalidad ejemplar, el mapeo semántico puede ser estructural, puede ser definido basado en el modelo de datos de un contrato y similares. Ventajosamente, el modelo semántico ejemplar puede servir como una fundación para modelos de procesamientos adicionales. En una modalidad ejemplar, pueden ser empleados modelos semánticos adicionales, por ejemplo, basados en lógica avanzada, tal como lógica deóntica para el elemento otorgado 302, por ejemplo, por un derecho o un permiso, el elemento de obligación 304, por ejemplo, una obligación, debe ser o necesita hacerse, el elemento de prohibición 306, por ejemplo, una prohibición y similares. -En una modalidad ejemplar, pueden ser empleados modelos semánticos adicionales por ejemplo, basados en lógica dinámica para el elemento de acción 220, por ejemplo, acciones y similares. En una modalidad ejemplar, se pueden emplear modelos semánticos adicionales por ejemplo, basados en lógica doxástica para el emisor 214 y los elementos firmantes 210, por ejemplo, de manera que las relaciones de conflabilidad y de enlace puedan ser especificadas. En una modalidad ejemplar, se pueden emplear modelos semánticos adicionales, por ejemplo, basados en" lógica temporal™ para ejecución y no ejecución de los elementos de acción 220, por ejemplo, de manera que un remedio y una garantía pueden ser especificados. En una modalidad ejemplar, la notación empleada para el Lenguaje de Expresión de Contrato ejemplar, por ejemplo, se puede dar por: Para cualquier elemento de contrato Z dentro de un Contrato, denotado por Z/ [Zl , ... , Zm] el hecho de que Z tiene elementos m Zl, ... , Zm, y por Z@[A1, ... ,A1] el hecho de que Z tiene n atributos Al, ... ,An.
Dejar que Z sea cualquier elemento de contrato de un Contrato. Denotar por [ [Z] ] las semánticas de Z, las cuales son una serie de proposiciones lógicas posiblemente con variables universal ente calificadas (por ejemplo, cláusulas de Horn [31]). Dejar que II sea la serie de todas las proposiciones de tipo Datalog. Para cada proposición Q de la forma Q0— Ql, ... , Q (m>0) , denotado por el
Encabezado (Q) (=Q0) la conclusión de Q, y púr Cuerpo (Q) (=Q1, ... ,Qm) la hipótesis de Q. En una modalidad ejemplar, las semánticas del contrato 202 por ejemplo, se pueden dar por: Para una expresión de Contrato E de la forma E/ [D, MI, ... ,MM, SI, ... , SK] , en donde D es el Metadato, " ' AttfT.. ,??, ' ?"<?," son"las ' Promesas y SI ,SK, ?£?, son los Firmantes dentro de E:
Dejar la SLista= [SI, ... ,SK] . En una modalidad ejemplar, la semántica [ [E] ] de la expresión de contrato 202 (E) , por ejemplo, se pueden dar por : [ [E] = {Metadatos (E,D) } [ [MI] ] (Slista) ... [[MMj] (Slista) [ [SI] ] (E) ... [[SK] ] (E) {Promesade (Pl ,E) } ... {Promesa de(PM,E)} En una modalidad ejemplar, las semánticas de expresión E de contrato 202, por ejemplo, pueden incluir proposiciones que declaran las promesas (MI, ...,MM) firmadas por los firmantes 210 de la Slista, y las semánticas de los firmantes 210 (S1, ...,SK) de la Slista para la expresión E de contrato 202. Las semánticas de la expresión E de contrato 202 pueden también incluir el hecho de que cada una de las promesas (MI, ...,MM) son parte de la promesa 208 de la expresión E de contrato 202. En una modalidad ejemplar, las semánticas de la promesa 208 por ejemplo, se pueden dar por:
Dejar que M sea una Promesa de la forma P/ [Cl, ... ,CN, II,... , IL] , en donde Cl,...,CN, 1<N, son'las Cláusulas 'y'll, ~~. T'^IL," Ó<L ' son ~los"Emisores" dentro de M.
Dejar que la Ilista =[I1,...,IL] y la Slista sean la lista de Firmantes quienes firman el Contrato directamente incluyendo la Promesa M. En una modalidad ejemplar, las semánticas [ [M] ] de la promesa (M) 208, por ejemplo, se pueden dar por:
[ [M] ] (Slista) = [[Cl]] (Ilista, Slista) ...u [ [CN] ] (Ilista, Slista) [[II]] (M) ... [ [IL] ] (M) {Cláusulade (Cl,M) } ... {cláusulade (CN,M) }. En una modalidad ejemplar, dando una lista de los firmantes 210, las semánticas de la promesa (M) 208, por ejemplo, pueden incluir proposiciones que declaran las cláusulas (C1,...CN) emitidas por los emisores 214 de la Ilista, firmada por los firmantes 210 a partir de la Slista, y las semánticas de los emisores 214 (II,..., IL) para la promesa ( ) 208. Las semánticas de la promesa (M) 208 pueden también incluir el hecho de que cada una de las cláusulas (C1,...,CN), es parte de la cláusula 212 de la promesa 208 (M) . En una modalidad ejemplar, las semánticas del firmante 210 por ejemplo, se pueden dar por: Dejar que S sea un firmante. Las 'semánticas [ [S] ] ~ de
S es un mapeo de una expresión de Contrato E firmada por S a II, de manera que [ [S] ] (E) es una serie de proposiciones, algunas de las cuales tienen una Señalización de encabezado (E,S), atestiguando si o no el Firmante S es en verdad un firmante de E. La serie puede incluir proposiciones para verificar cualquier firma digital de S después de E.
En una modalidad ejemplar, las semánticas de una cláusula por ejemplo, pueden ser dadas por:
Dejar que C sea una cláusula de la forma C/ [E,M, A,R, C] . Dejar que la Ilista sea la lista de Emisores quienes emiten la Promesa directamente que incluyen a C y la Slista sea la lista de Firmantes quienes firman el Contrato directamente incluyendo la Promesa que directamente incluyen la cláusula C. En una modalidad ejemplar, las semánticas [ [C] ] de la cláusula (C) 212, por ejemplo, se pueden dar por:
[ [C] ] (Ilista, Slista) = {Cláusula (E, M, A, R, C,
Ilista, Slista).} [ [E] ] [ [M] ] u[ [A] ] [ [R] ] u[ [C] ] .
En una modalidad ejemplar, dada la lista de los emisores 214 (Ilista) y la lista de los firmantes 210 (Slista), las semánticas ~de * cláusula" 212", "por 'ejemplo, pueden incluir una proposición que declara que la semántica de la cláusula 212 es una cláusula que incluye el evento (E) 216, el mandante (M) 218, la acción(A) 220, el recurso (R) 222, la condición (C) 224, una lista de los emisores 214 (Ilista) , y la lista de los firmantes 210 (Slista) . Las semánticas de la cláusula 212 también pueden incluir las semánticas de los elementos E, M, A, R y C. En una modalidad ejemplar, las semánticas de los elementos de concesión 302, obligación 304, prohibición 306, demanda 308, e intento 310 para la cláusula 212, pueden incluir proposiciones, en lugar de la Cláusula (E, M, A, R, C, Ilista, Slista) , por ejemplo, como se da por: Concesión (E, M, A, R, C, Ilista, Slista) . Obligación (E, M, A, R, C, Ilista, Slista) . Prohibición (E, M, A, R, C, Ilista, Slista) . Demanda (E, M, A, R, C, Ilista, Slista) . Intento (E, M, A, R, C, Ilista, Slista) . En una modalidad ejemplar, las semánticas del emisor 214 por ejemplo, se pueden dar por: Dejar que I sea un Emisor. Su semántica [ [I] ] es un mapeo de una Promesa M emitida a II, de manera tal que [ [I] ] (M) es una serie de proposiciones, algunas de las cuales tienen el Emisor de encabezado (M, I) , atestiguando si o no el Emisor I es en verdad un emisor de M.' ~~La seriW puede'' incluir proposiciones, para verificar cualquier firma digital de I después de M. En una modalidad ejemplar, el evento (E) , los elementos de cláusula 216, por ejemplo, pueden incluir una condición. En una modalidad ejemplar, las semánticas [ [E] ] de la condición del evento 216, por ejemplo, se pueden dar por: Si E es un caso de Evento, entonces [[E]] = e{[E]J en donde e [O] es un mapeo de casos de Eventos a II, de manera que para cada caso de Evento E, e [ [E] ] es una serie de proposiciones, algunas de las cuales tienen el Evento de encabezado (E) , atestiguando si o no ocurre el Evento E. Si E - EnEjecución/ [Cláusula/ [E, M, A, R, C] , Demanda 1, ..., Demanda N] , entonces [[EJ] = {Evento(E) f-Demanda (E, M, A, R, C, Ilista, Slista), Demanda (El, MI, Al, Rl, Cl, Ilistal, Slistal) , ... Demanda (EN, MN, AN, RN, CN, IlistaN, SlistaN) .} [ [Demandal] ] ... [ [DemandaN] ] . Si E = TodoslosEventos/ [El, ... , En] , entonces [ [El ] = {Evento (E) -(-Evento (El) , ... , Evento (En) . } [ [El] ] U... [ [En] ] . Si E = CualquierEvento/ [El, ... , En] , entonces [ [E] ] = {Evento (E) -(-Evento (El) . } ... . {Evento (E) <- (En) .} [[El]] . [ [En]] .~ Si E está vacío (u omitido) , entonces [ [E] ] = {Evento (O) .} . Por ejemplo, esta condición es siempre sugerida.' En una modalidad ejemplar, el mandante (M) 218, por ejemplo, puede ser una entidad única, una serie de entidades y similares. En una modalidad ejemplar, la semántica [ [M] ] del mandante 218, por ejemplo, se puede dar por: Si M es un caso de Mandante, entonces [[M]] = mí [Mil, en donde m [o] es un mapeo de casos de Mandantes a II, de manera tal que para cada caso de Mandante M, m [ [M] ] es una series de proposiciones, algunas de las cuales tienen el encabezado IgualarM(?,?) , atestiguando si o no la entrada X se iguala contra el Mandante M. Por ejemplo, si M es el mandante Titular clave XrML, su semántica incluye la proposición IgualarM(X,M) <— X = M, por ejemplo, X se iguala contra M si X como una expresión XML es sintácticamente" igual a M (por ejemplo, sujeto a alguna canonicalización de XML) .
Si M = TodoslosMandantes/ [MI , ... ,??] , entonces [ [M]] = {IgualarM(X, M) - IgualarM(X, MI) , ... , · IgualarM(X, Mn.} [[MI]] O... [[Mn]] ' "
Si M= CualquierMandante/ [MI , ... , Mn] , entonces [[M]] ={lgualarM(X, M) - IgualarM(X, MI) . } ... {lgualarM(X, M) <- IgualarM(X, Mn).} [ [MI] ] ...u[ [Mn] ] .
Si M = AFavordelMandante/ [mi , 2] , entonces [ [M] ] = {lgualarM(X, M) <- IgualarM(X, MI), Demanda (E, MI, delegada, M2, C), Evento (E) , Cond. (C) .} [ [MI] ] [ [M2] ] .
Si M está vacío (o, por ejemplo, omitido) , entonces [ [M] ] = (lgualarM(X, ?) . ) . Por ejemplo, la entrada X se iguala contra cualquier Mandante.
En una modalidad ejemplar, la acción (A) 220, por ejemplo, puede incluir una acción única, una serie de acciones y similares. En una modalidad ejemplar, la semántica [[A]] de la acción 220, por ejemplo, se puede dar por:
Si A es un caso de Acción, entonces [[A]] = a[[A]]r
'-..· en donde a [O] es un apeo de caso de Acciones a II, de manera tal que para cada caso de Acción A, a [ [A] ] es una serie de proposiciones, algunas de las cuales tienen el encabezado IgualarA(X, A), atestiguando si o no la entrada X se iguala contra la Acción A. Por ejemplo, para la acción de Reproducir XML, su semántica incluye la proposición IgualarA(X, A) — X =A. En general, la semántica de Reproducir puede también incluir proposiciones que igualan más versiones restricti as de la Reproducción (por ejemplo, tal como Reproducción de ReproduceiónSilente- sin salida de audio) , contra la Reproducción.
Si A = TodaslasAcciones/ [Al An] , entonces [[A]] = (IgualarAiX, A) <- IgualarA (X, Al),..., IgualarAiX, An) .} [ [Al] ]u... [ [An] ] .
Si A = CualquierAcción/'[Al, ... ,??] , entonces [[A]] = {IgualarAiX, A) <- IgualarAiX, Al).} ... (IgualarAiX, A) - IgualarAiX, An).} [[Al]] ... [[An]] .
En una modalidad ejemplar, el recurso (R) 222, por ejemplo, puede incluir un recurso único, una serie, de, recursos y similares. En una modalidad ejemplar, la semántica [ [R] ] del recurso 222, por ejemplo, se puede dar por:
Si R es un caso de Recurso, entonces [[R]] = r [[R]], en donde r [o] es un mapeo de casos de Recursos a II de manera tal que para cada caso de Recurso R, r [ [R] ] es una serie de proposiciones, algunas de las cuales tienen el encabezado IgualarR(X, R) , atestiguando si o no la entrada X se iguala contra el Recurso R.
R = TodoslosRecursos/ [Rl , ...Rn] , entonces [ [R] ] = {IgualarRiX, R, ) <- IgualarRiX, Rl), ..., IgualarRiX, Rn) . } [ [Rl] ] ... [ [Rn] ] .
Si R = CualquierRecurso/ [Rl, ...Rn] , entonces í [R] ] = {IgualarRiX, R) <- IgualarRiX, Rl) . } ... {IgualarRiX, R) ~ IgualarRiX, Rn).} { [Rl]] ... [ [Rn]] .
Si R está vacío (u omitido), entonces { [R] ] = {igualarRiX, ?) <- falso.}. Por ejemplo, la entrada se iguala contra cualquier Recurso.
En una modalidad ejemplar, la condición (C) 224 , especifica una condición en donde la semántica [ [C] ] de la condición 224, por ejemplo, se puede dar por:
Si C es un caso de condición, entonces [[C]J = c[[C]],
en donde c [O] es un apeo de casos de Condiciones a II, de manera tal que para cada caso de Condición C, c [ [C] ] es una serie de proposiciones, algunas de 1 cuales tienen el encabezado Cond(C) , atestiguando o no la Condición C se sugiere.
Si C = TodaslasCondiciones/ [Cl, Cn] , entonces [ [C] ] = (Cond(C) <- Cond(Cl) , ... ,Cond(Cn) .} [[Cl]]u... [[Cn]] .
Si C = CualquierCondición/ [Cl , ... , Cn] , entonces [ [C]] = (Cond(C) <- Cond(Cl) . } ... {Cond(C) Cond(Cn) . } [ [Cl] ] ...U[ [CnJ] .
Si C está vacío (u omitido), entonces [ [C] ] = (Cond(O).}. Por ejemplo, esta condición siempre se sugiere.
Los siguientes contratos, obligaciones, prohibiciones, intenciones, afirmaciones, y similares, ejemplares, ayudan a ilustrar la expresividad del Lenguaje de Expresión de Contrato ejemplar. Ventajosamente, las modalidades ejemplares por ejemplo, permiten la expresión de exclusividad, permiten la expresión de preferencia para ayudar a resolver conflictos y multiplicidades potenciales, permiten la expresión verdadera y políticas unidas, y similares.
En una modalidad ejemplar, una referencia servicio de Red, por ejemplo, puede ser dada por:
"El servidor de distribución dejbe referirse a cualquier petición de música en el www.somer tailer.com."
La referencia del servicio de Red ejemplar, puede ser expresada usando el Lenguaje de Expresión de Contrato ejemplar, por ejemplo, empleando una extensión, "refx", para la extensión de referencia, que define el elemento del evento 216, "recibeCR" , el elemento de acción 220, "redirecciona" , con el elemento de restricción, "rédireccionaA" , el elemento de recurso 222, "petición", y el elemento de condición" 24 , "RéstriVcióndépe'ti'ción" ,~ por ejemplo, como se da por:
< contrato <promesa> <obligación> <refx : recibeCR/> +<r: titular clave de licenciaPartld = "Servidor de Distribución" > <refx: redirección> <refx : redi ecciónA> <r:Referenciadeservicio> <r: uddi> <Clavedeservicio> <uuid>12345678-1234-1234-1234-123456789abc</uuid </Clavedeservicio> </r:uddi> <r:Parámetrosdeservicios> <r: datos> <sitio de red url= www. someretailer. com"/> </r: datos> <r: datos> <refx:petición de licencia PartIdRef= "CR"/> </r:datos> </r: arómetrosdeservicio> </r:Réferénciádeservicio> ' ~ " "' " ' ~ </refx:redireccionadoA> </refx: redireccionadc» <refx:petición de HcenciaPartId= "CR"/> <refx:Restriceióndepetición> <r:Exprésiónxml>/'TIPO = "música" </r:Expresiónxml> </refx:Restriceióndepetición> </obligadón> <promesa> licencia de fir antePartld = "editor"> +<dsig:Firma> <detalles> <tiernpoDeEmisión>2001-ll-llTll :11 :ll</tiempoDeEm sión> </detalles> </firmante> <licencia de firmantePartld - ndistribuidor"> +<dsig : Fir a> <detalles> < tiempoDemisión>2001-ll-11??1 :11 :ll</tiempoDeEmisión> </detalles> </firmante> </contrato
En una modalidad ejemplar, bienes para ventas, por ejemplo, se pueden dar por:
"Alicia debe vender su casa a Bob si él paga a ella US $500,000. "
Los bienes para ventas ejemplares, pueden ser expresados usando el Lenguaje de Expresión de Contrato ejemplar, por ejemplo, empleando una extensión "rex" , para la extensión de estado real, que define el elemento de evento 216, "recibodePago" , el elemento de acción 220, "venta", con la restricción "ventaA" y el elemento de recurso 222, "propiedad" por ejemplo, como se da por: < contrate» <promesa> <oblígación> <rex:recibodePagc» <sx:pagoFijo> <sx:valor de Códigoactual = nDLS">500000</sx:valor>
</sx:pagoFijo> <sx:a> < .'—cuenta de banco de Alicia --> <sx:aba> <sx: instituto>123456789</sx: instituto> <sx: cuenta de banco>0987654321</sx: cuenta> </sx:aba> * </s :a> " ~ * " " " " ' ' _ "
</rex: recibodePago +<re: titular clave de licenciaPartld = nAlicia"> <rex: vender> <rex: venderA> +<r:TitularClave de licencia Partid = nBob"> </rex: venderA> </rex: vender> <rex:propiedad de licenciaPartld = "CasadeAlicia"> <rex: ubicación> <rex:dirección>ALGUNA DIRECCIÓN</rex:dirección> < /rex: ubicación> </rex :propiedad> </obligación> <promesa> <licencia de firmantePartld = "Alicia "> +<dsig: Firma> <detalles> < tiempodeEmislón>2001-ll-llTll ;11 : ll</TiempodeEmisión> </detállese</firmante> <licencia de firmantePartld = ?\??£>"> +<dsig :Firma> <detalles> < tiempodeEmisión>2001 -11-11T11:11:1</tiempodeEmisión> ~~ ' * "</detáÍles> - · ¦ - ¦-.- - ¦ - -· "- » — '- ~-- ... </firmante> < /contrate»
En una modalidad ejemplar, una porción de un contrato de renta mensual de departamento, por ejemplo, se puede dar por:
nEn el primer día de cada mes durante el término de vigencia del contrato, Alicia debe pagar a Bob US US $600 por la renta del departamento. Si Alicia no realiza el pago, Bob tiene el derecho a desalojarla del departamento"
En una modalidad ejemplar, un contrato se puede establecer basado en la expresión anterior y por ejemplo, puede incluir:
obligación : Alicia debe pagar a Bob US $600 el primer día de cada mes, desde Enero 1 de 2001. obligación: Bob debe permitir a Alicia vivir en el departamento por cada mes que pague la renta. concesión: Alicia puede vivir en el departamento cada mes que ella pague la renta. concesión: Bob puede desalojar a Alicia si ella no " paga la renta"' (por' ejemplo;' incumplimiento rde la obligación de pago) .
La porción ejemplar de un contrato de renta mensual de departamento, se puede expresar usando el Lenguaje de Expresión de Contrato ejemplar, por ejemplo, como se da por:
<contrato> <promesa> <obligación> <sx: validezdeTiempoPeriódico> <sx: inicio2001-01- 01T00 : 00 : 00</sx: inicio <sx:periodoP1M</sx:periodo <sx: duración>PlD</sx: duración> </sx: validezdeTiempoPeriódicc» +<r: Titularclave de licenciaPartId= "Alicia "> <rex:pago> <sx: validezdeTiempoPeriódicc» < sx: duración>PlD</'s : duración> </sx: validezdeTiempoPeriódico> </rex:pago> <rex: tasa> <sx:pagoFijo> <sx:valor de códigoActual = "DLS">1000</sx:valor> </sx:pagoFijo> <SX:a>~ ' ' ~ --' : ~- <!-- cuenta de banco de Bob-- > < sx: aba> <sx: insti tuto>123456789</sx: insti tuto> <sx: cuenta de banco>0987654321</sx: cuenta> </sx:aba> </sx: a> </rex: tasa> </obligación> <obligación> +<re: titular clave de licenciaPartld = "Bob"> < rex : ren ta/ > <rex: propiedad de licenciaPartld = "Departamento'^ < rex :ubicación> <rex:dirección>ALGÜNA DIRECCIÓN</rex: dirección> /rex: ubicación> < /rex :propi edad> <r: todaslasCondiciones> <obligacióndecumpliirdento de licenciaPartld nAliciaPaga"> <r: titular clave de licenciaPartldRef = "Alicia" /> < rex: ago/ > <rex:tasa> < sx : pagoFi jo> <sx:valor de Códigoactual= nDLS">1000</sx:valor> *" " " < /sx : pagoF i j o> ' " ' ' " " " ' ~ <sx:a> <!-- cuenta de banco de Bob --> <sx:aba> <sx: insti tuto>123456789</sx: insti tute» <sx:cuenta> 0987654321< /sx: cuenta> </sx:aba> </sx:a> </rex:tasa> <sx: validezdeTiempoPeriódico> <sx: inicio>2001-01-01T00 : 00 : 00</sx: inicie» < sx :periodoPIM</s :periodo <sx : duración>PID</sx: duración> </sx :validezdeTiempoPeriódico> </cumplimi entodeObligación> < ex : ren taA> <r: ti tularclave de HcenciaPartIdRef= "Alicia"/> </rex: rentaA> </r: todaslasCondiciones> </obligación> <concesión> <r: ti tularclave de HcenciaPartIdRef= "Alicia"/> <rex : viveEn/> <rex:propietario de licencia PartIdRef= "Departamento"'/> <cumplimientodeObligación de HcenciaPartIdRef= '™ ~"A~lTciaPaga"/~> ' "~~ " ~~~ ' ' ; * ¦·'-"' </concesión> <concesión> <r: ti tularClave/> <rex: evacuar/> <rex: titularClave/'> <r: todaslasCondiciones> <ObligacióndeInfracción> <r: titularClave de HcenciaPartIdRef= "Alicia"/> <rex:pago/> <rex:tasa> <sx:pagoFijo> <sx:valor de Códigoactual= nDLS">1000</sx:valor> </sx:pagoFijo> < sx: a> <!-- cuenta de banco de Bob --> <sx:aba> <sx: insti tuto>123456789< /sx; insti fcuto> <sx:cuenta> 0987654321</sx: cuenta> < /sx: aba> </sx:a> </rex: tasa> <sx: validezdeTiempoPeriódico> <sx: inicio>2001-01-01T00 : 00: 00< /sx: inicio> < sx :periodo>PIM< /sx:periodo> - ¦" - '<sx)"duración>PID</sx:dúracióñ> ~ ' "' ~— -- - </sx: validezdeTiempoPeriódico> < /cumplimientodeObligación> <rex : evacuadaDe> <rex:propietario de licenciadePartldRef= "Departamento"'/> </rex: evacuadaDe> </r: todaslasCondiciones> </concesión> /pr-ornesa> licencia de fi mantePartId= "Alicia"> +<dsig : Firma> <detalles> < tiempodeEmi sión>2000-11 -llTll : 11 : 11</tiempodeEmisión> </detalles> </firmante> <licencia de firmantePartId= "Bob"> +<dsig: Firma> <detalles> < tiempodeEmisión>2000-ll^llTll : 11 : 11 : </tiempdeEmisión> </detalles> </fírmante> </contrato
Por ejemplo en una modalidad ejemplar, una obligación que un minorista en línea debe pagar cargos de ' "transmisión," se * puede" dar por : — -:--~-L-" ¦¦-¦'¦*-·- ---
"Yahoo! Debe pagar 0.05 de recibos a AT&T por todas las ventas que cumplan con el criterio, 1) el producto es un libro electrónico, y 2) la dirección de factura de los clientes está en Estados Unidos".
Por consiguiente, está obligado a que, en el caso de cualquier transacción de venta conducida por Yahoo!, Yahoo! paga a AT&T 0.05 de los recibos, cuando el producto es un libro, electrónico y la dirección de factura del cliente esté en los Estados Unidos. El servicio de obligación ejemplar puede ser expresado usando el Lenguaje de Expresión de Contrato ejemplar, por ejemplo, como se da por:
<obligación> <umg:licencia deventadeEventodeTransaciónenYahood Partld= 'Venta"/> <cpx: compañía>Yahoo!</cpx: compañía> <cpx:pago/> <cx:destino> <!-- AT&T como un titular clave--> <r: titularClave> ...</r: titularClave/> </ex:destino> </cpx:pago> ~~<csx:PagodeMarcade€ransacción>~ ~ """ " ·- '- ~- · —- ' ·'-- -- <cx:valor>0.05</cx:valor> <umg:licencia de ventadeEventodeTransaccióneYahoo PartIdRef= "venta"/> </csx:PagodeMarcadetransacción> <r: todaslasCondiciones> <umg: TipodeProductodetransacción>libro- electrónico</umg: TipodeProductodetransacción> <umg:Direccióndefacturacióndetransacción> <sx:país>US</sx:país> </umg:DireceióndeFacturaciondetransacción> </r: todaslasCondiciones> </obligación>
En una modalidad ejemplar, una obligación de certificación por ejemplo, se puede dar por:
"Cada revisión del lector de medios se puede proporcionar vía HREV, por Haxor, Inc."
Por consiguiente, es obligatorio que, en el evento de liberación de una revisión de lector de medios, Microsoft proporciona el lector de medios a Haxor, Inc., usando el protocolo HREV. Alternativamente, Haxor, Inc., puede ser tratado como un servicio de certificación y la comunicación "con "el servicio es" vía el protocoló- HREV. La~"obligación =de certificación ejemplar puede ser expresada usando el Lenguaje de Expresión de Contrato ejemplar, por ejemplo, como se da por :
<obligración < .' - - Define una variable por cualquier revisión del lector de medios liberado por Microsoft --> <para Todos los Nombresdevar = "lectordeMedios"> <Exprésiónxml>//mpeg21 :DIDL/mpeg21 :ITEM/ peg21 :DESCRI PTOR/mpeg21 :DECLARACIÓN/mpeg7.-Mpegl/mpegl : Unidad de Descripción/mpegl: Creación/mpeg7 : Creador[mpegl:Función /@href=nurn :mpeg:mpeg7 : es :MPEG7FunciónCS :EDITOR"] /mpe g7.-Organización/mpeg7.-Nombre- "Microsoft" && //mpeg21 :DIDL/mpeg21 :ITEM/mpeg21 :DESCRIPT0R/mpeg21 :DE CLARACIÓN/mpeg7 :Mpeg7/mpeg7: Unidad de Descripción/mpeg7 : Creación/mpeg : Título - "Lector de Medios" </Exprésiónxml> </para odos> <umg: eventodeLiberacióndeProductoPorMicrosoft/> <r:recurso Refvar= "lector deMedios"/> </umg: eventoDeLiberacióndeProductoPorMicrosoft> <.'-- Microsoft como un titular clave --> <r: titularClave> ... </r: ti tularClave/> <cx:copia/> .. . ;. _r . - .- - „· -.: -. - . · ,
<ex: destino <!—Haxor como un titular clave --> < : ti tularClave> ... </r: titularClav /> </ex:destino> <cpx:protocolo HREV </cpx:protocolo> </cx: copia> <r:recurso Refvar= nlectordeMedios"/> </obligación> En una modalidad ejemplar, una obligación de referencia por ejemplo, se puede dar por:
^Cualquier referencia requerida por un consumidor actualmente . en Japón, debe ser redireccionada al servicio de referencia NTT para resolución."
Por consiguiente, "en Japón", puede ser definido por la ubicación del peticionario al tiempo de la petición, y cualquier petición de referencia a partir de un consumidor actualmente en Japón, debe ser redireccionada al servicio de referencia NTT. La obligación de referencia ejemplar se puede expresar usando el Lenguaje de Expresión de Contrato ejemplar, por ejemplo, " co"mo"se" da por:' " "' " "' -
<obligación> <refx: recibeCR/> +<r:titularClave de HcenciaPartId= "Servidor de Distribución"> <refx : redireceionar> <refx: redireceionarA> <r: licencia deref renciadeservicioPartld = "Re erenciadeServcioNTT"> <r:uddi> <clavedeservicio> <uuid>12345678 -1234 -1234 -1234 -123456789abc</uuid> </clavedeServicio> <r/:uddi> <r: Parametrosdeservícic» <r:datos> <refx:petición de licenciaPartldRef= uCR"/> </r: datos> </r: Parametrosdeservicio> </r:Referenciadeservicic» </refx:redireccionadoA> </refx: redireccionado> <refx:petición de licenciaPartld= "CR"/> <refx:Restriccióndepetición> <e : terri torio <cx: úbicacióh> ~ . ' ~" - - - - - - <cx:país>JP</cx:país> </ex: ubicación> </ex: terri torio> </refx:Restriccióndepetición> </obligación>
En una modalidad ejemplar, ' un dispositivo de reproducción puede ser prohibido o desaprobado, por ejemplo, como se da por : ??? ?45 está prohibido para reproducir cualquier contenido de UMG"
La prohibición o desaprobación ejemplar anterior, por ejemplo, se puede dar por:
Está prohibido que cualquiera reproduzca cualquier contenido de UMG, cuando el reproductor es el dispositivo Z45.
La prohibición o desaprobación ejemplar anterior se' puede expresar usando el Lenguaje de Expresión de Contrato ejemplar, por ejemplo, como se da por:
<prohibición> <!-- Define una variable por cualquier contenido publicado por UMG --> <para Todos los No bresdevar = "ContenidodeUMG"> <Exprésiónxml>//mpeg21 :DIDL/peg21 : ITEM/mpeg21 :DESCRI PT0R/mpeg21 :DECLARACIÓN/mpeg7:Mpeg7/mpeg7: Unidad de Descripción/mpeg?:Creación/mpeg7 : Creador[mpeg :Función /@href= nurn: peg: peg7:es:MPEG7FunciónCS:EDITOR"] /mpe g7 : Organizadón/mpeg7 :Nombre= nUMG" </Exprésiónxml> </paraTodos> <e :reproducir/> < :recurso Refvar= "ContenidodeUMG"/> <cx:reproductora <cpx:tipo de dispositivo> "Z45"/> </cx:reproductora </prohibíción>
La prohibición o desaprobación ejemplar anterior por ejemplo, se puede dar también por:
Está prohibido que cualquiera use el dispositivo de reproducción Z45 para reproducir cualquier contenido de UMG.
La prohibición o desaprobación ejemplar anterior puede ser expresada usando el Lenguaje de Expresión de Contrato ejemplar, por ejemplo, como se da por:
<prohibición> <! --Define una variable por cualquier contenido publicado por IMS —
<para Todos los No bresdevar = nContenidodeUMG"> <Expresiónxml>//mpeg21 :DIDL/mpeg21 :ITEM/mpeg21 :DESCRI PT0R/mpeg21 :DECLARACIÓN'/mpegl :Mpeg7/mpeg7 : Unidad de Descripción/mpeg7.-Creación/mpeg7 : Creador [mpeg7:Función /@href= "urn:mpeg:mpeg7 : s :MPEG7Funciones:EDITOR"]/mpe gl : Organización/ pegl :Nombre= "U G" </Exprésiónxml> </paraTodos> < ex: reproducir/> <ex:reproductor> <cpx:tipo de dispositivo nZ45"/> </cx:reproductor> </cx: reproducir> <r: recurso Refvar= "ContenidodeUMG"/> </prohibición> En una modalidad ejemplar, las ventas de una clase de contenido en un país, pueden ser prohibidas o desaprobadas por ejemplo, como se da por:
"Ventas de películas de clasificación R en donde el comprador está actualmente ubicado en Finlandia, están prohibidas". La prohibición o desaprobación ejemplar anterior por ejemplo, se puede dar por:
Está prohibido que cualquiera en Finlandia, obtenga cualquier película de clasificación R. La prohibición o desaprobación ejemplar anterior se puede expresar usando el Lenguaje de Expresión de Contrato ejemplar, por ejemplo, como se da por: prohibíción> <.'-- Define una variable para cualquiera de las películas de clasificación R --> <paratodos los Nonbresdevar = nPelículaDeclasificaciónR"> <Expresiónx l>//mpeg21 :DIDL/mpeg21 :ITEM/mpeg21 : DESCRIPT0R/mpeg21 :DECLARACIÓN/mpaa :valor= "i?"</Exprésiónxml> </paratodos> <r:obtener/> <r.-recurso Refvar= "PelículaDeclasificaciónR"/> <sx: terri torio> <sx: ubicación> <sx:país>FI</sx:país> </sx:ubicación> </sx: territorio> . </prohibición>
La prohibición o desaprobación ejemplar anterior, por ejemplo, también se puede dar por: Está prohibido que cualquier persona venda a cualquiera en Finlandia cualquier película de clasificación R. La prohibición o desaprobación ejemplar anterior puede ser expresada usando el Lenguaje de Expresión de Contrato ejemplar, por ejemplo, como se da por: <prohibición> < ! - -Define una variable para cualquiera de las películas de clasificación R--> <paratodos los Nombresdevar = "PelículaDeclasificaciónR"> <Expresiónxml>//mpeg21 :DIDL/mpeg21 : ITEM/mpeg21 : DESCRIPTOR/mpeg21 :DECLARACIÓN/mpaa : alora *R"< /Expr siónxml> </paratodos> < cpx : ender> <cpx: comprador> <sx:ubicación> < sx:paíS>FI</sx :país> </sx :ubicación> </cpx: comprador> ... </cpx: venta> i _ , . , ^ _ - - . <r: recurso varReg= "PelículaDeclasificaciónR"/> </prohibióión> En -una modalidad ejemplar, la codificación puede prohibida o desaprobada, por ejemplo, como se da por:
nEl contenido de UMG de los n40 mejores", nunca debe ser codificado a más de 8 bits de resolución"
Por consiguiente, está prohibido que cualquiera codifique a más de 8 bits de resolución, cualquier contenido de UMG, cuando el contenido está en la lista de los mejores 40. La prohibición o desaprobación ejemplar, puede ser expresada usando el Lenguaje de Expresión de Contrato ejemplar, por ejemplo, como se da por: <prohibición> <!-- Define una variable por cualquier contenido publicado por UMG --> <para Todos los Nombresdevar = nContenidodeUMG"> <Exprésiónxml>//mpeg21 :DIDL/mpeg21 : ITEM/mpeg21 :DESCRI PTOR/mpeg21 :DECLARACIÓN'/mpegl.-Mpegl/mpegl : Unidad de Descripcíón/mpegl : Creación/ pegl : Creador [mpeg :Función /@href="ur .- peg.-mpegl : es :MPEGlFunciónCS :EDITOR "] / pe g7.-Organización/mpegl :Nombre= "UMG" </'Exprésiónxml> </paraTodos> <cpx cqdificar/> < .'—Se asume que el intervalo de resolución está especificado como 8, 12, 8-12 ([8,12]), -12 (<=12) , 8-(>=8)--> <cx:unidad de intervaloderesolución = "bit">8- </cp : Intervaloderesolución> </cpx: codificar> <r:recurso Refvar= nContenidodeUMG"/> <umg: contenidolos40mejores/> </prohibíción> En una modalidad ejemplar, una intención de reproducir una canción usando una aplicación de reproducción por ejemplo, se puede dar por:
"Alicia desea reproducir cualquier contenido de UMG usando el lector de medios de Microsoft" .
Por consiguiente, se pretende que Alicia reproduzca cualquier contenido de UMG, usado el lector de medios de Microsoft como la aplicación de reproducción. El intento ejemplar puede ser expresado usando el Lenguaje de Expresión de Contrato ejemplar, por ejemplo, como se da por:
<intento> ' " < 7 - ^'D fine 'üná~ variable" por-cualquier' contenido publicado por UMG -- <para Todos los Nombresdevar - *ContenídodeUMG"> <Expresiónxml>//mpeg21 :DIDL/mpeg21 : ITEM/mpeg21 :DESCRI PT0R/mpeg21 :DECLARACIÓN mpegl.-Mpegl/mpegl : Unidad de Descripción/mpegl : Creación/mpeg : Creador [mpegl :Función /@href= nurn i peg.-mpegl :cs :MPEG1FunciónCS:EDITOR"] /mpe gl :Organización/mpegl :Nombre= "UMG" </Exprésiónxml> </paraTodos> +<r: ti tularClave de HcenciaPartId= "Alicia"> < e .·reproduci /> <ex: reproductor> <cpx: tipo de aplicación^ "Lector de Medios de Microsoft"/> </cx:reproductor> </ex: reproducir> <r: recurso Refvar= ^ContenidodeUMG"/> </intente»
En una modalidad ejemplar, un certificado por ejemplo, se puede dar por:
"El titular clave tiene el nombre de Alicia".
Por consiguiente, se demanda que el poseedor titular " clave-" posea el atributo "de""nombre" con - el - valor de" Alicia. La demanda ejemplar puede ser expresada usando el Lenguaje de Expresión de Contrato ejemplar, por ejemplo, como se da por:
<demanda> +<r: titularClave de HcenciaPartId= nAlicia"> <cxs :posee/> < sx:Nombrecomún>Alicia</sx:Nombrecomún> </demanda> En una modalidad ejemplar, un estado de uso por ejemplo, se puede dar por:
"Alicia reproduce la canción en el año 2001"
Por consiguiente, se demanda que Alicia reproduzca la canción a partir del 1 de Enero al 31 de Diciembre de 2001. La demanda ejemplar puede ser expresada usando el Lenguaje de Expresión de Contrato ejemplar, por ejemplo, como se da por : <de anda> +<r: titularClave de HcenciaPartId= nAlicia"> <cx: reproducir/> <r: recurso de HcenciIdRef= "unaCanción"'/> " ' <Intervalodevalidez> ¦-¦ '- - - · -'-* — ': · — -"· ~r~-" - " —
<noAntesde>2001-01-01T00 : 00: 00 :</noAntes> <noDespuésde>2001-12-31T23 : 59 : 59:</noDespuésde> </lntervalodevalidez> </demanda>
En la modalidad ejemplar, el Lenguaje de Expresión de Contrato ejemplar, puede ser usado para especificar una cláusula de contrato, por ejemplo, de una manera mutuamente exclusiva, en una manera que no permita que ocurra cualquier cosa y similares. Por ejemplo, el Lenguaje de Expresión de Contrato ejemplar, puede ser usado para expresar un contrato que puede especificar que alguien tiene un derecho exclusivo para publicar un trabajo digital, y un usuario invitado, tal como un usuario invitado no registrado, pueda solamente examinar un área pública del sitio de Red correspondiente . En las modalidades ejemplares, la cláusula del Lenguaje de Expresión de Contrato 212, puede ser moldeada usando el modelo EMARC. Por · consiguiente , la cláusula 212 puede ser moldeada con el evento 216, la demanda 218, la acción 220, el recurso 222 y la condición 224. En una modalidad ejemplar, la exclusividad o "solamente" restricción, pueden variar de un elemento a otro. Por ejemplo, redireccionando una referencia de contenido (CR) que se origina "solamente" a partir de una fuente particular, es ~diferéhte^dé: "sól:áment " redirecciOnar y-:-no--hacer -nada .r ' En" una modalidad ejemplar, por ejemplo, la restricción formadora puede ser especificada con una lista exclusiva de recursos que originan el CR, mientras la última restricción puede ser especificada con una lista exclusiva de acciones. Ventajosamente, la expresividad del Lenguaje de Expresión de Contrato ejemplar, para especificar permisos, obligaciones, prohibiciones y similares, también permite especificar cláusulas de "solamente" un tipo. En una modalidad ejemplar, la expresividad para exclusividad por ejemplo, se puede dar por:
Dejar que E, M, A, R y C sean algún Evento, Demanda, Acción, Recurso y Condición . Dejar que C, O, y P sean Concesiones, Obligaciones y Prohibiciones respectivas, que incluyen E, M, A, R, C. Suponiendo que X e{E, M, A, R, C} es un componente que necesita ser exclusivo. Dejar que C (X) denote la Concesión con X sin que sea exclusiva, y C[X] la Concesión con X exclusiva, por ejemplo, C es solamente para X. De manera similar, se pueden dar 0(X), O [X] , P(X), y P [X] . Entonces, las cláusulas del tipo "único", pueden ser expresadas usando combinaciones de Cláusulas no exclusivas, como sigue C [X] = C(x) ? P (~X) - una Concesión con X exclusiva, es equivalente a una Concesión con X no exclusiva y ' una Prohibición con ~X (sin X) -,· no exclusiva - ¦ -" · -·· - 0[X] = 0(X) ? C (~x) - una Obligación con X exclusiva es equivalente a una Obligación con X no exclusiva y una nueva C con ~X (sin , X) no exclusiv . Aquí, C es el mismo que C, excepto que reemplaza la Acción A en C con ~A (la Acción no se hace en A) . P[X] = P(X) ? C (~X) - una Prohibición con X exclusiva es equivalente a una Prohibición con X no exclusiva y una Concesión ~X (sin x) no exclusiva.
En una modalidad ejemplar, las reglas anteriores, se pueden dar por : C [X] o P[~X] - una Concesión con X exclusiva es equivalente a una Prohibición con ~X exclusiva . En una modalidad e emplar, una forma de "azúcar sintáctica" para exclusividad, se puede proporcionar ventajosamente. Por ejemplo, cada elemento de la cláusula 212 puede ser argumentado con un atributo adicional, pero opcional de una exclusividad de tipo Booleano, para indicar si o no el elemento es exclusivo. En una modalidad ejemplar, el atributo de exclusividad puede tomar como una omisión, un valor falso, y cunado el atributo de exclusividad es especificado con "Exclusividad = Verdad" , el elemento correspondiente puede ser especificado por ser exclusivo. El atributo*" d " exclusividad puede- '-ser "considerado - "azúcar-sintáctica" debido a que se puede emplear una transformación de normalización para convertir cláusulas exclusivas, por ejemplo, con el atributo siendo verdadero, sin cláusulas no exclusivas, basadas en reglas de exclusividad ejemplares. En una modalidad ejemplar, ún vendedor exclusivo en un territorio, por ejemplo, se puede dar por: "Lycos es el único vendedor autorizado de "Recuerdo a Mamá" en Australia. Por consiguiente, se concede que Lycos venda "Recuerdo a Mamá" en Australia, y se prohibe cualquiera que sea, por ejemplo, distinto de Lycos, que venda en Australia. La concesión y prohibición ejemplar pueden ser expresados usando el Lenguaje de Expresión de Contrato ejemplar, por e emplo, como se da por:
<concesión> <cpx:compañía>Lycos</cpx:compañía> < cpx: venta/> <r:recurso de HcenciaIdRef= "unaCanción"/> <sx : territorio <sx:ubicación> <sx:país>AU</sx:país> </sx: uhi cación> </sx: territorio — '¦- ¦" - "</coneesión>— —- ---- ¦¦¦-·.-_ -.^i..»- _· </prohibióión> <paratodos los Nombresdevar= *otrasCompañías"> <Expresiónxml>//cpx: compañía ! ="Lycos</Expresiónxml> </paraTodos> <r.-mandante Refvar= "OtrasCo pañías"/> < cpx: venta/'> <r: recurso de lícenciaIdRef= nunaCanción"/> <sx: territorio> <sx:ubicación> <sx:país>AU /sx:país> </sx: ubicación> </sx: ter i orio> </prohibíción>
En una modalidad ejemplar, las clases de productos exclusivos por ejemplo, se pueden dar por: nMGM permite ventas a minoristas de la clase plateada de solamente películas de más de 2 años"
Por consiguiente, se concede que cualquier minorista de la clase plateada, pueda vender cualquier película de más de 2 años, y también se prohibe que cualquier minorista de clase plateada, venda cualquier película de menos de 2 años. Por ejemplo, el "minorista de la clase plateada" ,' "cualquier película de más de 2 años" -y -"cualquier película de menos de 2 años" , se pueden especificar usando el Lenguaje de Expresión de Contrato ejemplar. La concesión y prohibición ejemplar, pueden ser expresados usando el Lenguaje de Expresión de Contrato ejemplar, por ejemplo, como se da por:
<concesión> <paratodos los Nombresdevar= "Películasde2Años" /> <paratodos los Nombresdevar= "Minoristadeplateada" /> <cpx: compañía Refvar= "Minoristadeplateada" /> <cpx:venta/ <r: recursos Refvar= "Películasde2Años" /> </concesión> <prohibición> <paratodos los Nombresdevar= "Películasde enosde2Años"/>
<paratodos los Nombresdevar= "Minoristadeplateada" /> <cp : compañía Refvar= "Minoristadeplateada"/> ¦ccpx:venta/> <:recursos Refvar= "PelículasdeMenosde2Años"/> </prohibición>
En una modalidad ejemplar, las clases de productos exclusivos por ejemplo, también se pueden dar por:
~ "MGM ~permíte~~~ventas~-de- películas -de más -A_e .2, años solamente por minoristas de la clase plateada"
Por consiguiente, se 'concede que cualquier minorista de la clase plateada, pueda vender cualquier película de más de 2 años, y también se prohibe que cualquier minorista que no sea de la venta de clase plateada, venda cualquier película de más de 2 años. Por ejemplo, el "minorista de la clase plateada", "cualquier película de más de 2 años" y "cualquier minorista de la clase no plateada", se pueden especificar usando el Lenguaje de Expresión de Contrato ejemplar. La concesión y prohibición ejemplar, pueden ser expresados usando el Lenguaje de Expresión de Contrato ejemplar, por ejemplo, como se da por:
<concesión> <paratodos los Nombresdevar= nPelículasde2Años"/> <paratodos los Nombresdevar= nMinoristadeplateada"/> <cpx: compañía Refvar= "Minoristadeplateada"/> <cp : venta/> <r: recursos Refvar= wPelículasde2Años"/> </concesión> <prohibíción> <paratodos los Nombresdevar= "Películasde2Años"/> <paratodos los Nombresdevar= "MinoristaNodeplateada"'/> ' ' " ·-"··-- 'nMinoristaNodeplateada" >"- < cp : venta/> <paratodos los Nombresdevar= "Películasde2Años"/> </prohibición>
La expresividad de las prohibiciones y exclusividad con el Lenguaje de Expresión de Contrato ejemplar, pueden resultar en conflictos potenciales en contratos expresados. Por ejemplo, un contrato puede requerir una obligación en Alicia para hacer algo y otro contrato puede demandar una prohibición en Alicia para no hacer algo.
Además, cuando múltiples cláusulas 12 del mismo tipo, por ejemplo, las concesiones 320, son aplicables de un mismo contrato o diferentes contratos, puede ser necesario determinar que uno de los contratos es más preferible que los 5 otros contratos . La presente invención incluye el reconocimiento que un problema con conflicto y multiplicidad, por ejemplo, puede ser cómo identificar el conflicto y multiplicidad potenciales y resolver los mismos. En una modalidad ejemplar, tal
10 problema se puede dirigir de acuerdo con las políticas, por ejemplo, especificado en un contrato de mayor nivel. Por ejemplo, los conflictos y multiplicidades pueden ocurrir de forma repetitiva a un nivel mayor en casos donde bien pueden existir múltiples contratos de mayor nivel. ¦•¦X5" * " -Mientras" se detectan y resuelven" los conflictos y multiplicidades en una forma general y automática, puede ser deseable, esto no puede ser práctico, por ejemplo, en un sistema distribuido global requerir de alta escalabilidad mientras opera en una entrada imperfecta. Por ejemplo,
20 considerar una tarea de conceder un nuevo contrato a un sistema. En un sistema pequeño, puede ser posible verificar e identificar los conflictos, negociación de fuerza legal de anulaciones y aplicar tales anulaciones, por ejemplo, posiblemente provocando otro ciclo de verificación y
25 negociación. En contraste, en una gran escala tal ejercicio típicamente no será práctico, cuando la introducción de nuevos contratos pueda llegar a ser una tarea prohibitivamente extensa. En una modalidad ejemplar, un procedimiento de "mejores esfuerzos" antes que "debe resolver" se puede emplear, el cual puede implicar el hallar una promesa entre las etapas tomadas de frente para identificar y resolver los conflictos y permitir la posibilidad de "conflictos verdaderos" y proporcionar la resolución de los mismos operacionalmente . Por consiguiente, los sistemas que usan el Lenguaje de Expresión de Contrato ejemplar, por ejemplo, se pueden configurar para detectar y resolver los conflictos potenciales como mejor lo puedan hacer tales sistemas. En una modalidad ejemplar, un sistema sofisticado se puede configurar -para." hacer un" trabajo- mejorren" la -detección - y resolución de los conflictos potenciales que un sistema menos sofisticado, siempre que el sistema sofisticado y el sistema menos sofisticado se comporten de una manera similar en situaciones donde no existen conflictos. Por ejemplo, para sistemas simples, si se detecta un conflicto, el conflicto se puede tratar como una excepción con un cierto funcionamiento de omisión, por ejemplo, enviando un mensaje a las partes contratantes en cuestión que establecen el conflicto. Una consideración significativa puede ser el "costo" de tener conflictos en tal sistema. Por ejemplo, si el propósito principal de tal sistema' es cambiar el contenido, el costo de ocasionalmente no ser capaz de resolver una solicitud de un cliente es totalmente bajo. Si, por otra parte, el "costo", por ejemplo, ya sea directo o potencial, de no ser capaz de resolver cada solicitud única es alto, se puede proporcionar un sistema delantero configurado para identificar y resolver los conflictos. Los conflictos que resultan de mala entrada típicamente no se pueden evitar. Sin embargo, el Lenguaje de Expresión de Contrato ejemplar, ventajosamente, se puede emplear para crear mecanismos para tratar tal problema. Como el Lenguaje de Expresión de Contrato ejemplar facilita la detección y la resolución de los conflictos potenciales, por ejemplo, puede depender de que tipos de conflictos sean de interés . ¦Sin" la ' capacidad de "especi icar las—prohibiciones ,; por ejemplo, "no debe" y exclusividad, por ejemplo, "solamente" , un conflicto podría existir entre uno o más contratos. Por otra parte, bajo una misma condición, estando obligado a hacer dos cosas diferentes no puede resultar en un conflicto. Un conflicto potencial, sin embargo, puede resultar de tener que hacer dos diferentes cosas al mismo tiempo, por ejemplo, "salir a hacer compras" y al mismo tiempo "permanecer en la casa para hacer jardinería". Sin embargo, tal conflicto es difícilmente una emisión de Lenguaje de Expresión de Contrato, cuando las semánticas de tal accionan naturalmente el conflicto. En tal caso, identificar tal conflicto puede ser una emisión programática de un sistema de administración de contrato, por ejemplo, involucrando la identificabilidad y eficiencia, por ejemplo, en tiempo real. Ventajosamente, sin embargo, el Lenguaje de Expresión de Contrato ejemplar se puede emplear, por ejemplo, para permitir el ajuste de prioridades para resolver los conflictos, para resolver las multiplicidades, y similares. La figura 5 ilustra un modelo de política 500 de preferencia, ejemplar para permitir el ajuste de prioridades para resolver conflictos y multiplicidades y que se puede emplear en el modelo de datos de contrato ejemplar 200 de la figura 2. En la figura 5, ventajosamente, el Lenguaje de Expresión --de: "--Contrato-- ejemplar se -puede- emplear - * para-especificar una política de preferencia 506. Por consiguiente, para resolver los conflictos y multiplicidades potenciales, una relación de preferencia se puede establecer entre las cláusulas 212. En una modalidad ejemplar, tal relación se puede definir, por ejemplo, configurando las reclamaciones 308 para especificar que posiblemente se sometan a alguna condición C, una cláusula A "preceder" o, por ejemplo, es preferible a, otra cláusula B, y similares. Ventajosamente, tal política de preferencia se puede modelar como un tipo de afirmación, por ejemplo, como se muestra en la figura 5.
En el modelo ejemplar 500, la política 506 extiende la promesa 208 con un atributo adicional 508, "Mecanismodeevaluación" , por ejemplo, con semánticas restringidas en las cláusulas 212 de la promesa 208. Dentro de la política 506, las cláusulas 212 corresponden a las demandas 308, las cuales pueden especificar, por ejemplo, que en el caso de E, la cláusula A "precede" a la cláusula B cuando la condición C se cumple. En una modalidad ejemplar, el atributo opcional 508., "Mecanismodeevaluación", de la política 506, se puede usar para especificar cómo las demandas 308 serán consideradas. En una modalidad ejemplar, el atributo opcional puede tomar un valor "aleatorio" o por omisión, un valor "primeroAplicable" , y un valor "todoAplicable". El valor aleatorio- o por omisión, ·- por-' ejemplo,' se puede - usar para indicar que las demandas 308 en la política 506 se pueden considerar en cualquier orden, por ejemplo, hasta que una demanda aplicable de las demandas 308 se pueda encontrar. El valor "primeroAplicable", por ejemplo, se puede usar para especificar que la primera demanda que es aplicable de las demandas 308, de acuerdo con el orden de aparición de las demandas 308 en la política 506, puede ser la única a considerar. El valor "todoAplicable", por ejemplo, se puede usar para expresar que las demandas aplicables de las demandas 308 se deberán considerar una después de la otra en el orden consecutivo de su aparición en la política 506.
Usando el modelo ejemplar 500, ventajosamente, se pueden establecer muchos tipos de políticas de preferencia. En una modalidad ejemplar, una preferencia ordenada parcial, explícita, por ejemplo, se puede dar por: 5 Si el conjunto de Cláusulas {Cl, ..., Cn) es conocido y un orden parcial p se da para la relación de preferencia entre las Cláusulas, entonces se puede formar una Política en la siguiente forma:
10 Para cualquier par de Cláusulas Ci y Cj donde 1 < i, j < n, la Política incluye la demanda, (por ejemplo, incondicional) , wCi precede a Cj",
<política> ?5 <demanda> <licencia de cláusulaIdRef="Ci"/> <precede/> <licencia de cláusulaIdRef="Cj"/> 20 </demanda>
</política> si y solamente si (Ci, Cj) e p, (por ejemplo, Ci precede a Cj de acuerdo con el 25 orden p) .
En una modalidad ejemplar, la preferencia basada en los tiempos de emisión de las cláusulas 212, por ejemplo, se puede dar por : <política> <demanda> <para todo Nombrevar="A"/> <para todo Nombrevar-"B"/> <cláusula Refvar="A"/> <precede/> <cláusula Refvar="B"/> <csx.xmlExpresiónBooleana> op: fechaTie po-menos-de ( xs : fechaTiempo (xf: documento ( ../· · /cláusula [1] //emisor// detalles/tiempoDeEmisión) , xs : fecha'l'iempo (xf-: documento (-.. /.. /cláusula [2] //emisor// ^7"" detalles/tiempoDeEmisión) ) , <csx.xmlExpresiónBooleana> </demanda> </política> Por consiguiente, una cláusula emitida primero gana preferencia. En una modalidad ejemplar, cuando las apariciones de las cláusulas A y B se conmutan en. la demanda 308, la preferencia sigue a una cláusula emitida más tarde. En una modalidad ejemplar, el elemento csx:xmlExpresiónBooleana" puede ser un elemento que puede incluir una expresión Booleana XPath, y puede servir una condición cuyo valor verdadero puede ser igual a una de las expresiones Booleanas XPath. En una modalidad ejemplar, la preferencia basada en los emisores 214 de las cláusulas 212, por ejemplo, se puede dar por: Si un orden parcial sobre los Emisores de las Cláusulas se usa como un criterio para resolver el conflicto, entonces una política con una Demanda única se puede construir como sigue: <pol£tica> <demanda> <para todo Nombrevar="A"/> <para todo Nombrevar="B"/> <cláusula Refvar="A"/>~ t - - - ; - ...-\: - <precede/> <cláusula Refvar="B"/> < todaslasCondiciones> <csx.xmlExpresiónBooleana> xf:documento ( ../· · /cláusula [1] //emisor="Alicia"</ csx:xmlExprésiónBooleana> <cxs :xmlExpresiónBooleana> xf:documento ( ../.. /cláusula [2] //emisor="Bob"</ csx: lExpresiónBooleana> </todaslasCondiciones> </demanda> </política> Por consiguiente, la promesa emitida por Alicia, y por lo tanto las cláusulas dentro de la promesa de Alicia obtienen la preferencia sobre la promesa emitida por Bob, y por lo tanto las cláusulas dentro de la promesa de Bob. En una modalidad ejemplar, la preferencia basada en los tipos de promesas, por ejemplo, se puede dar por:
Si una orden parcial sobre todos los tipos de Cláusulas (por ejemplo, "Concesión", "Obligación" y "Prohibición") , se usa como un criterio para resolver el conflicto, entonces una política con una sola demanda se puede construir como sigue:
<polítXCa> — - '-·¦ - - ------ ¦ -.r---— ----v----.- "-. ¦ -- -.- <demanda> <para todo Nombrevar="A"/> <para todo Nombrevar="B"/> <cláusula Refvar="A"/> <precede/> <cláusula Re£var-"B"'/> < todaslasCondiciones> <csx.xmlExpresiónBooleana> xf: documento ( ../.. /cláusula [1] .nombre-" oncesión"</ cs : lExpr siónBooleana> <cxs : mlExpresiónBooleana> xf: documento ( ../· ¦ /cláusula [2] .nombre^'1'Prohibición"'</ csx:xmlExpr siónBool ana> </todaslasCondiciones> </demanda> </política> Por consiguiente, la cláusula 212 expresada como la concesión 302 puede ser preferible a la cláusula 212 expresada como la prohibición 306. En una modalidad ejemplar, diferentes demandas de preferencia, por ejemplo, se pueden combinar conjuntamente usando el atributo 508, "Mecanismodeevaluación" . Por ejemplo, colocando conjuntamente en la política 506 dos demandas 308 que declaran preferencia basada en los emisores 214 y los · - tipos - de - -cláusulas - ; -212 , -ventajosamente; - - una - regla -depreferencia combinada se puede establecer, primero basada en los emisores 214 y luego los tipos de las cláusulas 212, por ejemplo, como se da por: ("Alicia", "Concesión") <= ("Alicia", "Prohibición") <= ("Bob", "Concesión") <= ("Bob", "Prohibición"). Las combinaciones de política/demanda ejemplares se pueden expresar usando el Lenguaje de Expresión de Contrato ejemplar, por ejemplo, como se da por: <mecanismodeevaluación de política="todoAplicable"> <demanda> <para todo Nombrevar= "A"/> para todo Nombrevar <cláusula Refvar ="A"/> <precede/> < cláusula Refvar= "B" /> <todaslasCondiciones> <csx.xmlExpresiónBooleana> xf : documento ( ../.. /cláusula [1] //emisor="Alicia"</ csx:xmlExpresiónBooleana> <cxs :xmlExpresiónBooleana> xf: documento ( ../.. /cláusula [2] //emisor="Bob"</ csx:xmlExpresiónBooleana> </todaslasCondiciones> </demanda> </demanda> - ~ ~ ~ - -¦ — ~ - -¦¦¦"· - .
<para todo Nómbrevar="A"/> <para todo Nombrevar="B"/> <cláusula Refvar-"A"/> <precede/> <cláusula Refvar="B"/> todaslasCondiciones> < cs . xmlExpresiónBooleana> xf ; documento ( ../.. /cláusula [1] .nombre^"Concesión csx: lExpresiónBooleana> < cxs : mlExpresiónBool ana> xf: documento ( ../.. /cláusula [2] .nombre="Prohibición"</ csx:xmlExpresiónBooleana> </todaslasCondiciones> </demanda> </política> En una modalidad ejemplar "A o B, pero se prefiere A", por ejemplo, se puede dar por: "UMG pueden unirse a CDNOW, UMG puede unirse a A azon, y UMG se unirá a CDNOW si esto se permite" . Por consiguiente, se reclama que la cláusula 212 para unirse a CDNOW precede la cláusula 212 para unirse a Amazon. La combinación de política/demanda ejemplar se puede expresar usando el Lenguaje de Expresión de Contrato ejemplar, por ejemplo, como se da por:
<demanda> <licencia de cláusulaIdRef-"licenciaParaunirseACDNON"/> <precede/> <licencia de cláusulaIdRef="licenciaParaunirseAAmazon"/> </demanda> </política> En una modalidad ejemplar, un contrato que anula la ley, por ejemplo, se puede dar por: na) Amazon puede vender los episodios de ^ he Monkees ' b) Todas las ventas del episodio T e Monkees: The
Time Machine' fuera de los E.U.A están prohibidas, c) Amazon elige vender el episodio fuera de los
E. U.A. Por consiguiente, una política de Amazon es que cláusula 212 para vender los episodios de "The Monkees" es preferible a la cláusula 212 para prohibir las ventas del episodio de "The Monkees: The Time Machine" fuera de los E.U.A. La combinación de política/demanda ejemplar se puede expresar usando el Lenguaje de Expresión de Contrato ejemplar, por ejemplo, como se da por:
<pol£tica> < demanda> ~~<iicencia- de ~cláusulaIdRef= "licenciaParaVenderEpisodiosde '
TheMonkees "/> <precede> <licencia de cláusula!dRef="interdictoParaVenderelEpisodio deTheMonkees - TheTimeMachine "/> <demanda> +<licencia de firmantePartld-"Amazon"> < /política>
En una modalidad ejemplar, una preferencia de precio, por ejemplo, se puede dar por: "Para todos los minoristas y todos los artículos, si más de un precio está disponible del mismo minorista, elegir el precio más bajo".
5 Por' ejemplo, una política de Random House es que una cláusula A es preferible a una cláusula B, si (a) los firmantes son los mismos, (b) los recursos ofrecidos son los mismos, y (c) el precio, por ejemplo, tarifa/pago fijo/valor, en la cláusula A es menor que aquel de la cláusula B. La 10 combinación de política/demanda ejemplar se puede expresar usando el Lenguaje de Expresión de Contrato ejemplar, como se • da por:
<política> -15'— <demanda> ~- --"*'¦¦-'-— -; ¦-.¦-.¦¦,-—.--_.-¦.·:- ¿ . <para todo Nombrevar="A"/> <para todo Nombrevar="B"/> <cláusula Refvar="A"/> <precede/> 20 <cláusula Refvar="B"/> <csx. xmlExpresiónBooleana> op: igual ( xf : documento ( ../.. /cláusula [1] r: emisor/ds : firma/ ds : Ti tularClave, 25 xf: documento ( ../.. /cláusula [2] r: emisor/ds : firma/ ds :Ti tularClave) Y op: igual ( xf: documento (../.. /cláusula [1] r: concesión/r: recurso, xf: documento ( ../· · /cláusula [2] r: concesión/ recurso) Y op:menos-de ( op:número (xf: documento ( ../../cláusula [1] //Concesión/sx: tarif /sx: agofijo/valor) , op:número (xf: documento ( ../.. 'cláusula [2] /'/Concesión/^sx: tarifa/sx:pagofijo/valor) ) <csx.xmlExpresiónBooleana> </demanda> +<licencia de firmantePartId="Random House"> </política>
¦ .:. El - -Lenguaj e- .-.de Expresión de -Contrato -- ej emplar ventajosamente, se puede emplear para especificar las relaciones de conflabilidad y unión. Por ejemplo, las aplicaciones, tal como Administración de Derechos Digitales, referencia de contenido, comercio electrónico, otros servicios distribuidos, y similares, pueden ocasionar la interacción entre las entidades que no se conocen entre si. Además' de los mandantes de tales interacciones que son previamente desconocidas entre si, los recursos a ser controlados se pueden mover de un sistema a otro, por ejemplo, cuando una película se puede descargar de un sitio distribuidor a una PC de usuario y el acceso a la PC también necesita ser controlado. Además, el f ncionamiento de algunos mandantes se puede regular por políticas definidas por otros mandantes, por ejemplo, cuando los derechos de uso a los clientes se otorgan por los propietarios del contenido. En tales situaciones, sin embargo, las suposiciones tradicionales para establecer y aplicar el control de acceso no se pueden mantener. Ventajosamente, tales políticas se pueden expresar como contratos especificados usando el Lenguaje de Expresión de Contrato ejemplar. La presente invención incluye el reconocimiento que, cuando un contrato será ejecutado, el entendimiento de que lo que es de conflabilidad y lo que está unido con el contrato se debe determinar. Por ejemplo, un emisor I puede otorgar un mandante P de un derecho para -reproducir -una -película, -"corno -se—especifica en r el -contrato ~ basado en el Lenguaje de Expresión de Contrato ejemplar. Sin embargo, P necesita establecer algún nivel de conflabilidad para I, por ejemplo, para asegurar que I es una autoridad legítima para que P otorgue tal derecho. En un ejemplo adicional, dos propietarios de casa pueden firmar un contrato y requerir que los elementos de familia respectivos de los propietarios de la casa se unan al contrato. Por consiguiente, una .relación de unión necesita ser especificada para determinar quiénes serán unidos a los firmantes, y, por ejemplo, las firmas correspondientes.
En el Lenguaje de Expresión de Contrato ejemplar, tales relaciones de conflabilidad y unión, por ejemplo, se pueden especificar usando las demandas 308 con las acciones 220 "conflabilidad" y "unión". Ventajosamente, tales 5 relaciones se pueden definir especificando en la demanda 308 que, posiblemente se someta al evento (E) 216 y la condición (C) 224, el mandante (M) 218 confía o se une al emisor (I) 214 o el firmante (E) 210, por ejemplo, como se da por: Demanda/ [E, M, "conflabilidad", I, C] 10 y Demanda/ [E, M, "unión", S, C] . Ventajosamente, tales relaciones también se pueden definir en el nivel de cláusula 212 especificando en la demanda 308 qué, posiblemente se someta al evento (E) 216 y -1:5- :.-¦· la ' condición (C)- 224 , el · mandante- - !M) - 218 -confía o "se:* une a ' una cláusula K, por ejemplo, como se da por: Demanda/ [E, M, "conflabilidad", K, C] y Demanda/ [E, M, "unión", K, C] . 20 Por consiguiente, tal política de conflabilidad o política de unión, por ejemplo, se puede modelar como una afirmación. En una modalidad ejemplar, como parte de las semánticas de las acciones 220 conflabilidad y unión, algunos deberán confiar por si mismos y cualquiera las emitirá, y
25 algunos deberán unirse por si mismos y cualquiera firmará.
Por consiguiente, las siguientes demandas se pueden hacer incondicionalmente , por ejemplo, como se da por: Demanda/ [_, M, vconflabilidad", M, _] Y Demanda/ [_, M, "unión", M, _] . El Lenguaje de Expresión de Contrato ejemplar, por ejemplo, se puede emplear para especificar las dependencias entre las cláusulas 212. Por ejemplo, la validez de las cláusulas 212 puede ser dependiente de la validez de otra de las cláusulas 212, tal como la concesión 302 para un derecho para ver una película de clasificación R puede ser dependiente de la demanda 308 para una afirmación que el mandante 218 es al menos de 18 años de edad. Ventajosamente, la condición 224 "Válida", por ejemplo, se puede usar para -especificar- tal- dependencia". En · una modalidad -e emplar, -una Cláusula (E, M, A, R, C) puede llegar a ser dependiente de la validez de otra cláusula agregando la condición válida, por ejemplo, como se da por: Cláusula (E, M, A, R,
TodalaCondición/ [Válida/ [Cláusula' , Demandal, De andaN] , C] ) , donde la demandal, DemandaN son algunas afirmaciones para ser usadas para evaluar el Evento y Condición de la Cláusula' en el contexto actual.
El Lenguaje de Expresión de Contrato ejemplar, ventajosamente, se puede emplear para especificar la dependencia de funcionamiento y no funcionamiento, tales como remedios. Por ejemplo, para especificar el remedio y garantía, necesitan ser empleadas las condiciones para especificar si o no una obligación o prohibición que se ha cumplido en el pasado. De otra forma, algunas obligaciones, prohibiciones y/o derechos pueden incurrir. Ventajosamente, las condiciones 224 "Ejercidas" y "NoEj ercidas" se pueden usar para tal propósito. Por ejemplo, una Cláusula (E, M, A, R, C) puede llegar a ser dependiente en el no cumplimiento de una obligación agregando la condición NoEjercida, por ejemplo, como se da por: Cláusula (E, M, A, R,
- "—TodaslasCondiciones/[NOEjercida/[Obligación,- -ReferenciadeEstádo;
Cuenta], C]) . De manera similar, una Cláusula (E, M, A, R, C) puede llegar a ser dependiente del no cumplimiento de una prohibición agregando la condición Ejercida, por ejemplo, como se da por: Cláusula (E, M, A, R,
TodaslasCondiciones/ [Ej ereida/ [Prohibición, ReferenciadeEstádo, Cuenta], C] ) . El Lenguaje de Expresión de Contrato ejemplar, ventajosamente, se puede emplear para especificar la delegación. Por ejemplo, la delegación puede ser importante en sistemas altamente dinámicos y ampliamente distribuidos, debido a que la delegación proporciona mecanismos para pasar derechos, obligaciones, prohibiciones, y similares, a otros de una manera que no se puede antever o especificar al mismo tiempo un contrato o política que es definida. Ventajosamente, la delegación se puede especificar usando "ControldeDelegación" en XrML como un permiso implícito y •también usando la acción 220 "delegar" de modo que la delegación se puede especificar explícitamente como un permiso, una obligación, una prohibición, y similar, por ejemplo, como se da por: Concesión/ [E, D, "delegar", K, C] , Obligación/ [E, D, "delegar", K, C] , - ¦ ~r . : - - - Prohibición/[E, D, "delegar", K-, 'C].'- - ~ donde K es cualquier cláusula, la cual puede estar a su vez cerca de otra delegación . Por consiguiente, cuando un mandante MI delega una acción 220 a otro mandante M2 , el mandante M2 quién está para ejecutar la acción 220 puede llegar a ser el mandante compuesto, por ejemplo, como se da por: AfavordelMandante/ [M2,M1] . El Lenguaje de Expresión de Contrato ejemplar, ventajosamente, puede habilitar numerosos modelos de sistemas de procesamiento de contrato ejemplar. Por ejemplo, a base del modelo de datos ejemplar 220 y el modelo de semánticas ¦ ejemplar, el Lenguaje de Expresión de Contrato ejemplar se puede usar para configurar numerosos modelos de sistema de procesamiento. En una modalidad ejemplar, los modelos de sistema ejemplar, por ejemplo, a base de las semánticas lógicas de expresiones especificadas con el Lenguaje de Expresión de Contrato ejemplar, pueden incluir modelos guiados por consultas, modelos guiados por datos, modelos guiados por conflicto o multiplicidad, modelos de inferencia hacia atrás, modelos de inferencia hacia delante, modelos de resolución de conflicto, y similares. En un modelo de sistema de procesamiento guiado por consulta ejemplar, por ejemplo, para uno o más de los contratos 202, una consulta en la forma de la cláusula 212, y un- contexto en la" forma- 'de' una ~lristá'' dé ~las"' demañdás 308" se puede presentar al sistema para procesamiento. Las cláusulas 212 en los contratos 202, por ejemplo, conjuntamente con los firmantes 210 de los mismos, se pueden igualar contra la consulta para generar una respuesta de consulta. En una modalidad ejemplar, los elementos de condición 224 y evento 216 se pueden simplificar a base de la información proporcionada en el contexto y las cláusulas 212 que igualan las consultas se pueden usar para formar la respuesta de consulta. En un modelo de sistema de procesamiento guiado por contexto ejemplar, por ejemplo, para uno o más de los contratos 202, un contexto en la forma de una lista de las demandas 308 se puede presentar al sistema . para procesamiento. Las cláusulas 212 en los contratos 202, por ejemplo, conjuntamente con los firmantes 210 de los mismos, y que tienen los elementos de evento 216 y condición 224 satisfechos en el contexto se pueden suministrar como una respuesta. En una modalidad ejemplar, las cláusulas 212 que pueden formar la respuesta pueden ser las declaraciones mantenidas en el contexto. En un modelo de sistema de procesamiento guiado por conflicto o multiplicidad ejemplar, por ejemplo, para uno o más de los contratos 202, un conjunto de conflictos en la forma de una o más de las cláusulas 212, por ejemplo, que tiene -mandantes, -acciones-, recursos comunes- y -similares, que pueden resultar en un conflicto, y un contexto en la forma de una lista, las demandas 308 se pueden presentar al sistema para procesamiento. Un resultado de resolución de conflicto se puede proporcionar en la forma de un subconjunto mínimo de las cláusulas 212 en los contratos 202 que se pueden elegir de acuerdo con una preferencia, reglas de resolución de conflicto, políticas de resolución de conflicto, y similares, que se pueden definir en los contratos 202. En una modalidad ejemplar, las cláusulas 212 que pueden formar el resultado de resolución de conflicto pueden ser el resultado de resolver los conflictos entre los mandantes, acciones, recursos comunes y similares. El Lenguaje de Expresión de Contrato ejemplar, venta osamente, habilita los modelos de contexto ejemplares. 5 En una modalidad ejemplar, un contexto puede incluir una o más proposiciones, por ejemplo, que se pueden usar para describir un asunto, y similar. Semánticamente, el contexto ejemplar puede incluir una o más proposiciones generadas por una o más de las demandas 308 del Lenguaje de Expresión de 10 Contrato ejemplar. Ventajosamente, el contexto ejemplar, por ejemplo, se puede usar para proporcionar un conjunto de declaraciones reales que se pueden usar para validar las condiciones relacionadas a los eventos 216, que se pueden usar para validar las condiciones relacionadas con las - - 15 "condiciones - 224y que .se. pueden .. usar -para, identificar e igualar los mandantes 218, las acciones 220 y "los" recursos 22, que se pueden usar para formar relaciones de conflabilidad de los emisores 214 y los firmantes 210, y similares . 20 En una modalidad ejemplar, el contexto ejemplar, por ejemplo, puede incluir proposiciones para declarar que el mandante (M) 218 posee un papel, tal como papel de administrador, por ejemplo, emitido por un propietario y firmado por M, conflabilidad que cualquier emisor (I) 214
25 emita, y una a cualquiera de las firmas del firmante (E) 210, si M es uno de los emisores 214 o los firmantes 210 de las declaraciones correspondientes, por ejemplo, como se da por:
Demanda (O,M,poseer, administrador, O, Ilista, Slista) -elemento (pro pietario, Ilista) , elemento (M, Slista) Demanda (E,M, conflabilidad, I, C, Ilista, Slista) -(-Evento (E) , Cond ( C) , elemento (M, Ilista) . Demanda (E,M, enlace, S, C, Ilista, Slista) ·<—Evento (E) , Cond(C) , elemento (M, Slista) .
La Figura 6 ilustra un sistema de procesamiento guiado por consulta 600 ejemplar basado en el Lenguaje de Expresión de Contrato ejemplar.. En la Figura 6, una consulta 606 en la forma- de la ¦ cláusula 212 se .puede procesar .por _un procesador 602 de Lenguaje de Expresión' dé Contratos" (CEL)" contra uno o más contratos 202 almacenados en una base de datos de contratos 604, y un contexto 608, para generar una respuesta 610 a la consulta 606. En una modalidad ejemplar, basada en el modelo semántico de los contratos 202 y el modelo semántico del contexto 608, la consulta 606 puede incluir la cláusula 212, por ejemplo, tal como Concesión(E, M, A, R, C) , y similares. La consulta 606 se puede procesar de acuerdo a las proposiciones expresadas por los contratos 202 y el contexto 608, por ejemplo, verificando si la consulta 606 se puede probar lógicamente por las proposiciones dadas por los contratos 202 y el contexto' 608 , para generar la respuesta 610 en la forma de concesión 302, obligación ¦ 304, prohibición 306, demanda 308, y/o los elementos determinados 310 que unen la consulta 606. Ventajosamente, empleando el modelo guiado por consultá ejemplar, sistemas de procesamiento sofisticado y tareas se pueden configurar, por ejemplo, de acuerdo con la modalidad de las cláusulas 212. Por ejemplo, cuando la cláusula 212 de la consulta 606 incluye el elemento determinado 310, la respuesta de procesamiento 610 puede incluir un conjunto de concesiones 302, obligaciones 304, prohibiciones 306, y demandas 308 que igualan el elemento determinado 310 de la cláusula 212. En una modalidad ejemplar, -igualando—el- elemento de .concesión J3_02_ contra el elemento determinado 310, **pór" ejemplo,""" puede --ser proporcionado por:
Intento(E, M, A, R, C) <—Concesión (?' ,?' ,?', R' , C , Ilista' , Slista') , IrnplicacióndeEvento (E, E') , IgualarM(M,M') , IgualarA(A,A' ) , IgualarR(R,R') , Implicación Cond (C, O, Elemento (I, Ilist'), CláusulaDe (Concesión (?' ,?' ,?' ,R' ,C , Ilista', Slista'), Pro), Emisión (Pro. I) , Demanda (E, M, conflabilidad, I, C, Ilista', Slista') , Escribir(Concesión (E, M, A, R, C, Ilista', Slista')).
Intento(E, M, A, R, C) <—Concesión (E', M', A', R', C, Ilista', Slista') , • -- Implicación de Evento(E, E') , IgualarM(M, M') , IgualarA(A, A'), IgualarR(R, R') , Implicación Cond(C, C) , Elemento (S, Slista'), Cláusulade (Concesión (E" , M' , A', R' , C , Ilista', Slista'), Pro), PromesaDe(Pro, CE), J '·— -- ----- ·¦- ....Firma (E,, S) ,^. r . Demanda(E, M, unión, I, C, Ilista', Slista'), Escribir(Concesión (E, M, A, R, C, Ilist', Slist')) .
Implicación de Evento (E, E')<-Evento (E) , Evento(E'). Implicación de Evento (E, E') —Evento (E') . Implicación de Evento (E, E') .
Implicación Cond(C, C) <-Cond(C) , Cond(C) . Implicación Cond(C, C) -Cond(C) .
Implicación Cond(C, C) .
El par ejemplar de proposiciones anterior, por ejemplo, se puede usar para producir una concesión que se 5 iguala contra un intento y que se emite por un emisor confiado, por ejemplo, de una promesa que incluye la concesión, o que se emite por un firmante unido, por ejemplo, de un contrato que puede incluir la promesa que incluye la concesión. En una modalidad ejemplar, cuando el elemento de
10 concesión de cláusula en el par de proposiciones ejemplares se remplaza por los elementos de obligación, prohibición, y demanda, por ejemplo, para generar otros tres pares de proposiciones, una o más concesiones, obligaciones, prohibiciones y demandas se pueden generar como la respuesta
;1;5~ - para el~' intento : En una modalidad ejemplar, la proposición "Implicación de Evento" se puede usar para especificar la implicación lógica de un evento (E) por otro evento (?' , por ejemplo, E —> E' ) y la proposición "Implicación Cond" se puede usar para especificar la implicación lógica de una
20 condición (C) por otra condición (C , por ejemplo, C - C) . En una modalidad ejemplar, una o más concesiones, obligaciones y prohibiciones se pueden generar como una respuesta a una consulta de concesión para generar una obligación, por ejemplo, como se da por: 25 Concesión (E, M, A, R, C) ^-Obligación (E' , M', A', R', C , Ilista', Slista') , Implicación de Evento (E, E' ) , IgualarM(M, M') , IgualarA(A, A'), IgualarR(R, R') , ImplicaciónCond(C, C) , Elemento (I, Ilista') , CláusulaDe(Obligación (?', M' , A', R', C) , Pro), Emisión (Pro, I) , Demanda (E, M, conflabilidad, I, C, Ilista', Slista') , Escribir(Obligación (E, M, A, R, C, Ilista'
'-' ~- - - -- -' - .. Slista')) . ¦
Concesión(E, M, A, R, C)^-Obligación (E', M' , A', R', C, Ilista',
Slista'), Implicación de Evento (E, E') , IgualarM(M, M') , IgualarA(A, A'), IgualarR(R, R') , ImplicaciónCond(C, C) , Elemento (S, Slista'), CláusulaDe(Obligación (?', M', A', R', C) , Pro) , PrcmesaDe (Pro, E) , Firmar(E, S) , Demanda (E, M, unión, I, C, Ilista', Slista') , 5 Escribir(Obligación (E, M, A, R, C, Ilista', Slista ')) .
La Figura 7 ilustra un sistema de procesamiento guiado por contexto 700 ejemplar basado en el Lenguaje de
10 Expresión de Contrato ejemplar. En la Figura 7, uno o más contratos 202 que almacenan la base de datos de contratos 604 se pueden procesar por el procesador CEL 602 contra un accionador 706 en la forma del contexto 608, para producir una respuesta en la forma de una cláusula expresada en el
-1;5 contrato 202 que ..es válido en .el- contexto .608 proporcionado.. En una modalidad ejemplar, por ejemplo, "basada en "el modelo semántico ejemplar de los Contratos de Lenguaje de Expresión de Contrato ejemplares y el modelo semántico del contexto 608, el sistema 700 ejemplar puede examinar proposiciones de
20 la Cláusula (E, M, A, R, C, Ilista, Slista) que se expresa por los contratos 202, puede evaluar las condiciones del evento (E) 216 y los elementos de condición (C) 224 relacionados a los eventos 216 y condiciones 224 de los mismos, y puede producir tales cláusulas con condiciones
25 correspondientes de las mismas que sean sa isfactorias como una respuesta 710. Ventajosamente, el sistema guiado por contexto 700 ejemplar se puede usar para construir aplicaciones del sistema para notificar permisos válidos, obligaciones, intenciones de prohibiciones, y similares, dentro de un contexto dado, por ejemplo, para realizar y ejecutar un conjunto de contratos. En una modalidad ejemplar, la respuesta 710 se puede generar evaluando proposiciones, cada una de las cuales, cuando se evalúan pueden ser verdaderas, produciendo una concesión válida 302, obligación 304, prohibición 306 o elemento de intento 310, por ejemplo, como se da por:
ConcesiónVálida () 4-Concesión (E, M, A, R, C, Ilista, Slista) ,
¦Even te (E) ; Cond (C) ,. ·- . ·.-..-.- :_r.. . ..:. _ - -. - - ... Escribir(Concesión (É, M, A,' R, C," Ilista', Slista) ) . ObligaciónVálida () -Obligación (E, M, A, R, C, Ilista, Slista), Evento (E) , Cond (C) , Escribir(Obligación) (E, M, A, R, C, Ilista, Slista)). ProhibiciónVálida ()<-Prohibición (E, M, A, R, C, Ilista, Slista.), Evento (E), Cond(C), Escribir (Prohibición (E, M, A, R, C, Ilista, Slista) ) .
Intente/Válido () -Intento (E, M, A, R, C, Ilista, Slista) , Evento (E) , Cond (C) , Escribir(Intento (E, M, A, R, C, Ilista, Slista)).
La Figura 8 ilustra un sistema de procesamiento guiado por multiplicidad o conflicto 800 ejemplar basado en el Lenguaje de Expresión de Contrato ejemplar. En los modelos de sistema de procesamiento guiado por consulta 600 y guiado por contexto 700, el procesamiento del contrato 202 puede resultar en una o más de las cláusulas 212 que tienen un conflicto potencial, por ejemplo, tal concesión y prohibición o una obligación y una prohibición aplicando al mismo mandante, acción o recurso, y similares. El procesamiento del contrato- 202 -también puede resultar'- en - una · o más · ;de -las cláusulas 212 que tienen multiplicidades potenciales, por ejemplo, concesiones múltiples o una concesión o una obligación y similares. Para resolver los conflictos y multiplicidades anteriores, ventajosamente, las políticas de preferencia ejemplares se pueden especificar en el lenguaje de expresión de contrato ejemplar. En una modalidad ejemplar, las políticas de preferencia pueden ser relativamente simples, por ejemplo, tal como una prohibición que anula la obligación, la cual anula la concesión, y similares, o relativamente complejas empleando la autoridad de los emisores de las cláusulas, por ejemplo, tal como las cláusulas emitidas por una autoridad mayor son preferibles a otras, y similares. Además,, las políticas de preferencia se pueden basar en la especificidad de. las cláusulas, por ejemplo, tal como las cláusulas más específicas son preferibles a cláusulas más genéricas, y similares. Adicionalmente, las políticas de preferencia se pueden basar en el tiempo de emisión de las cláusulas, por ejemplo, tal como la mayoría de las cláusulas recientemente emitidas son preferibles a las cláusulas más viejas, y similares. En la Figura 8 en el modelo de sistema de procesamiento guiado por conflicto o multiplicidad ejemplar 800, dos o más cláusulas 302-310 con conflictos y multiplicidades potenciales' en' la -forma de una -entrada - de conflictos o multiplicidades 806, por ejemplo, se pueden procesar por un árbitro 802 de Lenguaje de Expresión de Contrato (CEL) contra el contexto 608 que incluye una o más de las demandas 308 y un conjunto de políticas de preferencia almacenadas en una base de datos de políticas 804. En una modalidad ejemplar, una relación de preferencia, como se define por las políticas de preferencia, por ejemplo, se puede aplicar por el sistema ejemplar 800 a las cláusulas de entrada 302-310 para determinar cual de las cláusulas de entrada 302-310 es o son preferibles sobre las otras en la forma de un resultado de resolución 810. El problema anterior, por ejemplo, puede ser análogo a un problema gráfico-teórico . Por ejemplo, cada cláusula de entrada 302-310 puede ser un vértice y dos vértices se pueden conectar entre sí, si una cláusula es preferible a la otra cláusula. El problema puede ser encontrar cuál vértice o vértices son nodos o vértices "fuente" en la gráfica donde un nodo "fuente" es un nodo que no tiene enlace entrante a éste. Una solución directa puede ser probar, para un vértice dado, si o no existe otro vértice que tiene un enlace al vértice dado, y si el vértice dado no tiene un enlace a éste, el vértice dado puede ser una "fuente" . Basado en tal solución, se puede emplear un algoritmo, por ejemplo, para evaluar la preposición:
Resolverconflicto (Listadecláusula, Listadecláusula, ListadeSalida, AlgúnMandante) .
y como se da por:
ResolverConflicto ( [W\X] , Y, Z, M) <- Anulación (W, Y, I) , ResolverConflicto(X, Y, Z, M) . ResolverConflicto([W\X], Y, [W\Z] , M) - ResolverConflicto (X, Y, Z, M) . Anulación (W, [X\Y] , M) <- Demanda (E, W, procede, X, C, Ilista, Slista) , Evento (E), Cond(C), Elemento (I, Ilista) , CláusulaDe (Demanda (E, W, procede, X, C) , Pro) , Emisión (Pro, I) , Demanda (E, M, conflabilidad, I, C, Ilista' , Slista' ) .
Anulación (W, [X\Y] ) <— Demanda(E, W, procede, Y, C, Ilista, Slista), Evento (E) , Cond (C) , Elemento (S, Slista), CláusulaDe (Demanda (E, W, procede, Y, C) , - ¦.·¦·--¦- · ' -pro) , ¦ ¦ - ---· ---¦' - PromesaDe (Pro, CE), Firma (CE, S) , Demanda (E, M, unir, I, C, Ilista', Slista').
El algoritmo ejemplar anterior, por ejemplo, se puede basar en una implementación de la solución gráfico-teórica para resolver los conflictos y multiplicidades potenciales en una lista de cláusulas, "ListadeCláusulas" , y para producir el resultado de resolución 810 en una lista, "ListadeSalida" . En una modalidad ejemplar, el argumento "Algún andante" se puede emplear para asegurar que la relación de preferencia establecida en las políticas de preferencia puede ser confiada o se puede unir al mandante. La figura 9 ilustra un sistema de procesamiento híbrido o compuesto ejemplar 900 basado en el Lenguaje de Expresión de Contrato ejemplar. En la figura 9, el modelo de sistema de procesamiento ejemplar 900, ventajosamente, puede habilitar un circuito de producción para aplicar políticas de preferencia almacenadas en la base de datos de políticas 804 para resultados de procesamiento de consulta 910 para los contratos 202 almacenados en la base de datos de contratos 604 con asistencia del procesador de CEL 602 y el árbitro de CEL 802. - ' '~~ El" ^procesador de ' CÉL " ejemplar 602 , " por " "ejemplo, puede tomar como una entrada la cláusula 212 en la forma de la consulta 906, y una o más de las demandas 308 empleadas como una descripción del contexto 608 y que se pueden usar para definir un ambiente de sistema, un estado de uso, una lista de atributos, y similares, de objetos, sujetos, y similares. El procesador de CEL 602 consulta un conjunto de contratos 202, por ejemplo, como una base de conocimiento en la forma de la base de datos de contratos 604, y genera un conjunto de resultados intermediarios posibles 910 a la consulta 906 como respuesta. En una modalidad ejemplar, los resultados intermediarios 910 pueden incluir una o más concesiones, obligaciones, prohibiciones, demandas o intentos 302-310. En una modalidad ejemplar, cuando el sistema ejemplar 900 genera dos o más resultados 910 basado en la consulta 906, el arbitro de CEL ejemplar 802 se puede invocar, iniciar, y similar. El árbitro de GEL 802 puede aplicar el conjunto de políticas de preferencia, por ejemplo, como una base de conocimiento en la forma de la base de datos de políticas 804 para determinar la preferencia entre los resultados 910. En una modalidad ejemplar, las políticas se pueden especificar como un conjunto de las demandas de entrada 308. Por ejemplo, cada una de las demandas 308 se puede usar para 'comparar "dos " de" Tas "promesas 208~ y se puede usar para especificar que una promesa es más preferible a otra promesa, por ejemplo, tal como en la forma de "promesa A precede a la promesa B, posiblemente bajo alguna condición" . Por consiguiente, la salida 912 del árbitro de CEL 802 puede incluir el efecto de tal resolución de preferencia. En una modalidad ejemplar, si solamente existe una promesa dejada, entonces la preferencia obtenida se determina, por ejemplo, de acuerdo con las políticas disponibles. Sin embargo, si existen dos o más promesas dejadas,' entonces la preferencia no puede ser, por ejemplo, completamente, determinada y un mecanismo externo, mensaje de error, y similar, se puede emplear cuando sea necesario. En modalidades ejemplares adicionales, los modelos de sistema de procesamiento se pueden configurar, por 5 ejemplo, basados en uno o más de los modelos del sistema guiado por consulta 600, guiado por contexto 700 y guiado por conflicto o multiplicidad 800. Además, una secuencia de modelos de sistema de procesamiento guiado por conflicto o multiplicidad 800 se puede configurar, cada uno con un
10 conjunto diferente de políticas de preferencia, ventajosamente, para resolver conflictos de acuerdo con las políticas de preferencia, por ejemplo, de diferentes autoridades, dominios administrativos, y similares. 'La figura 10 ilustra un sistema unido ejemplar 100
G5"* basado én el Lenguaje de Expresión de Contrato ^ejemplar,. _En la figura 10, los modelos de sistema guiado por consulta 600, guiado por contexto 700, y guiado por conflicto o multiplicidad 800 ejemplares, se pueden integrar con otros componentes de sistema 1002 que pueden ejecutar las acciones
20 220 como se especifica en las cláusulas 212. Ventajosamente, el sistema ejemplar 1000, por ejemplo, se puede usar para generar los eventos 216, se puede usar para modificar el contexto de sistema, . y similar. La figura 11 es un diagrama de flujo para ilustrar
25 el procesamiento guiado por consulta ejemplar del sistema 600 de la figura 6. En la figura 11, en la etapa 1102, por ejemplo, la cláusula 212 se puede obtener para el procesamiento y en la etapa 1104 la cláusula 212 se puede presentar como la consulta 606. En la etapa 1106, la consulta 606 se puede igualar contra las cláusulas en el contrato 202 de la base de datos 604 basado en el contexto 608 definido por una o más de las demandas 308. Si existe un igualación, como se determina por la etapa 1108, las cláusulas en el contrato 202 que igualan la consulta 606 se pueden producir como la respuesta 610, por ejemplo, incluyendo uno o más de los elementos 302-310. De otra forma, en la etapa 1112, un mensaje apropiado se puede regresar. Además, las cláusulas 212 se pueden presentar como consultas para el procesamiento guiado por consulta repitiendo las etapas 1102-1112. ' ~~ La" figura 12 es un .diagrama de flujo para ^ilustrar el procesamiento guiado por contexto ejemplar del sistema 700 de la figura 7. En la figura 12, en la etapa 1202, por ejemplo, el activador 706 en la forma del contexto 608 se puede obtener para el procesamiento y en la etapa 1204 el contexto 608 definido por una o más de las demandas 308 se puede presentar para el procesamiento. En la etapa 1206, el contexto 608 se puede igualar contra las cláusulas en el contrato 202 de la base de datos 604. Si existe una igualación, como se determina por la etapa 1208, las cláusulas en el contrato 202 que igualan el contexto 608 se pueden producir tan válidas como la respuesta 710, por ejemplo, incluyendo uno o más de los elementos 302-310 considerados como válidos. De otra forma, en la etapa 1212, un mensaje apropiado se puede regresar. Además; los contextos 5 608 se pueden presentar para el procesamiento guiado por contexto repitiendo las etapas 1202-1212. La figura 13 es un diagrama de flujo para ilustrar el procesamiento guiado por conflicto o multiplicidad ejemplar del sistema 800 de la figura 8. En la figura 13, en
10 la etapa 1302, por ejemplo, dos o más de las cláusulas 302- 310 identificadas como que tienen conflictos o multiplicidades se pueden obtener para el procesamiento y en la etapa 1304 y las cláusulas 302-310 se pueden presentar como la entrada de conflictos o multiplicidades 806. En la
G5" etapa 1306, los conflictos o multiplicidades se , -pueden- resolver basados en el contexto 608 definido por una o más de las demandas 308 y las políticas de preferencias especificadas en uno o más de los contratos 202 de la base de datos ' 604. Si los conflictos o multiplicidades se pueden
20 resolver, como se determina por la etapa 1308, las cláusulas resueltas se pueden producir como el resultado de resolución 810, por ejemplo, incluyendo uno o más de los elementos 302- 310 que se resuelven. De otra forma, en la etapa 1312, se puede regresar un mensaje apropiado. Además, las cláusulas
25 302-310 identificadas como que tienen conflictos o multiplicidades se pueden presentar para el procesamiento guiado por conflicto o multiplicidad repitiendo' las etapas 1302-1312. La figura 14 es un diagrama de flujo para ilustrar 5 el procesamiento compuesto o híbrido y unido ejemplar de los sistemas de la figura 9 y 10. En la figura 14, las etapas 1402-1406 corresponden a las etapas 1102-1112 del procesamiento guiado por consulta ejemplar de la figura 11, las etapas 1416-1420 corresponden a las etapas 1202-1212 del 0 procesamiento guiado por contexto ejemplar de la figura 12, y las etapas 1408-1412 corresponden a las etapas 1302-1312 del procesamiento guiado por conflicto o multiplicidad ejemplar de la figura 13. En la etapa 1414, una o más acciones, por ejemplo, especificadas por los elementos de acción 220 se '5"" pueden ejecutar basadas en las cláusulas ..resueltas producidas como el resultado de resolución en la etapa 1412. El procesamiento adicional se puede ejecutar repitiendo las etapas 1402-1420. Ventajosamente, el Lenguaje de Expresión de 0 Contrato ejemplar define la gramática empleada para procesar las expresiones de contrato basadas en esta, en donde la presente invención incluye el reconocimiento que define una gramática que puede ser el aspecto más desafiante de un diseño. El Lenguaje de Expresión de Contrato ejemplar, por 5 consiguiente, define relaciones matemáticas normativas entre cada uno de los elementos de EMARC, venta osamente, habilitando la interpretación y reforzamiento consistente del Lenguaje de Expresión de Contrato ejemplar por humanos y máquinas. La gramática definida también permite que el Lenguaje de Expresión de Contrato ejemplar sea extensible. Por consiguiente, un número casi infinito de nuevas construcciones y vocabularios de contrato se pueden expresar con la gramática definida por el Lenguaje de expresión de Contrato Ejemplar. Los dispositivos y subsistemas de los sistemas ejemplares descritos con respecto a las figuras 1-14 pueden comunicarse, por ejemplo, sobre una red de comunicaciones 170, y pueden incluir cualquiera de los servidores, estaciones de trabajo, computadoras personales (PCs) , computadoras laptop, - PDAs, aplicaciones" de Internet", "aparatos que integran codificador y decodificador, módems, dispositivos portátiles, teléfonos, teléfonos celulares, dispositivos inalámbricos, otros dispositivos adecuados y similares, capaces de ejecutar los procesos de las modalidades ejemplares descritas. Los dispositivos y subsistemas, por ejemplo, pueden comunicarse entre si usando algún protocolo adecuado y se pueden implementar usando un sistema de computadora de propósito general, y similar. Uno o más mecanismos de interfaz se pueden emplear, por ejemplo, incluyendo acceso de Internet, telecomunicaciones en alguna forma adecuada, tal como voz, módem, y similares, medios de comunicaciones inalámbricos, y similares. Por consiguiente, la red de comunicaciones 170 puede incluir, por ejemplo, redes de comunicaciones inalámbricas, redes de comunicaciones celulares, redes de comunicaciones satelitales, Redes Públicas Telefónicas Conmutadas (PSTNs) , Redes de Datos de Paquetes (PDNs) , la Internet, intranets, redes de comunicaciones híbridas, combinaciones de las mismas, y similares. Como se señaló anteriormente, se entenderá que los sistemas ejemplares, por ejemplo, como se describe con respecto a las figuras 1-14, son para propósitos ejemplares, como son posibles muchas variaciones del hardware específico usado para implementar las modalidades ejemplares descritas. Por-, ejemplo, la - func onalidad de los dispositivos y los subsistemas de los sistemas ejemplares se puede implementar vía uno o más dispositivos o sistemas de computadora programados. Para implementar tales variaciones así como otras variaciones, un sistema de computadora único se puede programar para ejecutar las funciones de uno o más de los dispositivos y subsistemas de los sistemas ejemplares. Por otra parte, dos o más dispositivos o sistemas de computadora programados se pueden sustituir por alguno de los dispositivos o subsistemas de los sistemas ejemplares. Por consiguiente, los principios y ventajas del procesamiento distribuido, tal como redundancia, respuesta, y similares, también se pueden implementar, cuando se desee, por ejemplo, para incrementar la fuerza y funcionamiento de los sistemas ejemplares descritos con respecto a las figuras 1-14. Los sistemas ejemplares descritos con respecto a las figuras 1-14 se pueden usar para almacenar la información relacionada con varios procesos descritos en la presente. Esta información se puede almacenar en una o más memorias, tal como un disco duro, disco óptico, disco magneto-óptico, RAM, y similares, de los dispositivos y subsistemas de los sistemas ejemplares. Una o más de las bases de datos de los dispositivos y subsistemas pueden almacenar la información usada para implementar las modalidades ejemplares. Las bases de datos se pueden organizar usando estructuras de datos, -tales omo - "registros, ""tablas , arreglos, campos, gráficas, árboles, listas, y ^similares, incluidos en una o más memorias, tal como las memorias listadas anteriormente. Toda o una porción de los sistemas ejemplares descritos con respecto a las figuras 1-14 se puede implementar convenientemente usando uno o más sistemas computacionales de propósito general, microprocesadores, procesadores de señal digital, micro-controladores , y similares, programados de acuerdo con las enseñanzas de las modalidades ejemplares descritas. El software apropiado se puede preparar fácilmente por programadores de experiencia ordinaria basados en las enseñanzas de las modalidades ejemplares descritas. Además, los sistemas ejemplares se pueden implementar por la preparación de circuitos integrados de aplicación específica o interconectando una red apropiada de circuitos de componente . Ventajosamente, las modalidades ejemplares descritas en la presente se pueden emplear en sistemas fuera de línea, sistemas en línea, y similares, y en aplicaciones, tales como aplicaciones de TV, aplicaciones de computadora, aplicaciones de DVD, aplicaciones de VCR, aplicaciones de dispositivos, aplicaciones de reproductor de CD, y similares. Además, las señales empleadas para transmitir las expresiones de Lenguaje de Expresión de Contrato, la expresión de derechos, y similares, de las modalidades ejemplares, se pueden- configurar-- p'ara'"ser transmitidas dentro ..del . espectro visible de un humano, dentro del espectro audible de un humano, no dentro del espectro visible de un humano, no dentro del espectro audible de un humano, combinaciones de los mismos, y similares. Aunque las modalidades ejemplares se describen en términos de aplicaciones en contratos, campos legales, y similares, las modalidades ejemplares son aplicables a cualquier aplicación adecuada, tales como contenido digital y no digital, dispositivos, software, servicios, productos, recursos, y similares, y se pueden practicar con variaciones de tecnología, interfaz, lenguaje, gramática, contenido, derechos, ofrecimientos, servicios, velocidad, tamaño, limitaciones, dispositivos, y similares. Mientras que la presente invención se ha descrito en conexión con un número de modalidades ejemplares e implementaciones , la presente invención no es de este modo limitada sino más bien cubre varias modificaciones y arreglos equivalentes, los cuales caen dentro de la incumbencia de las reivindicaciones anexas. APÉNDICE La presente invención puede emplear tecnologías, sistemas, métodos, algoritmos, conceptos y similares, descritos en artículos, libros, especificaciones y similares, citados en este documento, contenidos completos los cuales -están- con-ello,- "ihcórporados "por referencia aquí . _ ... ¦¦ - [I] . Contentguard, Inc., Lenguaje de Marcas de Derechos Extensibles (XRML) Versión 2.0, disponible en la Amplia Red Mundial en xrml.org. [4] . Bradner, "Palabras claves para uso en RFC, para Indicar el Nivel de Requerimiento," IETF RFC 2119, disponible en la Amplia Red Mundial en ietf.org/rfc/rsc2119.txt. [II] . Esquema W3C XML, disponible - en la Amplia Red Mundial en w3. org/200l/XMLSchema. [12] . Firma W3C XML, disponible en la Amplia Red Mundial en 3. org/2000/09/xmldsig# .
[13] . Encripción W3C XML, disponible en la Amplia Red Mundial en w3. org/2001/04/xmlenc# . [14] . Calamari , et al., Contracts, 3rd edición, Black Letter Series, West Group, St . Paul, MN, 1999. [16] . Calamar!, et al., The Law of Contracts, West Wadsworth, 4th edición, Julio 1998. [17] . Atiyah, An Introduction to the Law of Contract, Clarendon Law Series, 4th edición, Clarendon Press, Oxford, 1989. [19] . Dijkstra, A Discipline of Programming, Prentice-Hall , 1976. [20] . Ullman, Principies of Datábase and Knowledge-Base Systems, Volume I, 1988, and Volume II, 1989, Computer Science Press. · [21] ... Hanson, " et ~al . , "A Óverview of producfion rules in "datábase systems, "Knowledge Engineering Review, vol . 8, no. 2, pp. 121-143, 1993. [22]. Russell, et al., Artificial Intelligence : A Modern Approach, Prentice Hall Series in Artificial Intelligence, 1995. [23]. Hohfeld. , "Sorae fundamental, legal conceptions as applied in judicial reasoning," Yale Law Journal, v. 23,1913, Reprinted in W. W. Cook (ED.), Fundamental Legal Conceptions as Applied in Judicial Reasoning, and Other Legal Essays, Yale University Press, 1966.
[24]. Hilpien (ed.), Deontic Logic : Introductory and Systematic Readings, Dordrecht , 1971. [25]. Jones, et al . , "On the characterization of a trusting agent-aspects of a formal approach, " Workshop on Deception, Trust and Fraud in Agent Societies, 2000. [26] . Elgesem, "The modal logic of agency, "Journal of Philosophical Logic, 1997, vol . 2, no. 2, pp. 1- 46. [27] . Widom, et al., Active Datábase Systems, Morgan- Kaufmann, 1995. [28]. Brownston, et al., Programming Expert Systems in 0PS5 : An Introduction to Rule-Based Programming, Addison-Wesley, 1985. [29]. Damianou, et al., "A Survey of Policy Specification Approaches," 2002, disponible en la Amplia Red Mundial_ en ^ - www-dse . doc ic ac . uk/Research/policies ._ _ ¦¦¦¦¦¦ ¦ ' " :
[30] . Ullman, Principies of Datábase and Knowledge-base Systems, Vol. II, Rockville, MD, Computer Science Press, 1989. [31]. Sterling, et al., The Art of Prolog: Advanced Programming Techniques, 2nd Edición, MIT Press, 1994. [32]. Lampson, et al., "Authentication in Distributed Systems: Theory and Practice, "ACM Trans . , Computer Systems 10,4 (Nov. 1992), pp . 265-310. [33]. Marina, et al., The Temporal Logic of Reactive and Concurrent Systems: Specification, Springer- Verlag, New York, 1991. Se hace constar que con relación a esta fecha, el mejor método conocido por la solicitante para llevar a la práctica la citada invención, es el que resulta claro de la presente descripción de la invención.
Claims (1)
- REIVINDICACIONES Habiéndose descrito la invención como antecede, se reclama como propiedad lo contenido en las siguientes reivindicaciones : 1. Método para especificar una expresión de legalidad para uso en un sistema para procesar dicha expresión de legalidad, caracterizado porque comprende: proporcionar un lenguaje de expresión de legalidad, que incluye al menos, un elemento de obligación que especifica una obligación que un mandante debe ejecutar una acción, un elemento de prohibición que especifica una prohibición que un mandante no debe ejecutar una acción, un elemento de intención que especifica una intención- que- el mandante "desea ejecutar una acción., y..-- · -- - un elemento de demanda que especifica una afirmación de que un mandante ejecute una acción; e interpretar por el sistema, una expresión de legalidad especificada usando el lenguaje de expresión de legalidad. 2. Método de conformidad con la reivindicación 1, caracterizado porque comprende: aplicar por el sistema, dicha expresión de legalidad. 3. Método de conformidad con la reivindicación 1, caracterizado porque comprende: proporcionar en dicho lenguaje de expresión de legalidad, un elemento concesión que especifica un permiso que el mandante puede ejecutar una acción,- y aplicar por el sistema, dicha expresión de legalidad. 4. Método de conformidad con la reivindicación 3, caracterizado porque comprende : proporcionar en el lenguaje de expresión de legalidad, elementos de mandantes respetivos asociados con el elemento de obligación, el elemento de prohibición, el elemento de cesión, el elemento de intención y el elemento de demanda, y especificar los mandantes respectivos, elementos de recurso respectivo asociados con el_ elemento-~de'""- obligación, el elemento, de prohibición, el elemento de cesión, el elemento de intención, el elemento de demanda y especificar un recurso asociado con las acciones respectivas, y elementos de condición respectivos asociados con el elemento de obligación, el elemento de prohibición, el elemento de cesión, el elemento de intención, el elemento de demanda, y especificar una condición asociada con las acciones respectivas. 5. Método de conformidad con la reivindicación 3, caracterizado porque comprende: proporcionar en el lenguaje de expresión de legalidad, elementos de evento respectivos asociados con el elemento de obligación, el elemento de prohibición, el elemento de cesión, el elemento de intención y el elemento de demanda, y especificar eventos respectivos para activar la obligación, la prohibición, el permiso, la intención y la afirmación . 6. Método de conformidad con la reivindicación 3, caracterizado porque proporciona en el lenguaje de expresión de legalidad, elementos de acción respectivos asociados con el elemento de obligación, el elemento de prohibición, el elemento de cesión, el elemento de intención, y el elemento de demanda y especifica las acciones respectivas. 7. Método de conformidad con la reivindicación 3, caracterizado porque comprende: . . - asociar el elemento de cesión, el elemento de obligación, el elemento de prohibición, el elemento de demanda, y el elemento de intención con un elemento de cláusula del lenguaje de expresión de legalidad. 8. Método de conformidad con la reivindicación 7, caracterizado porque comprende: asociar el elemento de cláusula con un elemento de promesa del lenguaje de expresión de legalidad, dicho elemento de promesa especifica una promesa en la expresión de legalidad; y asociar el elemento de cláusula con un elemento emisor del lenguaje de expresión de legalidad, el elemento emisor especifica un emisor de dicha cláusula. 9. Método de conformidad con la reivindicación 1, caracterizado porque comprende: especificar al menos un firmante de un contrato especificado usando la expresión de legalidad con un elemento firmante asociado con dicha expresión de legalidad. 10. Método de conformidad con la reivindicación 1, caracterizado porque comprende: especificar una licencia asociada con un contrato especificado usando la expresión de legalidad con un elemento de licencia asociado con dicha expresión de legalidad. 11. Método de conformidad con la reivindicación 1 , caracterizado porque" comprende : . --¦ especificar metadatos asociados con un contrato especificado usando la expresión de legalidad con un elemento de- metadatos asociado con dicha expresión de legalidad. 12. Método de conformidad con la reivindicación 1, caracterizado porque comprende: basar el lenguaje de expresión de legalidad en un lenguaje basado en gramática. 13. Método de conformidad con la reivindicación 7, caracterizado porque comprende: especificar con uno o más de los elementos de demanda, una política de preferencia que especifica una preferencia para un proceso y aceptación respectiva de uno o más de dichos elementos de cláusula. 14. Método de conformidad con la reivindicación 13, caracterizado porque la política de preferencia incluye la preferencia basada en un orden de eventos de uno o más de dichos elementos de cláusula. 15. Método de conformidad con la reivindicación 13, caracterizado porque la política de preferencia incluye la preferencia basada en tiempos de' emisión de uno o más de dichos elementos de cláusula. 16. Método de conformidad con la reivindicación 13, caracterizado porque la política de preferencia incluye la preferencia basada en emisores de uno o más de dichos elementos de cláusula . - 17. Método de conformidad con la reivindicación 13, caracterizado porque la política de preferencia incluye la preferencia basada en un tipo de uno o más de dichos elementos de cláusula. 18. Método de conformidad con la reivindicación 13, caracterizado porque la política de preferencia incluye la preferencia basada en una combinación de al menos dos, de un orden de eventos de uno o más de dichos elementos de cláusula, tiempos de emisión de uno o más de los elementos de cláusula, emisores de uno o más de los elementos de cláusula, y un tipo de uno o más de dichos elementos de cláusula. 19. Método de conformidad con la reivindicación 7, caracterizado porque comprende: estabilizar una relación de conflabilidad, que incluye , especificar en el elemento de demanda, que un mandante confía un recurso que comprende un emisor de una cláusula basado en un elemento de acción que comprende un elemento de conflabilidad . 20. Método de conformidad con la reivindicación 7, caracterizado porque comprende: establecer una relación de unión, que incluye, especificar en el elemento de demanda, que un mandante se une a .u recurso que comprende un firmante de un contrato basado en el elemento de acción que comprende un elemento de unión. 21. Método de conformidad con la reivindicación 7, caracterizado porque comprende: establecer una relación de confianza, que incluye, especificar en el elemento de demanda que un mandante confía un recurso que comprende una cláusula basada en dicho elemento de acci-ón que comprende un elemento de conflabilidad. 22. Método de conformidad con la reivindicación 7, caracterizado porque comprende: establecer una relación de unión, que incluye, especificar en un elemento de demanda, que un mandante se une a un recurso que comprende una cláusula basada en dicho elemento de acción que comprende un elemento de unión. 23. Método de conformidad con. la reivindicación 7, caracterizado porque comprende: proporcionar procesamiento guiado por consulta, que incluye, someter una cláusula como una consulta, y un contexto que incluye uno o más de dichos elementos de demanda , igualar la cláusula contra una o más cláusulas en un contrato que son válidas en dicho contexto, -r_-v ·.— · y 'el~imi:na? cláusulas en el contrato que. se . igualan - a la consulta y son válidas en el contexto como una respuesta a la consulta. 24. Método de conformidad con la reivindicación 7, caracterizado porque comprende: proporcionar procesamiento guiado por contexto, que incluye, someter un contexto en respuesta a una activación, dicho contexto incluye uno o más elementos de demanda, igualar una o más cláusulas en un contrato que son válidas en el contexto, y eliminar cláusulas en el contrato que son válidas en el contexto. 25. Método de conformidad con la reivindicación 13, caracterizado porque comprende: proporcionar procesamiento guiado por conflicto o multiplicidad, que incluye, someter dos o más cláusulas que tienen conflicto o multiplicidad, resolver el conflicto o multiplicidad basado en un contexto y la política de preferencia, dicho contexto incluye uno o más elementos de demanda, y eliminar cláusulas resueltas como un resultado de la resolución. 26. Método de conformidad con la reivindicación 7, caracterizado porque ' comprende : ....... - - proporcionar procesamiento guiado por consulta, que incluye, someter una cláusula como una consulta, y un contexto que incluye uno o más de dichos elementos de demanda, igualar dicha cláusula contra una o más cláusulas en un contrato que son válidas en el contexto, y eliminar cláusulas en el contrato que igualan dicha consulta y son válidas en el contexto como una respuesta a la consulta, proporcionar un procesamiento guiado por consulta, que incluye, someter un contexto en respuesta a una provocada, el contexto incluye uno o más elementos de demanda, igualar una o más cláusulas en un contrato que son válidas en el contexto, y eliminar cláusulas en dicho contrato que son válidas en el contexto; proporcionar procesamiento guiado por conflicto o multiplicidad, que incluye, someter dos o más cláusulas que tienen conflicto o multiplicidad de al menos una de dicha respuesta de consulta y cláusulas válidas, resolver dicho conflicto o multiplicidad basado en un.-contexto; y"política d preferencia, dicho contexto -incluye uno o más elementos de demanda, y eliminar cláusulas resueltas como un resultado de la resolución; y ejecutar una acción especificada en el. elemento de acción basado en el resultado de la resolución. 27. Sistema para procesar una expresión de legalidad, caracterizado porque comprende: medios para proporcionar un lenguaje de expresión de legalidad, que incluyen al menos, un elemento de obligación que especifica una obligación que un mandante debe ejecutar una acción, un elemento de prohibición que especifica una prohibición que un mandante no debe ejecutar una acción, un elemento de intención que especifica una intención que el mandante desea ejecutar una acción, y un elemento de demanda que especifica una afirmación de que un mandante ejecute una acción; y medios para interpretar una expresión de legalidad especificada usando dicho lenguaje de expresión de legalidad. 28. Sistema de conformidad con la reivindicación 27, caracterizado porque dichos medios para proporcionar, y los medios para interpretar comprenden dispositivos de un sistema computarizado . 29. Sistema de conformidad con la reivindicación 27, caracterizado porque dichos medios para proporcionar, y los medios para interpretar comprenden instrucciones legibles en computadora grabadas en un medio. ^ . - 30. Expresión de legalidad adaptada para uso en un sistema para procesar la expresión de legalidad, dicha expresión de legalidad caracterizada porque comprende al menos , un elemento de obligación que especifica una obligación que un mandante debe ejecutar una acción, un elemento de prohibición que especifica una prohibición que un mandante no debe ejecutar una acción, un elemento de intención que especifica una intención que el mandante desea ejecutar una acción, y un elemento de demanda que especifica una afirmación de que un mandante ejecute una acción, por lo cual un sistema computarizado puede interpretar dicha expresión de legalidad. 31. Expresión de legalidad de conformidad con la reivindicación 30, caracterizada porque un sistema computarizado puede aplicar al menos, una de las obligaciones basadas en el elemento de obligación verificando que dicho mandante ha ejecutado la acción, y la prohibición basado en el elemento de prohibición, verificando que el mandante no ha ejecutado la acción. 32. Expresión de legalidad de conformidad con la reivindicación 30, caracterizada porque comprende: un elemento de cesión que especifica un permiso que un mandante -puede- e'j ecu~ar una acción, por lo cual un sistema computarizado puede aplicar al menos, dicho permiso basado en el elemento de cesión verificando que el mandante pueda ejecutar dicha acción, la intención se basa en el elemento de intención verificando que el mandante desee ejecutar dicha acción, y la afirmación basada en el elemento de demanda verificando que dicho mandante ejecute la acción. 33. Método de conformidad con la reivindicación 1, caracterizado porque comprende: proporcionar en dicho lenguaje de expresión de legalidad, un elemento de intervalo de validez que especifica una duración de intervalo de tiempo, en el cual la expresión de legalidad es válida. 34. Método de conformidad con la reivindicación 2, caracterizado porque comprende: aplicar la obligación basada en el elemento de obligación, verificando que dicho mandante ha ejecutado la acción. 35. Método de conformidad con la reivindicación 2, caracterizado porque comprende: aplicar la prohibición basada en el elemento de prohibición, verificando que dicho mandante no ha ejecutado la acción. 36. Método de conformidad con la reivindicación 3, -caracterizado- porque' comprende": aplicar el permiso basado en el elemento de cesión verificando que dicho mandante pueda ejecutar dicha acción. 37. Método de conformidad con la reivindicación 3, caracterizado porque comprende: aplicar la intención basada en el elemento de intento verificando que dicho mandante desea ejecutar la acción . 38. Método de conformidad con la reivindicación 3, caracterizado porque comprende: Aplicar la afirmación basada en el elemento de demanda verificando que dicho mandante ejecute la acción. 39. Sistema implementado por computadora especificar y procesar una expresión de legalidad, caracterizado porque el sistema comprende: medios para especificar una expresión de legalidad basado en una gramática que define una promesa que especifica si una o más entidades tienen al menos, una obligación, una prohibición, una intención y una afirmación con respecto a la ejecución de una acción definida por la ' expresión de legalidad; y medios para el procesamiento de una petición para ejecutar la acción. 40. Sistema de conformidad con la reivindicación 39, caracterizado porque el sistema se configura en un modo guiado-por consul:ta~de operación. 41. Sistema de conformidad con la reivindicación 39, caracterizado porque además comprende: medios para determinar sí la petición iguala a la promesa . 42. Sistema de conformidad con la reivindicación 41, caracterizado porque además comprende: medios para generar una respuesta a la petición basada en una promesa igualada. 43. Sistema de conformidad con la reivindicación 42, caracterizado porque además comprende: 39, caracteri2ado porque además comprende: medios para asociar la promesa con uno o más emisores, en donde la promesa se especifica junto con la información con respecto a los emisores. 50. Sistema de conformidad con la reivindicación 49, caracterizado porque los medios de procesamiento procesan la petición basada en la promesa, y el sistema además comprende medios para determinar sí la petición para ejecutar la acción ha sido emitida por los emisores. 51. Sistema de conformidad con la reivindicación 50, caracterizado porque además comprende: medios para verificar sí los emisores son de una lista de emisores confiables. 52. Sistema de conformidad con la reivindicación ,3¾, caracterizado"¾órque además comprende: medios para asociar la expresión de legalidad con uno o más firmantes, en donde la expresión de legalidad se especifica junto con la información con respecto a los firman es . 53. Sistema de conformidad con la reivindicación 2, caracterizado porque los medios de procesamiento procesan la petición basada en la promesa, y el sistema además comprende medios para determinar sí la petición para ejecutar la acción ha sido acordada por los firmantes. 54. Sistema de conformidad con la reivindicación 39, caracterizado porque la gramática incluye elementos de gramática para especificar las obligación, la , prohibición, la intención y la afirmación, con respecto de la ejecución de la acción definida por la expresión de legalidad. 55. Sistema de conformidad con la reivindicación 39, caracterizado porque la gramática incluye una o más condiciones para la obligación, la prohibición, la intención, y la afirmación, con respecto a la ejecución de la acción definida por la expresión de legalidad, y las condiciones se deben satisfacer antes que la promesa llegue a ser válida y efectiva. 56. Sistema de conformidad con la' reivindicación 39, caracterizado porque la gramática especifica además una dependencia de la promesa en otra promesa. _ -57'.- "Sistema'7 de 'conformidad con la reivindicación 55, caracterizado porque la dependencia de la promesa .se basa en un cumplimiento de la obligación, obediencia de la prohibición, compromiso de la intención y validación de la afirmación. 58. Sistema de' conformidad con la reivindicación 39, caracterizado porque la expresión de legalidad comprende un contrato. 59. Sistema de conformidad con la reivindicación 39, caracterizado porque el contrato es entre la primera entidad y especifica uno o más contratos adicionales entre una o más entidades adicionales. 60. Sistema de conformidad con la reivindicación 39, caracterizado porque el contrato comprende un contrato electrónico. 61. Sistema de conformidad con la reivindicación 39, caracterizado porque una o más entidades incluyen una pluralidad de principios. 62. Sistema de conformidad con la reivindicación 39, caracterizado porque el contrato comprende un contrato electrónico . 63. Sistema de conformidad con la reivindicación 39, caracterizado porque una o más. entidades incluyen una pluralidad de principios.
Applications Claiming Priority (3)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
US37580802P | 2002-04-29 | 2002-04-29 | |
US41178902P | 2002-09-19 | 2002-09-19 | |
PCT/US2003/013352 WO2003094077A1 (en) | 2002-04-29 | 2003-04-29 | System and method for specifying and processing legality expressions |
Publications (1)
Publication Number | Publication Date |
---|---|
MXPA04010604A true MXPA04010604A (es) | 2004-12-13 |
Family
ID=29406735
Family Applications (2)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
MXPA04010541A MXPA04010541A (es) | 2002-04-29 | 2003-04-29 | Sistema de manejo de derechos que usa lenguaje de expresiones de legalidad. |
MXPA04010604A MXPA04010604A (es) | 2002-04-29 | 2003-04-29 | Sistema y metodo para especificar y procesar expresiones de legalidad. |
Family Applications Before (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
MXPA04010541A MXPA04010541A (es) | 2002-04-29 | 2003-04-29 | Sistema de manejo de derechos que usa lenguaje de expresiones de legalidad. |
Country Status (9)
Country | Link |
---|---|
US (4) | US20040024670A1 (es) |
EP (2) | EP1502221A4 (es) |
JP (2) | JP2006501536A (es) |
KR (2) | KR100671073B1 (es) |
CN (2) | CN1659559A (es) |
AU (2) | AU2003243179B2 (es) |
CA (1) | CA2484493A1 (es) |
MX (2) | MXPA04010541A (es) |
WO (2) | WO2003094076A1 (es) |
Families Citing this family (70)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US6711554B1 (en) * | 1999-12-30 | 2004-03-23 | Lee Salzmann | Method and system for managing and preparing documentation for real estate transactions |
US8180904B1 (en) | 2001-04-26 | 2012-05-15 | Nokia Corporation | Data routing and management with routing path selectivity |
US9032097B2 (en) * | 2001-04-26 | 2015-05-12 | Nokia Corporation | Data communication with remote network node |
US8990334B2 (en) * | 2001-04-26 | 2015-03-24 | Nokia Corporation | Rule-based caching for packet-based data transfer |
US9143545B1 (en) * | 2001-04-26 | 2015-09-22 | Nokia Corporation | Device classification for media delivery |
US20060167985A1 (en) * | 2001-04-26 | 2006-07-27 | Albanese Michael J | Network-distributed data routing |
US7725404B2 (en) * | 2002-02-27 | 2010-05-25 | Imagineer Software, Inc. | Secure electronic commerce using mutating identifiers |
US6996544B2 (en) * | 2002-02-27 | 2006-02-07 | Imagineer Software, Inc. | Multiple party content distribution system and method with rights management features |
US20060195402A1 (en) * | 2002-02-27 | 2006-08-31 | Imagineer Software, Inc. | Secure data transmission using undiscoverable or black data |
US7376624B2 (en) * | 2002-02-27 | 2008-05-20 | Imagineer Software, Inc. | Secure communication and real-time watermarking using mutating identifiers |
US7676420B1 (en) * | 2002-06-19 | 2010-03-09 | Accenture Global Services Gmbh | Electronic settlement of petroleum and gas distributions |
US9553879B2 (en) * | 2003-06-06 | 2017-01-24 | Core Wireless Licensing S.A.R.L. | Method and apparatus to represent and use rights for content/media adaptation/transformation |
US7299171B2 (en) * | 2004-08-17 | 2007-11-20 | Contentguard Holdings, Inc. | Method and system for processing grammar-based legality expressions |
JP4952249B2 (ja) * | 2004-11-02 | 2012-06-13 | 大日本印刷株式会社 | 管理システム |
US9400875B1 (en) | 2005-02-11 | 2016-07-26 | Nokia Corporation | Content routing with rights management |
US20060225055A1 (en) * | 2005-03-03 | 2006-10-05 | Contentguard Holdings, Inc. | Method, system, and device for indexing and processing of expressions |
US8126969B1 (en) * | 2005-03-08 | 2012-02-28 | At&T Intellectual Property Ii, L.P. | Policy based dissemination control of electronic messages |
US20110153509A1 (en) | 2005-05-27 | 2011-06-23 | Ip Development Venture | Method and apparatus for cross-referencing important ip relationships |
US7730523B1 (en) * | 2005-06-17 | 2010-06-01 | Oracle America, Inc. | Role-based access using combinatorial inheritance and randomized conjugates in an internet hosted environment |
US20070078777A1 (en) * | 2005-09-29 | 2007-04-05 | Contentguard Holdings, Inc. | System and method for digital rights management using advanced copy with issue rights, and managed copy tokens |
US20080120239A1 (en) * | 2006-11-21 | 2008-05-22 | General Instrument Corporation | Method and System for Adapting Pre-Defined Rights of a Digital Content |
BRPI0816777A2 (pt) | 2007-09-12 | 2017-05-02 | Sony Corp | método e sistema de distribuição de conteúdo para um ou mais dispositivos de usuários |
US8200736B2 (en) | 2007-12-24 | 2012-06-12 | Qualcomm Incorporated | Virtual SIM card for mobile handsets |
US20090191846A1 (en) * | 2008-01-25 | 2009-07-30 | Guangming Shi | Biometric smart card for mobile devices |
US20090222926A1 (en) * | 2008-02-28 | 2009-09-03 | Honeywell International Inc. | Software license management system that functions in a disconnected or intermittently connected mode |
US20090222505A1 (en) * | 2008-02-28 | 2009-09-03 | Honeywell International Inc. | Peer to peer software license management system for temporarily relocating available software licenses |
DE102009017730A1 (de) * | 2008-04-30 | 2009-11-05 | Continental Teves Ag & Co. Ohg | Fahrzeugschlüssel zum Speichern einer Fahrzeugkennung |
US8655826B1 (en) | 2008-08-01 | 2014-02-18 | Motion Picture Laboratories, Inc. | Processing and acting on rules for content recognition systems |
US20100131513A1 (en) | 2008-10-23 | 2010-05-27 | Lundberg Steven W | Patent mapping |
US20100161488A1 (en) * | 2008-12-22 | 2010-06-24 | Paul Michael Evans | Methods and systems for biometric verification |
US20100212016A1 (en) * | 2009-02-18 | 2010-08-19 | Microsoft Corporation | Content protection interoperrability |
US8811969B2 (en) * | 2009-06-08 | 2014-08-19 | Qualcomm Incorporated | Virtual SIM card for mobile handsets |
US20100311402A1 (en) * | 2009-06-08 | 2010-12-09 | Prasanna Srinivasan | Method and apparatus for performing soft switch of virtual sim service contracts |
US8639245B2 (en) * | 2009-06-08 | 2014-01-28 | Qualcomm Incorporated | Method and apparatus for updating rules governing the switching of virtual SIM service contracts |
US8634828B2 (en) * | 2009-06-08 | 2014-01-21 | Qualcomm Incorporated | Method and apparatus for switching virtual SIM service contracts based upon a user profile |
US8649789B2 (en) * | 2009-06-08 | 2014-02-11 | Qualcomm Incorporated | Method and apparatus for switching virtual SIM service contracts when roaming |
US8352560B2 (en) * | 2009-06-30 | 2013-01-08 | International Business Machines Corporation | Controlling location and time preferences for messages |
US8676180B2 (en) * | 2009-07-29 | 2014-03-18 | Qualcomm Incorporated | Virtual SIM monitoring mode for mobile handsets |
US8443202B2 (en) * | 2009-08-05 | 2013-05-14 | Daon Holdings Limited | Methods and systems for authenticating users |
US8402555B2 (en) | 2010-03-21 | 2013-03-19 | William Grecia | Personalized digital media access system (PDMAS) |
US20100185868A1 (en) * | 2010-03-21 | 2010-07-22 | William Grecia | Personilized digital media access system |
US8825846B2 (en) * | 2010-12-10 | 2014-09-02 | Max Goncharov | Proactive intellectual property enforcement system |
US8863256B1 (en) | 2011-01-14 | 2014-10-14 | Cisco Technology, Inc. | System and method for enabling secure transactions using flexible identity management in a vehicular environment |
US9904726B2 (en) | 2011-05-04 | 2018-02-27 | Black Hills IP Holdings, LLC. | Apparatus and method for automated and assisted patent claim mapping and expense planning |
US20120304075A1 (en) * | 2011-05-23 | 2012-11-29 | Dworkin Ross E | System and method for management of motions |
US20130086093A1 (en) | 2011-10-03 | 2013-04-04 | Steven W. Lundberg | System and method for competitive prior art analytics and mapping |
US20130275275A1 (en) * | 2012-04-13 | 2013-10-17 | Thought Equity Motion, Inc. | Digital content marketplace |
US9299049B2 (en) * | 2013-03-15 | 2016-03-29 | Sap Se | Contract-based process integration |
US9350735B1 (en) * | 2013-12-31 | 2016-05-24 | Emc Corporation | Context-based dynamic information rights management |
US20150262145A1 (en) * | 2014-03-11 | 2015-09-17 | Mark A. Aspenson | Distribution and sales system for products and services |
US10713895B2 (en) * | 2015-09-28 | 2020-07-14 | Interblock D.D. | Demonstration mode in skill-based gaming technology |
US10296907B1 (en) | 2016-02-01 | 2019-05-21 | United Services Automobile Association (Usaa) | Systems and methods for electronic presentation of financial instrument offers |
US10139930B2 (en) | 2016-11-09 | 2018-11-27 | Dell Products L.P. | Information handling system capacitive touch totem management |
US10139951B2 (en) | 2016-11-09 | 2018-11-27 | Dell Products L.P. | Information handling system variable capacitance totem input management |
US10139973B2 (en) | 2016-11-09 | 2018-11-27 | Dell Products L.P. | Information handling system totem tracking management |
US10146366B2 (en) | 2016-11-09 | 2018-12-04 | Dell Products L.P. | Information handling system capacitive touch totem with optical communication support |
US10496216B2 (en) | 2016-11-09 | 2019-12-03 | Dell Products L.P. | Information handling system capacitive touch totem with optical communication support |
US10332325B2 (en) | 2017-09-05 | 2019-06-25 | Suprema Inc. | Access control system and access control method using the same |
US10459528B2 (en) | 2018-02-28 | 2019-10-29 | Dell Products L.P. | Information handling system enhanced gesture management, control and detection |
US10817077B2 (en) | 2018-06-28 | 2020-10-27 | Dell Products, L.P. | Information handling system touch device context aware input tracking |
US10761618B2 (en) | 2018-06-28 | 2020-09-01 | Dell Products L.P. | Information handling system touch device with automatically orienting visual display |
US10635199B2 (en) | 2018-06-28 | 2020-04-28 | Dell Products L.P. | Information handling system dynamic friction touch device for touchscreen interactions |
US10664101B2 (en) | 2018-06-28 | 2020-05-26 | Dell Products L.P. | Information handling system touch device false touch detection and mitigation |
US10852853B2 (en) | 2018-06-28 | 2020-12-01 | Dell Products L.P. | Information handling system touch device with visually interactive region |
US10795502B2 (en) | 2018-06-28 | 2020-10-06 | Dell Products L.P. | Information handling system touch device with adaptive haptic response |
US11803706B2 (en) | 2020-01-24 | 2023-10-31 | Thomson Reuters Enterprise Centre Gmbh | Systems and methods for structure and header extraction |
US20210398232A1 (en) * | 2020-06-17 | 2021-12-23 | Jpmorgan Chase Bank, N.A. | System and method for implementing a market data contract analytics tool |
CN111835584A (zh) * | 2020-06-19 | 2020-10-27 | 深圳奇迹智慧网络有限公司 | 物联网产品的巡检方法、装置、计算机设备和存储介质 |
US11734356B2 (en) * | 2020-09-11 | 2023-08-22 | Jpmorgan Chase Bank, N.A. | System and method for implementing an open policy agent bridge |
CN112883687B (zh) * | 2021-02-05 | 2022-03-15 | 北京科技大学 | 一种基于合同文本标记语言的法律合同交互式标注方法 |
Family Cites Families (204)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
FR2258112A5 (es) | 1973-11-30 | 1975-08-08 | Honeywell Bull Soc Ind | |
CH624877A5 (es) * | 1977-05-13 | 1981-08-31 | Idc Chemie Ag | |
US4278837A (en) | 1977-10-31 | 1981-07-14 | Best Robert M | Crypto microprocessor for executing enciphered programs |
US4159468A (en) * | 1977-11-17 | 1979-06-26 | Burroughs Corporation | Communications line authentication device |
GB2022969B (en) | 1978-04-12 | 1982-06-09 | Data Recall Ltd | Video display control apparatus |
US4361851A (en) * | 1980-01-04 | 1982-11-30 | Asip William F | System for remote monitoring and data transmission over non-dedicated telephone lines |
AU556499B2 (en) | 1981-05-22 | 1986-11-06 | Data General Corporation | Data processing system |
US4423287A (en) * | 1981-06-26 | 1983-12-27 | Visa U.S.A., Inc. | End-to-end encryption system and method of operation |
US4429385A (en) * | 1981-12-31 | 1984-01-31 | American Newspaper Publishers Association | Method and apparatus for digital serial scanning with hierarchical and relational access |
US4578531A (en) | 1982-06-09 | 1986-03-25 | At&T Bell Laboratories | Encryption system key distribution method and apparatus |
US4816658A (en) * | 1983-01-10 | 1989-03-28 | Casi-Rusco, Inc. | Card reader for security system |
EP0148235B1 (en) * | 1983-06-30 | 1988-10-05 | Independent Broadcasting Authority | Encrypted broadcast television system |
US4658093A (en) | 1983-07-11 | 1987-04-14 | Hellman Martin E | Software distribution system |
US4652990A (en) | 1983-10-27 | 1987-03-24 | Remote Systems, Inc. | Protected software access control apparatus and method |
US4740890A (en) * | 1983-12-22 | 1988-04-26 | Software Concepts, Inc. | Software protection system with trial period usage code and unlimited use unlocking code both recorded on program storage media |
US4621321A (en) * | 1984-02-16 | 1986-11-04 | Honeywell Inc. | Secure data processing system architecture |
US4952209A (en) * | 1985-10-07 | 1990-08-28 | Muehlbauer Ernst | Applicator syringe for a dental compound |
US4787035A (en) * | 1985-10-17 | 1988-11-22 | Westinghouse Electric Corp. | Meta-interpreter |
LU86203A1 (fr) * | 1985-12-11 | 1987-07-24 | Cen Centre Energie Nucleaire | Procede et appareil verifiant l'authenticite de documents lies a une personne et l'identite de leurs porteurs |
US5319710A (en) | 1986-08-22 | 1994-06-07 | Tandem Computers Incorporated | Method and means for combining and managing personal verification and message authentication encrytions for network transmission |
DE3782780T2 (de) | 1986-08-22 | 1993-06-09 | Nec Corp | Schluesselverteilungsverfahren. |
US5014234A (en) * | 1986-08-25 | 1991-05-07 | Ncr Corporation | System with software usage timer and counter for allowing limited use but preventing continued unauthorized use of protected software |
JPH087720B2 (ja) | 1986-09-16 | 1996-01-29 | 富士通株式会社 | 複数サービス用icカードの領域アクセス方法 |
US4977594A (en) | 1986-10-14 | 1990-12-11 | Electronic Publishing Resources, Inc. | Database usage metering and protection system and method |
EP0268139A3 (en) | 1986-11-05 | 1991-04-10 | International Business Machines Corporation | Manipulating rights-to-execute in connection with a software copy protection mechanism |
US5109413A (en) | 1986-11-05 | 1992-04-28 | International Business Machines Corporation | Manipulating rights-to-execute in connection with a software copy protection mechanism |
US4796220A (en) * | 1986-12-15 | 1989-01-03 | Pride Software Development Corp. | Method of controlling the copying of software |
US4868376A (en) * | 1987-05-15 | 1989-09-19 | Smartcard International Inc. | Intelligent portable interactive personal data system |
US5390297A (en) | 1987-11-10 | 1995-02-14 | Auto-Trol Technology Corporation | System for controlling the number of concurrent copies of a program in a network based on the number of available licenses |
US4937863A (en) * | 1988-03-07 | 1990-06-26 | Digital Equipment Corporation | Software licensing management system |
US5247575A (en) * | 1988-08-16 | 1993-09-21 | Sprague Peter J | Information distribution system |
US4888638A (en) * | 1988-10-11 | 1989-12-19 | A. C. Nielsen Company | System for substituting television programs transmitted via telephone lines |
US4953209A (en) * | 1988-10-31 | 1990-08-28 | International Business Machines Corp. | Self-verifying receipt and acceptance system for electronically delivered data objects |
US4956863A (en) | 1989-04-17 | 1990-09-11 | Trw Inc. | Cryptographic method and apparatus for public key exchange with authentication |
US5129083A (en) * | 1989-06-29 | 1992-07-07 | Digital Equipment Corporation | Conditional object creating system having different object pointers for accessing a set of data structure objects |
US5138712A (en) | 1989-10-02 | 1992-08-11 | Sun Microsystems, Inc. | Apparatus and method for licensing software on a network of computers |
GB9004901D0 (en) * | 1990-03-05 | 1990-05-02 | Space Communications Sat Tel L | Television scrambler |
EP0450841B1 (en) | 1990-03-29 | 1996-08-21 | Gte Laboratories Incorporated | Video control system |
US5174641A (en) | 1990-07-25 | 1992-12-29 | Massachusetts Institute Of Technology | Video encoding method for television applications |
US5058162A (en) | 1990-08-09 | 1991-10-15 | Hewlett-Packard Company | Method of distributing computer data files |
JPH05134957A (ja) * | 1990-10-10 | 1993-06-01 | Fuji Xerox Co Ltd | データ管理システム |
US5263162A (en) * | 1990-11-07 | 1993-11-16 | Hewlett-Packard Company | Method of validating a label translation configuration by parsing a real expression describing the translation configuration |
WO1992020022A1 (en) | 1991-05-08 | 1992-11-12 | Digital Equipment Corporation | Management interface and format for license management system |
EP0538464B1 (en) * | 1991-05-08 | 1998-12-30 | Digital Equipment Corporation | License management system |
US5260999A (en) | 1991-06-28 | 1993-11-09 | Digital Equipment Corporation | Filters in license management system |
US5204897A (en) * | 1991-06-28 | 1993-04-20 | Digital Equipment Corporation | Management interface for license management system |
US5940504A (en) | 1991-07-01 | 1999-08-17 | Infologic Software, Inc. | Licensing management system and method in which datagrams including an address of a licensee and indicative of use of a licensed product are sent from the licensee's site |
US5142578A (en) | 1991-08-22 | 1992-08-25 | International Business Machines Corporation | Hybrid public key algorithm/data encryption algorithm key distribution method based on control vectors |
US5276444A (en) * | 1991-09-23 | 1994-01-04 | At&T Bell Laboratories | Centralized security control system |
US5557518A (en) | 1994-04-28 | 1996-09-17 | Citibank, N.A. | Trusted agents for open electronic commerce |
US5453601A (en) * | 1991-11-15 | 1995-09-26 | Citibank, N.A. | Electronic-monetary system |
WO1993011480A1 (en) | 1991-11-27 | 1993-06-10 | Intergraph Corporation | System and method for network license administration |
ATE207278T1 (de) * | 1992-01-08 | 2001-11-15 | Broadband Innovations Inc | Mehrkanal-fernsehsignal ver- und entschlüsselungssystem und -verfahren |
JP2659896B2 (ja) | 1992-04-29 | 1997-09-30 | インターナショナル・ビジネス・マシーンズ・コーポレイション | 構造化文書複製管理方法及び構造化文書複製管理装置 |
US5412717A (en) | 1992-05-15 | 1995-05-02 | Fischer; Addison M. | Computer system security method and apparatus having program authorization information data structures |
US5237611A (en) | 1992-07-23 | 1993-08-17 | Crest Industries, Inc. | Encryption/decryption apparatus with non-accessible table of keys |
US5287408A (en) | 1992-08-31 | 1994-02-15 | Autodesk, Inc. | Apparatus and method for serializing and validating copies of computer software |
US5293422A (en) * | 1992-09-23 | 1994-03-08 | Dynatek, Inc. | Usage control system for computer software |
JP3358627B2 (ja) * | 1992-10-16 | 2002-12-24 | ソニー株式会社 | 情報記録再生装置 |
US5414852A (en) | 1992-10-30 | 1995-05-09 | International Business Machines Corporation | Method for protecting data in a computer system |
GB9303595D0 (en) | 1993-02-23 | 1993-04-07 | Int Computers Ltd | Licence management mechanism for a computer system |
US5337357A (en) * | 1993-06-17 | 1994-08-09 | Software Security, Inc. | Method of software distribution protection |
US5386369A (en) * | 1993-07-12 | 1995-01-31 | Globetrotter Software Inc. | License metering system for software applications |
US6135646A (en) * | 1993-10-22 | 2000-10-24 | Corporation For National Research Initiatives | System for uniquely and persistently identifying, managing, and tracking digital objects |
US5625690A (en) | 1993-11-15 | 1997-04-29 | Lucent Technologies Inc. | Software pay per use system |
US5495411A (en) | 1993-12-22 | 1996-02-27 | Ananda; Mohan | Secure software rental system using continuous asynchronous password verification |
US5504816A (en) * | 1994-02-02 | 1996-04-02 | Gi Corporation | Method and apparatus for controlling access to digital signals |
US5553143A (en) | 1994-02-04 | 1996-09-03 | Novell, Inc. | Method and apparatus for electronic licensing |
US5787172A (en) * | 1994-02-24 | 1998-07-28 | The Merdan Group, Inc. | Apparatus and method for establishing a cryptographic link between elements of a system |
US5563946A (en) | 1994-04-25 | 1996-10-08 | International Business Machines Corporation | Method and apparatus for enabling trial period use of software products: method and apparatus for passing encrypted files between data processing systems |
US5799087A (en) * | 1994-04-28 | 1998-08-25 | Citibank, N.A. | Electronic-monetary system |
US5636346A (en) * | 1994-05-09 | 1997-06-03 | The Electronic Address, Inc. | Method and system for selectively targeting advertisements and programming |
US5564038A (en) | 1994-05-20 | 1996-10-08 | International Business Machines Corporation | Method and apparatus for providing a trial period for a software license product using a date stamp and designated test period |
US5477263A (en) | 1994-05-26 | 1995-12-19 | Bell Atlantic Network Services, Inc. | Method and apparatus for video on demand with fast forward, reverse and channel pause |
US5694546A (en) * | 1994-05-31 | 1997-12-02 | Reisman; Richard R. | System for automatic unattended electronic information transport between a server and a client by a vendor provided transport software with a manifest list |
EP0690399A3 (en) * | 1994-06-30 | 1997-05-02 | Tandem Computers Inc | Remote controlled financial transaction system |
US5535276A (en) * | 1994-11-09 | 1996-07-09 | Bell Atlantic Network Services, Inc. | Yaksha, an improved system and method for securing communications using split private key asymmetric cryptography |
US5838792A (en) * | 1994-07-18 | 1998-11-17 | Bell Atlantic Network Services, Inc. | Computer system for centralized session key distribution, privacy enhanced messaging and information distribution using a split private key public cryptosystem |
US5557678A (en) * | 1994-07-18 | 1996-09-17 | Bell Atlantic Network Services, Inc. | System and method for centralized session key distribution, privacy enhanced messaging and information distribution using a split private key public cryptosystem |
JPH0854951A (ja) * | 1994-08-10 | 1996-02-27 | Fujitsu Ltd | ソフトウェア使用量管理装置 |
US5737420A (en) | 1994-09-07 | 1998-04-07 | Mytec Technologies Inc. | Method for secure data transmission between remote stations |
US6189037B1 (en) * | 1994-09-30 | 2001-02-13 | Intel Corporation | Broadband data interface |
FI100137B (fi) | 1994-10-28 | 1997-09-30 | Vazvan Simin | Reaaliaikainen langaton telemaksujärjestelmä |
US5727065A (en) * | 1994-11-14 | 1998-03-10 | Hughes Electronics | Deferred billing, broadcast, electronic document distribution system and method |
US6963859B2 (en) | 1994-11-23 | 2005-11-08 | Contentguard Holdings, Inc. | Content rendering repository |
US5715403A (en) * | 1994-11-23 | 1998-02-03 | Xerox Corporation | System for controlling the distribution and use of digital works having attached usage rights where the usage rights are defined by a usage rights grammar |
US5634012A (en) | 1994-11-23 | 1997-05-27 | Xerox Corporation | System for controlling the distribution and use of digital works having a fee reporting mechanism |
JPH08263438A (ja) | 1994-11-23 | 1996-10-11 | Xerox Corp | ディジタルワークの配給及び使用制御システム並びにディジタルワークへのアクセス制御方法 |
US5629980A (en) * | 1994-11-23 | 1997-05-13 | Xerox Corporation | System for controlling the distribution and use of digital works |
US5638443A (en) * | 1994-11-23 | 1997-06-10 | Xerox Corporation | System for controlling the distribution and use of composite digital works |
JP4386898B2 (ja) | 1994-12-13 | 2009-12-16 | インターシア ソフトウェア エルエルシー | 暗号鍵システム |
US5485577A (en) * | 1994-12-16 | 1996-01-16 | General Instrument Corporation Of Delaware | Method and apparatus for incremental delivery of access rights |
US7162635B2 (en) * | 1995-01-17 | 2007-01-09 | Eoriginal, Inc. | System and method for electronic transmission, storage, and retrieval of authenticated electronic original documents |
SE504085C2 (sv) | 1995-02-01 | 1996-11-04 | Greg Benson | Sätt och system för att hantera dataobjekt i enlighet med förutbestämda villkor för användare |
US5892900A (en) | 1996-08-30 | 1999-04-06 | Intertrust Technologies Corp. | Systems and methods for secure transaction management and electronic rights protection |
CN1869997A (zh) * | 1995-02-13 | 2006-11-29 | 英特特拉斯特技术公司 | 用于安全交易管理和电子权利保护的系统和方法 |
US5530235A (en) * | 1995-02-16 | 1996-06-25 | Xerox Corporation | Interactive contents revealing storage device |
US5632681A (en) | 1995-03-07 | 1997-05-27 | International Business Machines Corporation | Universal electronic video game renting/distributing system |
US6424717B1 (en) * | 1995-04-03 | 2002-07-23 | Scientific-Atlanta, Inc. | Encryption devices for use in a conditional access system |
US6157719A (en) * | 1995-04-03 | 2000-12-05 | Scientific-Atlanta, Inc. | Conditional access system |
US6246767B1 (en) * | 1995-04-03 | 2001-06-12 | Scientific-Atlanta, Inc. | Source authentication of download information in a conditional access system |
US5717604A (en) | 1995-05-25 | 1998-02-10 | Wiggins; Christopher | Network monitoring system for tracking, billing and recovering licenses |
US5790677A (en) * | 1995-06-29 | 1998-08-04 | Microsoft Corporation | System and method for secure electronic commerce transactions |
FR2736783B1 (fr) * | 1995-07-13 | 1997-08-14 | Thomson Multimedia Sa | Procede et appareil d'enregistrement et de lecture avec un support d'enregistrement de grande capacite |
US5764807A (en) * | 1995-09-14 | 1998-06-09 | Primacomp, Inc. | Data compression using set partitioning in hierarchical trees |
KR0166923B1 (ko) | 1995-09-18 | 1999-03-20 | 구자홍 | 디지탈 방송 시스템의 불법 시청 및 복사 방지방법 및 장치 |
US5765152A (en) * | 1995-10-13 | 1998-06-09 | Trustees Of Dartmouth College | System and method for managing copyrighted electronic media |
US6279112B1 (en) * | 1996-10-29 | 2001-08-21 | Open Market, Inc. | Controlled transfer of information in computer networks |
US5825876A (en) * | 1995-12-04 | 1998-10-20 | Northern Telecom | Time based availability to content of a storage medium |
US5708709A (en) * | 1995-12-08 | 1998-01-13 | Sun Microsystems, Inc. | System and method for managing try-and-buy usage of application programs |
JP2000503154A (ja) * | 1996-01-11 | 2000-03-14 | エムアールジェイ インコーポレイテッド | デジタル所有権のアクセスと分配を制御するためのシステム |
US5870475A (en) | 1996-01-19 | 1999-02-09 | Northern Telecom Limited | Facilitating secure communications in a distribution network |
US5754840A (en) * | 1996-01-23 | 1998-05-19 | Smartpatents, Inc. | System, method, and computer program product for developing and maintaining documents which includes analyzing a patent application with regards to the specification and claims |
US5973756A (en) * | 1996-02-06 | 1999-10-26 | Fca Corporation | IR Transmitter with integral magnetic-stripe ATM type credit card reader & method therefor |
US5848378A (en) * | 1996-02-07 | 1998-12-08 | The International Weather Network | System for collecting and presenting real-time weather information on multiple media |
US5987134A (en) * | 1996-02-23 | 1999-11-16 | Fuji Xerox Co., Ltd. | Device and method for authenticating user's access rights to resources |
DE69703074T2 (de) * | 1996-03-18 | 2001-05-03 | News Datacom Ltd | Chipkartenkopplung für pay-tv-systeme |
US5673316A (en) | 1996-03-29 | 1997-09-30 | International Business Machines Corporation | Creation and distribution of cryptographic envelope |
AU710897B2 (en) | 1996-04-01 | 1999-09-30 | Rovi Solutions Corporation | A method for controlling copy protection in digital video networks |
US5751813A (en) | 1996-04-29 | 1998-05-12 | Motorola, Inc. | Use of an encryption server for encrypting messages |
US5850433A (en) * | 1996-05-01 | 1998-12-15 | Sprint Communication Co. L.P. | System and method for providing an on-line directory service |
CN104376032A (zh) | 1996-05-15 | 2015-02-25 | 英特托拉斯技术公司 | 获取dvd盘受控内容或信息的方法及装置、操作dvd设备的方法 |
JP2810033B2 (ja) | 1996-07-08 | 1998-10-15 | 村越 弘昌 | 稼働管理システム及び稼働管理方法 |
US5850443A (en) | 1996-08-15 | 1998-12-15 | Entrust Technologies, Ltd. | Key management system for mixed-trust environments |
FR2752655B1 (fr) * | 1996-08-20 | 1998-09-18 | France Telecom | Procede et equipement pour affecter a un programme de television deja en acces conditionnel un acces conditionnel complementaire |
GB2316503B (en) | 1996-08-22 | 2000-11-15 | Icl Personal Systems Oy | Software licence management |
US5812664A (en) * | 1996-09-06 | 1998-09-22 | Pitney Bowes Inc. | Key distribution system |
US5850444A (en) | 1996-09-09 | 1998-12-15 | Telefonaktienbolaget L/M Ericsson (Publ) | Method and apparatus for encrypting radio traffic in a telecommunications network |
US6052780A (en) | 1996-09-12 | 2000-04-18 | Open Security Solutions, Llc | Computer system and process for accessing an encrypted and self-decrypting digital information product while restricting access to decrypted digital information |
US5825879A (en) * | 1996-09-30 | 1998-10-20 | Intel Corporation | System and method for copy-protecting distributed video content |
US6006332A (en) * | 1996-10-21 | 1999-12-21 | Case Western Reserve University | Rights management system for digital media |
JPH10133955A (ja) | 1996-10-29 | 1998-05-22 | Matsushita Electric Ind Co Ltd | 可搬型メディア駆動装置とその方法、及び可搬型メディアとネットワークの連携装置とその方法 |
US6108372A (en) | 1996-10-30 | 2000-08-22 | Qualcomm Inc. | Method and apparatus for decoding variable rate data using hypothesis testing to determine data rate |
EP0906700B1 (en) * | 1997-01-27 | 2002-09-11 | Koninklijke Philips Electronics N.V. | Method and system for transferring content information and supplemental information relating thereto |
GB9703193D0 (en) * | 1997-02-15 | 1997-04-02 | Philips Electronics Nv | Television |
BR9714601A (pt) | 1997-03-21 | 2002-09-10 | Canal Plus Sa | Sistema de difusão e recepção e sistema de acesso condicional para o mesmo |
US6108420A (en) | 1997-04-10 | 2000-08-22 | Channelware Inc. | Method and system for networked installation of uniquely customized, authenticable, and traceable software application |
JP3613929B2 (ja) * | 1997-05-07 | 2005-01-26 | 富士ゼロックス株式会社 | アクセス資格認証装置および方法 |
JP2002501644A (ja) * | 1997-05-07 | 2002-01-15 | ネオメディア テクノロジーズ,インク. | スキャナ強化遠隔制御ユニットおよびオンライン資源に自動的にリンクするためのシステム |
US6112239A (en) * | 1997-06-18 | 2000-08-29 | Intervu, Inc | System and method for server-side optimization of data delivery on a distributed computer network |
GB9714227D0 (en) * | 1997-07-04 | 1997-09-10 | British Telecomm | A method of scheduling calls |
JP3613936B2 (ja) * | 1997-07-07 | 2005-01-26 | 富士ゼロックス株式会社 | アクセス資格認証装置 |
US6584565B1 (en) | 1997-07-15 | 2003-06-24 | Hewlett-Packard Development Company, L.P. | Method and apparatus for long term verification of digital signatures |
DE69802540T2 (de) | 1997-08-01 | 2002-05-23 | Scientific Atlanta | System mit bedingtem zugang |
WO1999007150A1 (en) | 1997-08-01 | 1999-02-11 | Scientific-Atlanta, Inc. | Encryption devices for use in a conditional access system |
JP3671611B2 (ja) * | 1997-08-05 | 2005-07-13 | 富士ゼロックス株式会社 | アクセス資格認証装置および方法 |
WO1999008217A1 (fr) * | 1997-08-05 | 1999-02-18 | Enix Corporation | Collationnement d'empreintes |
JP3622433B2 (ja) * | 1997-08-05 | 2005-02-23 | 富士ゼロックス株式会社 | アクセス資格認証装置および方法 |
US6091777A (en) * | 1997-09-18 | 2000-07-18 | Cubic Video Technologies, Inc. | Continuously adaptive digital video compression system and method for a web streamer |
IL121862A (en) * | 1997-09-29 | 2005-07-25 | Nds Ltd West Drayton | Distributed ird system for pay television systems |
US6112181A (en) | 1997-11-06 | 2000-08-29 | Intertrust Technologies Corporation | Systems and methods for matching, selecting, narrowcasting, and/or classifying based on rights management and/or other information |
US6044466A (en) | 1997-11-25 | 2000-03-28 | International Business Machines Corp. | Flexible and dynamic derivation of permissions |
US6141754A (en) * | 1997-11-28 | 2000-10-31 | International Business Machines Corporation | Integrated method and system for controlling information access and distribution |
US6084969A (en) | 1997-12-31 | 2000-07-04 | V-One Corporation | Key encryption system and method, pager unit, and pager proxy for a two-way alphanumeric pager network |
US6304658B1 (en) | 1998-01-02 | 2001-10-16 | Cryptography Research, Inc. | Leak-resistant cryptographic method and apparatus |
JP4113274B2 (ja) * | 1998-02-05 | 2008-07-09 | 富士ゼロックス株式会社 | 認証装置および方法 |
EP0934765A1 (en) | 1998-02-09 | 1999-08-11 | CANAL+ Société Anonyme | Interactive gaming system |
JP3867388B2 (ja) * | 1998-02-12 | 2007-01-10 | 富士ゼロックス株式会社 | 条件付き認証装置および方法 |
DE69925466T2 (de) | 1998-03-16 | 2006-02-02 | Intertrust Technologies Corp., Santa Clara | Streaming-media-abspielgerät mit fortdauernde kontrolle und schutz von medieninhalt |
US6189146B1 (en) * | 1998-03-18 | 2001-02-13 | Microsoft Corporation | System and method for software licensing |
EP0946022B1 (en) | 1998-03-26 | 2013-12-18 | Nippon Telegraph And Telephone Corporation | Email access control scheme for communication network using identification concealment mechanism |
US6282653B1 (en) | 1998-05-15 | 2001-08-28 | International Business Machines Corporation | Royalty collection method and system for use of copyrighted digital materials on the internet |
FI107984B (fi) | 1998-05-20 | 2001-10-31 | Nokia Networks Oy | Palvelun luvattoman käytön estäminen |
US6216112B1 (en) * | 1998-05-27 | 2001-04-10 | William H. Fuller | Method for software distribution and compensation with replenishable advertisements |
US6219652B1 (en) * | 1998-06-01 | 2001-04-17 | Novell, Inc. | Network license authentication |
EP0964572A1 (en) | 1998-06-08 | 1999-12-15 | CANAL+ Société Anonyme | Decoder and security module for a digital transmission system |
US6169976B1 (en) * | 1998-07-02 | 2001-01-02 | Encommerce, Inc. | Method and apparatus for regulating the use of licensed products |
US6865675B1 (en) | 1998-07-14 | 2005-03-08 | Koninklijke Philips Electronics N.V. | Method and apparatus for use of a watermark and a unique time dependent reference for the purpose of copy protection |
US6275531B1 (en) | 1998-07-23 | 2001-08-14 | Optivision, Inc. | Scalable video coding method and apparatus |
US6226618B1 (en) | 1998-08-13 | 2001-05-01 | International Business Machines Corporation | Electronic content delivery system |
WO2000011871A1 (en) * | 1998-08-23 | 2000-03-02 | Open Entertainment, Inc. | Transaction system for transporting media files from content provider sources to home entertainment devices |
US6397333B1 (en) * | 1998-10-07 | 2002-05-28 | Infineon Technologies Ag | Copy protection system and method |
GB2342827A (en) * | 1998-10-11 | 2000-04-19 | Mark Baker | A system for authentication, data security, digital rights management and encryption for use with electronic commerce and electronic business systems |
US6327652B1 (en) * | 1998-10-26 | 2001-12-04 | Microsoft Corporation | Loading and identifying a digital rights management operating system |
JP2000215165A (ja) | 1999-01-26 | 2000-08-04 | Nippon Telegr & Teleph Corp <Ntt> | 情報アクセス制御方法および装置と情報アクセス制御プログラムを記録した記録媒体 |
CA2290170C (en) * | 1999-01-29 | 2005-06-14 | International Business Machines Corporation | Improved digital signature |
EP1026898A1 (en) | 1999-02-04 | 2000-08-09 | CANAL+ Société Anonyme | Method and apparatus for encrypted transmission |
US20020019814A1 (en) * | 2001-03-01 | 2002-02-14 | Krishnamurthy Ganesan | Specifying rights in a digital rights license according to events |
US6973444B1 (en) | 1999-03-27 | 2005-12-06 | Microsoft Corporation | Method for interdependently validating a digital content package and a corresponding digital license |
RU2233474C2 (ru) | 1999-04-07 | 2004-07-27 | Свисском Мобиле Аг | Способ и система заказа, загрузки и использования входных карточек |
US6453305B1 (en) | 1999-05-21 | 2002-09-17 | Compaq Computer Corporation | Method and system for enforcing licenses on an open network |
AU4661700A (en) | 1999-06-01 | 2000-12-18 | Cacheflow, Inc. | Content delivery system |
WO2001003044A1 (en) | 1999-07-06 | 2001-01-11 | Transcast International, Inc. | Enabling viewers of television systems to participate in auctions |
FR2796183B1 (fr) * | 1999-07-07 | 2001-09-28 | A S K | Ticket d'acces sans contact et son procede de fabrication |
US6796555B1 (en) * | 1999-07-19 | 2004-09-28 | Lucent Technologies Inc. | Centralized video controller for controlling distribution of video signals |
NZ516822A (en) * | 1999-08-06 | 2004-05-28 | Lexis Nexis | System and method for classifying legal concepts using legal topic scheme |
US20020056118A1 (en) * | 1999-08-27 | 2002-05-09 | Hunter Charles Eric | Video and music distribution system |
US6289455B1 (en) * | 1999-09-02 | 2001-09-11 | Crypotography Research, Inc. | Method and apparatus for preventing piracy of digital content |
GB2354102B (en) | 1999-09-08 | 2004-01-14 | Barron Mccann Ltd | Security system |
US6401211B1 (en) * | 1999-10-19 | 2002-06-04 | Microsoft Corporation | System and method of user logon in combination with user authentication for network access |
US6246797B1 (en) | 1999-11-12 | 2001-06-12 | Picsurf, Inc. | Picture and video storage management system and method |
DE19956359A1 (de) | 1999-11-24 | 2001-05-31 | Alcatel Sa | Kartenbuchung mittels einer virtuellen Eintrittskarte |
US6738901B1 (en) * | 1999-12-15 | 2004-05-18 | 3M Innovative Properties Company | Smart card controlled internet access |
WO2001067362A2 (en) * | 2000-03-07 | 2001-09-13 | Broadcom Corporation | An interactive system for and method of automating the generation of legal documents |
AU2001266692A1 (en) * | 2000-06-02 | 2001-12-11 | John Denton Biddle | System and method for licensing management |
US7225231B2 (en) * | 2000-09-20 | 2007-05-29 | Visto Corporation | System and method for transmitting workspace elements across a network |
DE10047091A1 (de) | 2000-09-21 | 2002-04-11 | Merck Patent Gmbh | Flüssigkristalline Mischungen |
US20020077984A1 (en) | 2000-12-19 | 2002-06-20 | Mark Ireton | Enabling protected digital media to be shared between playback devices |
US20020161645A1 (en) * | 2001-04-10 | 2002-10-31 | Walker Jay S. | Method and apparatus for offering forward commitment agreements |
US8001053B2 (en) | 2001-05-31 | 2011-08-16 | Contentguard Holdings, Inc. | System and method for rights offering and granting using shared state variables |
US7774280B2 (en) | 2001-06-07 | 2010-08-10 | Contentguard Holdings, Inc. | System and method for managing transfer of rights using shared state variables |
US8001054B1 (en) | 2001-07-10 | 2011-08-16 | American Express Travel Related Services Company, Inc. | System and method for generating an unpredictable number using a seeded algorithm |
AU2003282576A1 (en) | 2002-10-09 | 2004-05-04 | Legal Igaming, Inc. | System and method for connecting gaming devices to a network for remote play |
JP5168039B2 (ja) | 2008-09-12 | 2013-03-21 | 王子ホールディングス株式会社 | 感熱記録体 |
-
2003
- 2003-04-29 CN CN038130157A patent/CN1659559A/zh active Pending
- 2003-04-29 KR KR20047017437A patent/KR100671073B1/ko not_active IP Right Cessation
- 2003-04-29 EP EP03747616A patent/EP1502221A4/en not_active Withdrawn
- 2003-04-29 CA CA002484493A patent/CA2484493A1/en not_active Abandoned
- 2003-04-29 AU AU2003243179A patent/AU2003243179B2/en not_active Ceased
- 2003-04-29 KR KR20047017528A patent/KR100755631B1/ko not_active IP Right Cessation
- 2003-04-29 CN CN03815403XA patent/CN1666207A/zh active Pending
- 2003-04-29 US US10/425,036 patent/US20040024670A1/en not_active Abandoned
- 2003-04-29 WO PCT/US2003/013351 patent/WO2003094076A1/en active Search and Examination
- 2003-04-29 US US10/424,785 patent/US8543511B2/en active Active
- 2003-04-29 MX MXPA04010541A patent/MXPA04010541A/es not_active Application Discontinuation
- 2003-04-29 JP JP2004502218A patent/JP2006501536A/ja active Pending
- 2003-04-29 EP EP03747617A patent/EP1436754A4/en not_active Ceased
- 2003-04-29 WO PCT/US2003/013352 patent/WO2003094077A1/en active Search and Examination
- 2003-04-29 MX MXPA04010604A patent/MXPA04010604A/es not_active Application Discontinuation
- 2003-04-29 JP JP2004502219A patent/JP2005524177A/ja active Pending
- 2003-04-29 AU AU2003232016A patent/AU2003232016A1/en not_active Abandoned
-
2013
- 2013-08-26 US US14/010,497 patent/US10430729B2/en active Active
-
2019
- 2019-08-23 US US16/549,449 patent/US20200090079A1/en not_active Abandoned
Also Published As
Publication number | Publication date |
---|---|
CN1659559A (zh) | 2005-08-24 |
EP1436754A1 (en) | 2004-07-14 |
US8543511B2 (en) | 2013-09-24 |
AU2003243179B2 (en) | 2005-04-14 |
WO2003094077A1 (en) | 2003-11-13 |
US20040024670A1 (en) | 2004-02-05 |
JP2006501536A (ja) | 2006-01-12 |
US20200090079A1 (en) | 2020-03-19 |
WO2003094076A1 (en) | 2003-11-13 |
AU2003243179A1 (en) | 2003-11-17 |
CA2484493A1 (en) | 2003-11-13 |
KR20040104669A (ko) | 2004-12-10 |
KR100671073B1 (ko) | 2007-01-17 |
KR100755631B1 (ko) | 2007-09-04 |
MXPA04010541A (es) | 2005-02-17 |
EP1502221A4 (en) | 2009-08-05 |
US20040049462A1 (en) | 2004-03-11 |
US20130346324A1 (en) | 2013-12-26 |
AU2003232016A1 (en) | 2003-11-17 |
CN1666207A (zh) | 2005-09-07 |
EP1436754A4 (en) | 2010-03-24 |
EP1502221A1 (en) | 2005-02-02 |
JP2005524177A (ja) | 2005-08-11 |
US10430729B2 (en) | 2019-10-01 |
KR20050006217A (ko) | 2005-01-15 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
US20200090079A1 (en) | System and method for specifying and processing legality expressions | |
Bonatti et al. | A uniform framework for regulating service access and information release on the web | |
Bonatti et al. | Regulating service access and information release on the web | |
US7685642B2 (en) | System and method for controlling rights expressions by stakeholders of an item | |
JP4714791B2 (ja) | 拡張可能な権利表記処理システム及び方法 | |
US7206765B2 (en) | System and method for supplying and managing usage rights based on rules | |
JP5486658B2 (ja) | 権利共有をサポートする方法およびシステム | |
AU2003290930B2 (en) | System and method for granting access to an item or permission to use an item based on configurable conditions | |
Michiels et al. | Towards a software architecture for DRM | |
US20040230529A1 (en) | System and method for granting access to an item or permission to use an item based on configurable conditions | |
JP2004530986A (ja) | リソースの使用を管理するシステムでリソースのステータスを追跡する方法および装置 | |
KR100821086B1 (ko) | 네트워크연계 서비스 라이센싱 시스템 및 방법 | |
Ardagna et al. | Towards privacy-enhanced authorization policies and languages | |
AU2003240981B2 (en) | System and method for supplying and managing rights expressions | |
Parrott | Requirements for a rights data dictionary and rights expression language | |
Roscheisen | A Network-centric design for relationship-based rights management | |
Wang | Design principles and issues of rights expression languages for digital rights management | |
Wang et al. | The contract expression language–CEL | |
AU2005244583B2 (en) | System and method for controlling rights expressions by stakeholders of an item | |
Barlas et al. | OeBF Rights Grammar Requirements | |
Pekárek | Final requirements and state-of-the-art for next generation policies | |
MPEG | ContentGuard |
Legal Events
Date | Code | Title | Description |
---|---|---|---|
FA | Abandonment or withdrawal |