KR100755631B1 - 적법성 표현을 특정하고 처리하기 위한 시스템 및 방법 - Google Patents
적법성 표현을 특정하고 처리하기 위한 시스템 및 방법 Download PDFInfo
- Publication number
- KR100755631B1 KR100755631B1 KR20047017528A KR20047017528A KR100755631B1 KR 100755631 B1 KR100755631 B1 KR 100755631B1 KR 20047017528 A KR20047017528 A KR 20047017528A KR 20047017528 A KR20047017528 A KR 20047017528A KR 100755631 B1 KR100755631 B1 KR 100755631B1
- Authority
- KR
- South Korea
- Prior art keywords
- contract
- specifying
- assertion
- legality
- prohibition
- Prior art date
Links
- 230000014509 gene expression Effects 0.000 title claims abstract description 216
- 238000000034 method Methods 0.000 title claims abstract description 78
- 238000012545 processing Methods 0.000 title claims abstract description 58
- 230000009471 action Effects 0.000 claims abstract description 102
- 230000004044 response Effects 0.000 claims description 23
- 230000008569 process Effects 0.000 claims description 18
- 238000013475 authorization Methods 0.000 claims description 10
- 230000000694 effects Effects 0.000 claims description 5
- 238000007639 printing Methods 0.000 claims description 2
- 230000000875 corresponding effect Effects 0.000 description 25
- 238000009826 distribution Methods 0.000 description 16
- 238000007726 management method Methods 0.000 description 15
- 230000007246 mechanism Effects 0.000 description 14
- 238000013499 data model Methods 0.000 description 11
- 238000004891 communication Methods 0.000 description 9
- 238000010586 diagram Methods 0.000 description 8
- 238000013459 approach Methods 0.000 description 7
- 241000282414 Homo sapiens Species 0.000 description 6
- 230000006399 behavior Effects 0.000 description 6
- 230000002123 temporal effect Effects 0.000 description 6
- 230000001960 triggered effect Effects 0.000 description 6
- 239000002131 composite material Substances 0.000 description 5
- 230000008859 change Effects 0.000 description 4
- 238000011161 development Methods 0.000 description 4
- 238000005516 engineering process Methods 0.000 description 4
- 238000001228 spectrum Methods 0.000 description 4
- 238000007792 addition Methods 0.000 description 3
- 230000008901 benefit Effects 0.000 description 3
- 150000001875 compounds Chemical class 0.000 description 3
- 230000001419 dependent effect Effects 0.000 description 3
- 230000003993 interaction Effects 0.000 description 3
- 230000015654 memory Effects 0.000 description 3
- 238000009877 rendering Methods 0.000 description 3
- 101100294531 Homo sapiens NR1D1 gene Proteins 0.000 description 2
- 102100023170 Nuclear receptor subfamily 1 group D member 1 Human genes 0.000 description 2
- 238000013473 artificial intelligence Methods 0.000 description 2
- 238000010276 construction Methods 0.000 description 2
- 230000001276 controlling effect Effects 0.000 description 2
- 238000013461 design Methods 0.000 description 2
- 238000011156 evaluation Methods 0.000 description 2
- 230000007717 exclusion Effects 0.000 description 2
- 238000004519 manufacturing process Methods 0.000 description 2
- 238000013507 mapping Methods 0.000 description 2
- 238000002156 mixing Methods 0.000 description 2
- 238000012986 modification Methods 0.000 description 2
- 230000004048 modification Effects 0.000 description 2
- 238000006467 substitution reaction Methods 0.000 description 2
- 238000010200 validation analysis Methods 0.000 description 2
- 241001289435 Astragalus brachycalyx Species 0.000 description 1
- 235000002917 Fraxinus ornus Nutrition 0.000 description 1
- 241000282412 Homo Species 0.000 description 1
- 241001446467 Mama Species 0.000 description 1
- 238000003491 array Methods 0.000 description 1
- 230000003190 augmentative effect Effects 0.000 description 1
- 230000005540 biological transmission Effects 0.000 description 1
- 230000015572 biosynthetic process Effects 0.000 description 1
- 230000010267 cellular communication Effects 0.000 description 1
- 238000012512 characterization method Methods 0.000 description 1
- 238000004883 computer application Methods 0.000 description 1
- 230000001143 conditioned effect Effects 0.000 description 1
- 238000012937 correction Methods 0.000 description 1
- 238000012217 deletion Methods 0.000 description 1
- 230000037430 deletion Effects 0.000 description 1
- 238000001514 detection method Methods 0.000 description 1
- 238000005538 encapsulation Methods 0.000 description 1
- 230000006870 function Effects 0.000 description 1
- 230000010365 information processing Effects 0.000 description 1
- 238000003780 insertion Methods 0.000 description 1
- 230000037431 insertion Effects 0.000 description 1
- 238000007689 inspection Methods 0.000 description 1
- 238000005304 joining Methods 0.000 description 1
- 239000006210 lotion Substances 0.000 description 1
- 238000010606 normalization Methods 0.000 description 1
- 230000003287 optical effect Effects 0.000 description 1
- 229920001690 polydopamine Polymers 0.000 description 1
- 238000002360 preparation method Methods 0.000 description 1
- 230000000135 prohibitive effect Effects 0.000 description 1
- 230000010076 replication Effects 0.000 description 1
- 238000011160 research Methods 0.000 description 1
- 238000012552 review Methods 0.000 description 1
- 230000009897 systematic effect Effects 0.000 description 1
- 238000012360 testing method Methods 0.000 description 1
- 238000012795 verification Methods 0.000 description 1
Images
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—Information and communication technology [ICT] specially adapted for implementation of business processes of specific business sectors, e.g. utilities or tourism
- G06Q50/10—Services
- G06Q50/18—Legal services
- 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
Landscapes
- Engineering & Computer Science (AREA)
- Business, Economics & Management (AREA)
- Theoretical Computer Science (AREA)
- Physics & Mathematics (AREA)
- General Physics & Mathematics (AREA)
- Strategic Management (AREA)
- Tourism & Hospitality (AREA)
- Entrepreneurship & Innovation (AREA)
- Technology Law (AREA)
- Economics (AREA)
- Human Resources & Organizations (AREA)
- Marketing (AREA)
- General Business, Economics & Management (AREA)
- Software Systems (AREA)
- Operations Research (AREA)
- General Engineering & Computer Science (AREA)
- Health & Medical Sciences (AREA)
- Quality & Reliability (AREA)
- General Health & Medical Sciences (AREA)
- Computer Hardware Design (AREA)
- Computer Security & Cryptography (AREA)
- Data Mining & Analysis (AREA)
- Primary Health Care (AREA)
- Bioethics (AREA)
- Multimedia (AREA)
- Accounting & Taxation (AREA)
- Development Economics (AREA)
- Finance (AREA)
- Databases & Information Systems (AREA)
- Mathematical Physics (AREA)
- Management, Administration, Business Operations System, And Electronic Commerce (AREA)
- Storage Device Security (AREA)
Abstract
시스템 및 방법이 적법성 표현을 처리하기 위한 시스템내에서 사용하는 적법성 표현을 특정하기 위하여 제공된다. 본 시스템 및 방법은 주체가 행위를 수행하지 않으면 안 되는 의무를 특정하는 의무요소(304), 주체가 행위를 수행해서는 안되는 금지를 특정하는 금지요소(306), 주체가 행위를 수행하고자 하는 의사를 특정하는 의사요소(310), 및 주체가 행위를 수행한다는 주장을 특정하는 청구요소(308) 중에서 적어도 하나를 포함하는 적법성 표현언어의 제공을 포함한다. 본 시스템 및 방법은 나아가 시스템에 의해 적법성 표현언어를 사용하여 특정된 적법성 표현을 해석하는 것을 포함한다.
Description
[0001] 본 발명은 일반적으로 디지털 권리 및 계약 관리(Digital Rights and Contracts Management: DRCM)를 위한 시스템 및 방법에 관한 것으로서, 보다 구체적으로는 DRCM 시스템에서 계약과 같은 적법성 표현들을 특정하고 처리하기 위한 시스템 및 방법에 관한 것이다.
[0002] 문서들， 음악， 영화들， 소프트웨어， 정보 등과 같은 디지털 콘텐트를, 전자적 수단과 특히 인터넷을 통하여， 컴퓨팅 장치에 의해 사용할 수 있는 형태로, 광범위하게 배포하는 것에 관한 가장 중요한 문제들 중의 하나는, 그러한 배포동안에 지적 소유권들을 행사하고 그 디지털 콘텐트를 사용하는 능력의 제공이다. 이 문제를 해결하기 위한 기술들은 이 글 속에 디지털 권리 관리(Digital Rights Management: DRM）로 부르게 된다. 그러나 DRM 시스템을 유효화 할 때 고려해야 할 문제들이 많이 있는데, 몇 가지 예를 들면, 인증(authentication)，인가(authorization)，회계(accounting)，지불과 금전적 청산(payment and financial clearing), 권리 명세(rights specification)，권리 유효화(rights verification)，권리 행사(rights enforcement), 그리고 문서보호문제 등이 그것이다.
[0003] 예를 들면, 인쇄되는 문서들과 기타 물리적인 콘텐트의 세계에서는 저자에 의해 만들어지는 저작물(work)은 통상 출판사에 제공되어, 그 저작물의 다수의 복사본을 조판(format)하여 인쇄한다. 그리고나서 그 복사본들은 배급업자에 의해 서점들 또는 다른 소매점들로 보내어지고, 최종 소비자들은 거기에서 그 복사본들을 구입하게 된다． 저품질의 복사와 고비용의 인쇄물 배포는 대부분의 인쇄 문서들의 비인가된 복사에 대하여 방해물로서 작용해온 반면, 무방비의 디지털 콘텐트를 복사하고, 수정하고 재배포하는 것은 매우 쉽다． 그러므로 디지털 콘텐트를 보호하는 메커니즘이 필요하다．
[0004] 오늘날의 범용 컴퓨터 및 통신 시스템들 예컨대 개인용 컴퓨터, 워크스테이션 그리고 통신망-예컨대 랜(LANs), 인터라넷, 그리고 인터넷-과 연결된 다른 장치들 안에서, 사람들이 인가받지 않고 전자 콘텐트의 복사본을 만드는 것을 막는 것 혹은 심지어 그만두게 하는 것과 관련한 어려움은 널리 인식되어 있다. 비인가된 복사를 방지하기 위한 하드웨어 기반의 솔루션들을 제공하기 위한 많은 시도들이 성공적이지 못하여왔다. 더욱이 높은 대역폭 또는 광대역 통신 기술들의 발달， 그리고 현재 국가 정보 기반구조(National Information Infrastructure: NII）로 알려진 것의 발달은, 예컨대 무삭제(full length) 동영상과 같은 비디오 파일을 포함하여, 많은 문서를 전자적으로 배포하는 것을 더욱 편리하게 만들어주고 있다. 그리고 이것은 디지털 콘텐트의 비인가 복사와 배포를 증식시키는 것을 더욱 쉽게 만든다. 그러므로 DRM 기술들의 더 많은 발전의 필요성은 높은 우선순위가 되고 있다．
[0005] 따라서， 일반적으로 부여된 미국특허번호 제 5,634,012호는 디지털 콘텐트의 배포를 제어하는 DRM 시스템을 개시한다. 그 DRM 시스템의 장치들은 그와 연관되어 있는 저장소(repository)를 포함한다. 소정 세트의 사용 처리(usage transaction) 단계들은 그 콘텐트와 연관된 사용권을 행사하기 위한 저장소들에 의해 사용되는 프로토콜을 정의한다. 사용 권리들은 콘텐트와 함께 존속하고(persist), 그 콘텐트와 관련되는 사용 권리들은 디지털 저작물을 포함한다. 그 사용권들은 그 콘텐트의 사용에 관한 다양한 방법들, 예컨대 그 콘텐트를 보거나 인쇄하거나 디스플레이 하는 권리, 그 콘텐트를 배포 또는 재배포하는 권리 등을 허락한다. 그러한 사용 권리들은 지불 또는 다른 조건들을 부수적으로 가질 수 있다. 그러나 하나 이상의 당사자들이 계약에 관련된 정보와 같은 적법한 표현 정보를 쉽고 확실하게 관리, 교환, 해석, 행사 등을 할 수 있게 하는 시스템 및 방법에 관한 필요성이 있다.
[0006] 위에서 언급한 것과 기타 다른 필요성들은, 계약을 특정하고 처리하 는 개선된 시스템과 방법을 제공하는 본 발명의 실시예들에 의해 중점적으로 다루어진다.
[0007] 따라서, 본 발명의 일 실시예의 일 측면에 있어서는, 상기 적법성 표현을 처리하기 위한 시스템에서 사용하기 위한 적법성 표현을 특정하기 위한 방법이 제공된다. 본 방법은 적법성 표현언어를 제공하는 것을 포함하고, 주체가 행위를 수행해야 하는 의무를 특정하는 의무요소, 주체가 행위를 수행해서는 안되는 금지를 특정하는 금지요소, 주체가 행위를 수행하기 원하는 의사(intention)를 특정하는 의사요소, 및 주체가 행위를 수행한다는 주장을 특정하는 주장요소 중에서 적어도 하나를 포함한다. 본 방법은 나아가 상기 시스템에 의해 상기 적법성 표현언어를 사용하여 특정된 적법성 표현을 해석하는 것을 포함한다.
[0008] 본 발명의 일 실시예의 다른 측면에 있어서는, 적법성 표현언어를 제공하기 위한 수단을 포함하는 적법성 표현을 처리하기 위한 시스템이 제공된다. 적법성 표현언어는 주체가 행위를 수행해야 하는 의무를 특정하는 의무요소, 주체가 행위를 수행해서는 안되는 금지를 특정하는 금지요소, 주체가 행위를 수행하기 원하는 의사(intention)를 특정하는 의사요소, 및 주체가 행위를 수행한다는 주장을 특정하는 주장요소 중에서 적어도 하나를 포함한다. 본 시스템은 나아가 적법성 표현언어를 사용하여 특정되는 적법성 표현을 해석하기 위한 수단을 포함한다.
[0009] 본 발명의 일 실시예의 또다른 측면에 있어서는, 적법성 표현을 처리하기 위한 시스템에 사용하기 위하여 적합화되는 적법성 표현이 제공된다. 이 적법성 표현은 주체가 행위를 수행해야 하는 의무를 특정하는 의무요소, 주체가 행위를 수행해서는 안되는 금지를 특정하는 금지요소, 주체가 행위를 수행하기 원하는 의사(intention)를 특정하는 의사요소, 및 주체가 행위를 수행한다는 주장을 특정하는 주장요소 중에서 적어도 하나를 포함하고, 컴퓨터 시스템은 이 적법성 표현을 해석할 수 있다.
[0010] 본 발명을 실시하는 데 최상의 실시예를 비롯하여, 많은 예시적인 실시예들(exemplary embodiments)과 구현들을 단순히 도시하는 것에 의해， 본 발명의 다른 측면들, 특징들 그리고 장점들이 이하의 상세한 설명으로부터 명백하게 드러난다. 본 발명은 또한 기타 다른 실시예가 가능하며 그것의 몇 가지 상세한 부분들에서는 본 발명의 본질과 범위를 벗어남이 없이 다양한 관점에서 변경될 수 있다. 따라서 도면들과 설명들은 본질적으로 예시적인 것일 뿐 한정적인 것이 아니다.
[0011] 본 발명은, 한정하는 방식이 아니라, 첨부도면의 그림에 있는 실예를 통해 예시되며, 같은 참조번호는 유사한 구성요소들을 가리킨다.
[0012] 도 1은 본 발명의 여러 가지 실시예들이 실현될 수 있는 예시적인 DRM 시스템을 도시하고,
[0013] 도 2는 도 1의 DRM 시스템에 채용될 수 있는 예시적인 계약 표현언어의 예시적인 계약 데이터 모델을 도시하고,
[0014] 도 3은 도 2의 예시적인 계약 데이터 모델에 채용될 수 있는 예시적인 조항들(clauses)을 도시하고,
[0015] 도 4는 확장형 권리생성언어(XrML) 허여의 예시적인 모델을 도시하고,
[0016] 도 5는 도 2의 예시적인 계약 데이터 모델에 채용될 수 있고, 갈등과 다양성을 해결하기 위하여 우선권의 설정을 허용하기 위한 예시적인 우선권(preference) 정책 모델을 도시하고,
[0017] 도 6은 예시적인 계약 표현언어에 기초한 예시적인 쿼리-구동형(query-driven) 처리시스템을 도시하고,
[0018] 도 7은 예시적인 계약 표현언어에 기초한 예시적인 문맥-구동형 (context-driven) 처리시스템을 도시하고,
[0019] 도 8은 예시적인 계약 표현언어에 기초한 예시적인 갈등 또는 다양성-구동형(conflict or multiplicity-driven) 처리시스템을 도시하고,
[0020] 도 9는 예시적인 계약 표현언어에 기초한 예시적인 복합 또는 혼합 처리시스템을 도시하고,
[0021] 도 10은 예시적인 계약 표현언어에 기초한 예시적인 연계 시스템을 도시하고,
[0022] 도 11은 도 6의 시스템의 예시적인 쿼리-구동형 처리를 나타내는 흐름도이고,
[0023] 도 12는 도 7의 시스템의 예시적인 문맥-구동형 처리를 나타내는 흐름도이고,
[0024] 도 13은 도 8의 시스템의 예시적인 갈등 또는 다양성-구동형 처리를 나타내는 흐름도이고,
[0025] 도 14는 도 9 및 도 10의 시스템들의 복합 또는 혼합 및 연계 처리를 나타내는 흐름도이다.
[0026] 계약을 특정하고 처리하기 위한 시스템 및 방법이 기술된다. 이하의 기술에 있어서, 설명의 목적들을 위해， 다수의 특정의 세부사항들은 본 발명의 완전한 이해를 제공하기 위해 기재하게 된다. 그러나 본 발명은 이 특정의 세부사항들 없이 또는 등가적인 장치들을 가지고서 실시될 수 있다는 것은 당업자에게 자명하다. 몇 가지 예들에 있어서, 잘 알려진 구조들과 장치들은 블록도 형태로 도시되는데, 이는 본 발명을 불필요하게 모호하게 하는 것을 피하기 위함이다.
[0027] 위에서 언급한 바와 같이, 인증, 인가, 회계, 지불과 금전적 청산, 권리 명세, 권리 유효화(verification), 권리 행사 및 문서 보호 문제들은 DRM 시스템에 의해 중점적으로 다루어져야 한다. 일반적으로 선정된 미국 특허번호 제5,530,235，제 5,629,980，제5,634,012호, 제5,638,443호， 제5,715,403호， 제 6,233,684호와 제6,236,971호는, 이들 전부의 모든 개시내용이 여기에서 참조내용으로 통합되는데, 이것들과 다른 문제들을 다루고 있는 DRM 시스템들을 개시한다.
[0028] 본 발명은 논문, 책, 명세서 등에서 더 기술되어 있는 것과 같은, 기술들, 시스템들, 방법들, 알고리즘들, 개념들 등을 채용할 수 있는데, 이들은 본 발명의 개시내용 전반에 걸쳐 볼드 인쇄 [..]로 된 브라켓 안에 기재된 번호에 의해 인용되고 있으며 여기에 제공된 부록(APPENDIX)에 상호 참조(cross-referenced)되며, 이들 전체의 모든 내용을 참조함으로써 본 명세서의 내용으로 통합하고자 한다.
[0029] 일반적으로, 예시적인 실시예들은 계약 명세, 처리, 실시 및 관리와 같은 적법성 표현 명세, 처리, 실시 및 관리 등을 위해 채용될 수 있다. 예를 들어, 예시적인 실시예들은 적법성 표현의 특정을 가능하게 하는 메카니즘들 및 시스템의 실체들, 유저들(users) 등의 행위들을 발생시키기 위한 표현들을 해석하고 실시하는 시스템들을 포함한다.
[0030] 예시적인 실시예들은 예시적인 계약 표현언어(CEL)를 포함할 수 있는, 예를 들어 확장형 생성언어(XML), 확장형 권리생성언어(XrML)[1] 등에 기초한 예시적인 적법성 표현언어(LEL)를 도입한다. 예시적인 계약 표현언어는 바람직하게는 예를 들어 전자적 콘텐트, 서비스 배포 가치 사슬(service distribution value chains) 등의 참가자들 사이의 계약적 협정의 표현을 고려한다. 예시적인 실시예들은 바람직하게는 온라인 및 오프라인 환경에 적용될 수 있다.
[0031] 예시적인 계약 표현언어는 전자적 계약들과 예시적인 계약 표현언어내에 표현된 계약을 위한 기계 해석가능한 의미론(semantic) 모델을 표현하기 위한 기계 가독형 언어를 포함할 수 있다. 예시적인 계약 표현언어는 계약의 완전한 라이프사이클(lifecycle)을 지원할 수 있고, 예시적인 실시예들은 계약 참가자들 사이에서 계약 이행(performance)과 실행(execution)를 허락하기 위한 예시적인 계약 표현언어의 다양한 예시적인 처리시스템을 포함한다.
[0032] 예시적인 실시예들에서, 키워드(key words) "must", "must not", "required", "shall", "shall not", "should", "should not", "recommended", "may", 및 "optional"은 예를 들어 예시적인 계약 표현언어로 특정되는 문장 또는 표현내에서 요구수준(requirement levels)을 지시하기 위하여 사용될 수 있고, 예를 들어 IETF RFC 2119[4]에서 설명된 것처럼 해석될 수 있다. 예시적인 실시예들에서, 행위(act)는 어떤 것을 하거나 수행하는 처리 또는 상태를 포함할 수 있다. 예시적인 실시예들에서, 이벤트(event)라는 것은 발생하고 포착될(captured) 수 있으며 주석을 달 가치가 있는 어떤 것을 포함할 수 있다. 어떤 행위는 그것이 수행될 때 이벤트가 될 수 있다는 점에서 행위는 이벤트와 다를 수 있다. 권리 또는 의무의 개념은 행위의 추상개념들일 수 있다.
[0033] 전형적인 실시예들에서, 협정(agreement)은 예를 들어 당사자들 사이의 협상들이 완료되는 계약법 내의 단계와 같은, 행동의 진행과 관련한 당사자들 사이의 합의(arrangement)를 포함할 수 있다. "계약"으로 불려지는 법률관계의 토대는 당사자들의 협정이다. 그래서, 협정은 계약을 실시하는 서류 또는 문서를 포 함할 수 있다.
[0034] 예시적인 실시예들에서, 주장은 어떤 행위의 수행의 선언(declaration)을 포함할 수 있다. 예시적인 실시예들에서, 조건은 예를 들어 또 다른 하나의 출현(appearance) 또는 발생(occurrence)에 없어서는 아니 되는 어떤 것을 포함할 수 있다.
[0035] 예시적인 실시예들에서, 계약은 예를 들어, 불이행에 대해서는 법이 구제책을 제공하거나 혹은 이행에 대해서는 어떤 점에서는 법이 의무[14]로서 인식하는 그러한 약속 혹은 약속들의 집합과, 두 사람 이상의 사이에서 이루어지는 것으로서 각 당사자는 다를 당사자가 어떤 행동을 하거나 혹은 하지 못하게 구속하고 각자는 다른 당사자가 약속한 것에 대하여 권리를 획득하는 그러한 합의나 서약(covenant) 등을 포함할 수 있다.
[0036] 예시적인 실시예들에서, 의사(intention)는 사람들이 따르는 경향이 있는 행동의 과정(a course of action)을 포함하고, 의무는 누군가에게 어떤 행위를 수행하도록 요구하는 공약(commitment)을 포함하고, 허가는 권리를 포함하고, 주체는 하나의 행위의 수행에 관련되는 존재의 식별사항의 요약(encapsulation)을 포함하고, 금지는 누군가가 행위를 수행하는 것을 금지하는 요구를 포함하고, 약속은 특정된 방법[14]으로 행동하거나 또는 그러한 행위를 억제하는 의사표명을 포함 할 수 있다. 예시적인 실시예들에서, 자원은 주체가 어떤 행위를 이행해야 하는 대상물을 포함할 수 있다. 예를 들어, 자원은 전자책(e-book), 오디오 또는 비디오 파일, 이미지 등과 같은 디지털 저작물, 이메일(email) 서비스, 비지니스 대 비지니스(B2B) 거래 서비스 등과 같은 서비스, 이름, 이메일 주소 등과 같은 주체에 의해 소유될 수 있는 몇몇 정보를 포함할 수 있다.
[0037] 예시적인 실시예들에서, 권리는 누군가에게 행위를 수행할 자격을 주는 특권을 포함하고, 불이행은 계약적인 의무를 수행하는 계약 당사자의 실패를 포함하고, 제공(offer)은 약속자[14]의 승낙의 조건하에서 장래에 어떤 특정된 것을 하거나 하는 것을 삼가는 약속을 포함하고, 구제(remedy)는 잘못(error)이나 과실(fault)을 수정하는 행위를 포함하고, 보증담보(warranty)는 보증(guarantee)이나 보험(assurance)을 위한 계약상의 기간을 포함하며, 그것의 위반은 손해구제책을 주장할 권리를 발생케 하나 그 계약의 주제가 되는 문제를 거절할 권리 혹은 그 계약을 부인된 것으로 다룰 수 있는 권리를 발생시키지는 않는다.
[0038] 허가, 의무, 금지 등에 관련된 계약정보의 표현에 더하여, 예시적인 계약 표현언어는 바람직하게는 계약적인 협정을 지지하며 계약의 라이프사이클 동안 요구 처리에 부합하는 언어구조들, 예컨대 "claim", "intent" 등을 정의하기 위하여 채용될 수 있다. 바람직하게는, 예시적인 계약 표현언어 표현들은 예를 들어 인간에 의해 처리되고, 기계에 의해 처리될 수 있다.
[0039] 예시적인 계약 표현언어의 예시적인 데이터 모델 및 예시적인 어휘들에 더하여, 예시적인 계약 표현언어는 대응하는 표현들이 기계, 인간 등에 의해 자명한 방식으로 해석가능할 수 있도록 보증하기 위한 프로그래밍 언어 정밀도를 제공하는 데 사용될 수 있다. 바람직하게는, 예시적인 계약 표현언어는 전자 콘텐트 배포계약, 전자 서비스 배포계약 등 뿐만 아니라 어떤 적절한 계약 협정을 설명하고 해석하고 실시하기 위하여 채용될 수 있다.
[0040] 예시적인 계약 표현언어는 예를 들어 콘텐트, 자원, 서비스 등의 권리 소유자에 의해 제공되고 허여될 수 있는 사용권리 및 그것의 관련된 조건에 대한 선언적인 문장 또는 표현을 특정하기 위하여, XrML, XML-기반의 언어에 기초될 수 있다. XrML 권리 문장 또는 표현은 일반적으로 누군가 특정된 조건을 조건으로 하는 특정된 자원에 관한 특정된 권리를 실시"할지 모른다"는 것을 선언하기 위해 채용될 수 있다. 그러나, XrML 권리 문장 또는 표현은 일반적으로 누군가 조건이 부합될 때 권리를 실시"하지 않으면 안된 다"는 개념을 전달하지는 않는다. 예를 들어, XrML 권리 문장 또는 표현은 사람에게 투표할 권리를 허여"할지도 모르"지만, 일반적으로 그런 사람은 투표"하지 않으면 안된다"라는 것을 특정할 수는 없다.
[0041] 반면, 예시적인 계약 표현언어는 바람직하게는 "누군가 어떤 것을 하 지 않으면 안된다", "누군가 어떤 것을 해서는 안된다" 등과 같은 문장(statement) 또는 표현을 표현하는 데 채용될 수 있다. 바람직하게는, 예시적인 계약 표현언어는 계약적인 관계, 협정 등과 같은 비지니스 상황에 채용될 수 있다. 예를 들어, "당사자 B가 상품을 구입하기 위해 비용을 지불했을 때 당사자 A는 상품을 배달하지 않으면 안된다"는 것과 같은, 누군가 조건이 부합될 때 행동을 수행하도록 요구되지 않으면 안되거나 요구한다고 규정한 계약은 바람직하게는 예시적인 계약 표현언어로 표현될 수 있다.
[0042] 이벤트 관리에서, 예를 들어 "점원은 대여한 비디오가 만기가 경과한 때 고객에게 상기시켜야 한다", "해적행위(piracy)를 단념시키기 위하여, 현재의 상위 40 리스트는 8비트 진폭 해상도보다 더 좋은 해상도에선 패키지(package)될 수 없다" 등과 같이, 촉발(triggering) 조건이 만족되기만 한다면, 몇몇 이벤트들은 반드시 일어날 것이다. 바람직하게는, 예시적인 계약 표현언어는 허가적인 형태의 문자들 뿐만 아니라 의무 또는 금지적인 형태의 그런 문장들을 특정하기 위하여 채용될 수 있다.
[0043] 또한, 예시적인 계약 표현언어는 바람직하게는 의사적인 형태의 문장들, 사실적인 형태의 문장들, 배타적인 형태의 문장들 등을 특정하는 것을 지원한다. 나아가, 예시적인 계약 표현언어는 바람직하게는 허가적인, 의무적인 또는 금지적인 형태의 문장 세트를 해석할 때 발생할 수 있는 시간적인 갈등 및 다양성 (multiplicities)을 해결하기 위한 우선권 규칙들의 정의를 지원한다.
[0044] 예시적인 계약 표현언어는 바람직하게는 의사적인 형태의 문장들을 특정하기 위하여 채용될 수 있다. 예를 들어, 예시적인 계약 표현언어는 계약적인 협정에 들어가는 당사자들 사이의 의사를 표현하는 데 사용되어, 바람직하게는 도 1의 DRM 시스템상에서 실행되는 계약 관리시스템에서 쿼리(queries)의 구성을 촉진할 수 있다.
[0045] 예시적인 계약 표현언어는 바람직하게는 사실적인 형태의 문장들을 특정하기 위하여 채용될 수 있다. 예를 들어, 예시적인 계약 표현언어는 바람직하게는 계약 존속기간의 최종단계(backend)에 관한 요구사항들(requirements)을 제기하여 계약에서 특정된 행동들의 이행을 증명하는 데 사용될 수 있다.
[0046] 예시적인 계약 표현언어는 바람직하게는 배타적인 형태의 문장들을 특정하는 데 사용될 수 있다. 예를 들어, 예시적인 계약 표현언어는 비지니스 계약에서 배타성, 일반 요구사항(common requirement)을 표현하기 위하여 사용될 수 있다. 바람직하게는, 예시적인 계약 표현언어의 우선권 메카니즘은 예를 들어 단수 계약내의 요소들 사이, 복수 계약 사이의 우선순위 및 갈등 해소를 촉진시키기 위하여 사용될 수 있다.
[0047] 예시적인 계약 표현언어는 예를 들어 XrML 요소들을 포함하고, XrML 설계 원리 및 확장성 구조를 지렛대로 도입(leverage)할 수 있다. 바람직하게는, 예시적인 계약 표현언어는 유연한 정보처리의 상호운용성(interoperability), 예를 들어 콘텐트, 자원, 서비스 등의 공급, 배포 및 소비를 지원하기 위한 비지니스 계약을 포함하는 계약의 많은 형태를 지원하는 메카니즘을 제공하는 XrML에 통합될 수 있다.
[0048] 예시적인 실시예에서, 계약은 불이행에 대해서는 법이 구제책을 제공하거나 혹은 이행에 대해서는 어떤 점에서는 법이 의무[14]로서 인식하는 그러한 약속 혹은 약속들의 집합을 포함할 수 있다. 둘이상의 당사자는 몇몇의 당사자 또는 다른 당사자들에 의해 행동을 하거나 금지하는 행위 또는 것(thing)에 대한 당사자들의 합의(consent)를 선언하는 계약을 입안할 수 있다. 예를 들어, 문장 "앨리스와 밥에 의해 서명되고, 2002년 4월 30일까지 밥으로부터 500,000달러를 받는다면, 앨리스는 밥에게 그녀의 집을 팔지 않으면 안된다(Alice must sell her house to Bob upon receiving a payment of $500,000 from Bob by April 30,2002, signed by both Alice and Bob)"은 계약일 수 있고, 바람직하게는 그것은 예시적인 계약 표현언어를 사용하여 표현될 수 있다.
[0049] 예시적인 계약 표현언어에서, 계약은 예를 들어 어떤 당사자들에 의해 이루어지는 수많은 약속을 통한 둘이상의 당사자 사이의 협정을 포함할 수 있 다. 협정의 속성은 유효한 계약은 관련된 당사자들에 의해 서명되어야 한다는 것을 포함할 수 있다. 약속은 다수의 조항들(clauses)을 포함할 수 있는데, 그것의 각각은 예를 들어 어떤 당사자들이 다른 사람이 허락하는 권리나 허가를 획득할 때, 어떤 당사자들이 다른 사람이 요구하는 의무를 구속(bind)할 때, 어떤 당사자들이 다른 사람이 부과하는 금지를 따를 때, 어떤 당사자들이 다른 사람이 표현하는 의사를 확인할 때, 어떤 당사자들이 다른 사람이 한 주장을 안 때 등과 같은 관계를 지정할 수 있다.
[0050] 권리 또는 허가, 의무 및 금지는 어떤 행위나 어떤 종류의 행위들의 수행 또는 불수행(non-performance)을 포함할 수 있다. 그런 용어들 사이의 차이는 그런 용어들이 다루어지는 행위 양식(modality)의 유형일 수 있다. 예를 들어, 권리 또는 허가는 "may"에 의해 분류될 수 있는 양식 유형으로 구성될 수 있고, 의무는 "must"에 의해 분류될 수 있고, 금지는 "must not"에 의해 분류될 수 있다. 반면, 의사는 어떤 행위를 수행하기 위한 욕구를 포함할 수 있고, 주장은 어떤 행위가 수행되었는지, 이행되고 있는지 또는 이행될 것인지 아닌지에 관련한 사건의 상태에 대한 사실을 설명할 수 있다. 예시적인 실시예에서, 시제는 종종 의사나 주장으로부터 분명해질 수 있기 때문에, 행위의 시제는 명백하게 특정될 필요는 없다.
[0051] 조항에서 특정된 관계는 예를 들어 사실이라는 조건 또는 발생하는 이벤트 등을 조건으로 할 수 있다. 예시적인 실시예에서, XrML 허여를 위한 주체-행위-자원-조건(Principal-Act-Resource-Condition; PARC) 모델은 예시적인 계약 표현언어에서 그런 조항들을 위한 이벤트-주체-행위-자원-조건(Event-Principal-Act-Resource-Condition; EPARC) 모델로 강화될 수 있다. 바람직하게는, EPARC 모델은 이벤트-조건-행위 규칙 패러다임(paradigm)을 포함하고, 예를 들어 데이터베이스[27], 전문가 시스템[28], 정책-기반의(policy-based) 관리[29] 등을 포함하는 컴퓨터 과학 및 다른 어플리케이션(applications)에서 사용될 수 있다.
[0052] 선택적인 이벤트 요소는 예를 들어 조항의 검사나 실시를 수반하는 시스템 문맥(context)이나 환경에서 변경을 포획하기(capture) 위하여 사용될 수 있다. 예를 들어 의무조항은 이벤트가 발생하는 때에 트리거(trigger)될 수 있고, 그 조건이 사실이라면 주체는 그 자원에 관한 행위를 수행하지 않으면 안된다. 예시적인 실시예에서, 예시적인 EPARC 모델은 바람직하게는 예를 들어 계약을 관리하고, 계약을 상담하고(consult), 계약을 실행하고(execute), 계약을 집행하는(enforce) 등을 위한 상대적으로 더 효과적인 시스템을 구축하기 위하여 채용될 수 있다.
[0053] 예시적인 실시예에서, 조항들은 또한 상호 의존적일 수 있다. 예를 들어, "그녀가 집을 소유한다면, 앨리스는 집을 팔 권리를 가진다(Alice has the right to sell a house, if she owns the house)"와 같이, 상호 의존성은 하나의 조항이 다른 조항의 유효성에 의존하는 것을 포함할 수 있다. 따라서, 판매 권리조항은 소유권 주장조항의 유효성에 의존한다.
[0054] 예시적인 실시예에서, 예를 들어, "밥이 2002년 4월 30일까지 500,000달러를 지불함으로써 집을 구매하는 권리를 실행한다면, 앨리스는 그녀의 집을 팔 의무를 가진다(Alice has the obligation to sell her house, if Bob exercises his right to purchase the house by paying $500,000 by April 30,2002.)"와 같이, 상호 의존성은 하나의 조항이 다른 조항의 수행에 의존하는 것을 포함할 수 있다. 따라서, 판매 의무조항은 구매 권리조항의 실행에 의존한다.
[0055] 예시적인 실시예에서, 상호 의존성은 하나의 조항이 다른 조항의 불수행(non-performance)에 의존하는 것을 포함하고, 바람직하게는 예컨대 "밥이 2002년 4월 30일까지 앨리스에게 500,000달러를 지불하지 않는다면, 밥은 앨리스에게 1,000달러의 벌금을 지불하지 않으면 안된다(Bob must pay a penalty of $1,000 to Alice, if Bob does not make the payment of $500,000 to Alice by April 30,2002.)"와 같이, 그것은 상기 계약의 불수행을 위한 구제책을 특정하는 데 사용될 수 있다. 따라서, 벌금(penalty) 의무조항은 지불 의무조항의 불수행에 의존한다.
[0056] 예시적인 실시예에서, 계약은 계약 라이프사이클을 갖는 동적인 대상 물로서 특정될 수 있다. 계약 라이프사이클은 예를 들어 생성단계, 실행 또는 수행 단계, 보정, 확장 또는 갱신(renewal) 단계, 완료, 종말 또는 만료 단계, 성취 단계 등을 포함할 수 있다. 예시적인 실시예에서, 생성단계는 예를 들어 많은 회수의 숙고와 협상에 의해 따라오고 결과적으로 관련된 당사자들에 의해 서명되는 협정을 가져오는, 어떤 당사자 또는 당사자들에 의해 제공되는 제공(offer)으로 시작할 수 있다. 예시적인 실시예에서, 실행 또는 수행 단계는 예를 들어 관련 당사자들이 권리를 실행하고, 의무를 이행하고, 금지에 복종하고, 의사를 제기하고(contest), 주장을 검증하는(verify) 등을 지시할 수 있다.
[0057] 바람직하게는, 예시적인 계약 표현언어는 예를 들어 계약 라이프사이클을 지원하고, 계약의 신뢰관리를 제공하는 등을 위하여 XrML로부터 특징들을 채용함으로써, 다른 정책 명세 접근들[29]로부터 구별한다. 예를 들어, 예컨대 인터넷에서와 같은 개방형 환경에서, 관련된 존재들 사이의 상호작용은 관련된 존재들 사이에 소정 수준의 신뢰를 필요로 할 수 있다. 그러나, 신뢰관리를 지원하는 정책(policy) 관리시스템은 일반적으로 단지 주체와 자원 사이의 신뢰관계를 다룬다.
[0058] 예를 들어, 일반적인 정책 관리 시스템에서, 주체는 주체가 어떤 기관에 의해 발행된 증명서를 소유한다면 신뢰되고, 자원은 자원이 신뢰된 주체에 의해 디지털적으로 서명된다면 신뢰된다. 그러나, 그런 정책 관리시스템은 일반적으로 정책들 사이의 신뢰관계를 다룰 수 없다.
[0059] 예를 들어,일반적으로 그런 정책 관리시스템에 의해 수립되는 기본적인 가설은 정책이 각 도메인(domain)들의 소유자 또는 관리자에 의해 관리되는 관리상의 또는 보안상의 도메인을 위해 수립된다는 것이다. 그래서, 그런 정책은 일반적으로 도메인내에서 존재들의 행위를 통제하는 것에 의해 제한된다.
[0060] 반면, 계약이 많은 관리상 및 보안상 도메인을 포함할 수 있는 분산된 환경내에서 실행되는 것일 때, 일반적으로 계약이 전달하는 것을 이해할 필요가 있을 뿐만 아니라, 더 중요하게는 그 계약내에 구속된 당사자들, 계약을 서명했던 당사자들, 계약을 합의했던 당사자들 등을 어떤 인증된 방식으로 이해하는 것이다. 결국, 그런 요인들은 일반적으로 계약을 첫번째 장소에서 유효하고 집행가능하게 만드는 것이다. 한편으로, 비인가된 당사자는 예를 들어 계약을 위조하고 혐의가 없는(unsuspecting) 당사자에게 비인가된 의무를 부과할 수 있고, 위조된 계약내에 과도한 허가를 허락함으로서 다른 또는 비인가된 사람들에게 불법적으로 권한을 줄 수 있고, 비인가된 금지를 요구함으로써 다른 사람들을 제한할 수 있고, 위조된 계약내에 잘못된 요구를 함으로써 다른 사람들을 잘못 인도할 수 있다.
[0061] 바람직하게는, 예시적인 계약 표현언어는 위의 문제들과 기타 다른 문제들을 다루고 있으며, 예를 들어 콘텐트 참조(reference)를 위한 운영체제들의 구축을 가능하게 하고, 예컨대 콘텐트 참조 체제(framework)의 외부의 어플리케이 션과 같은 다양한 다른 어플리케이션을 위한 계약들을 특정하기 위하여 확장가능한 건축학적 체제를 제공한다.
[0062] 예시적인 실시예에서, 예시적인 계약 표현언어는 바람직하게는 계약의 증거를 특정하기 위하여 채용될 수 있다. 예를 들어, 예시적인 계약 표현언어는 계약내에 전달되는 정보를 쉽고 명확하게 이해될 수 있는 방식으로 통신하기 위하여 채용될 수 있다.
[0063] 예시적인 실시예에서, 예시적인 계약 표현언어는 바람직하게는 계약의 실시를 특정하기 위하여 채용될 수 있다. 예를 들어, 예시적인 계약 표현언어는 예를 들어, 당사자가 어떤 권리를 실행하기 위하여 허락받았는지 아닌지 또는 어떤 의무를 이행하거나 계약의 어떤 금지에 복종하도록 요구되었는지 아닌지를 결정하기 위하여, 계약하는 당사자들의 비지니스 처리들과 통합되는, 계약내에 적절한 문맥으로 허가적인, 의무적인 또는 금지적인 수행을 촉진하기 위하여 채용될 수 있다.
[0064] 예시적인 실시예에서, 예시적인 계약 표현언어는 바람직하게는 계약의 평가를 위하여 채용될 수 있다. 예를 들어, 예시적인 계약 표현언어는 계약 당사자들에 의해 허가적인, 의무적인 또는 금지적인 수행을 점검하기 위하여 채용될 수 있다.
[0065] 예시적인 실시예에서, 예시적인 계약 표현언어는 바람직하게는 계약의 조직화(formation)를 촉진하기 위하여 채용될 수 있다. 예를 들어, 예시적인 계약 표현언어는 제공, 승낙, 협정, 댓가(consideration) 등과 관련되는 처리들을 자동화하기 위하여 채용될 수 있다.
[0066] 예시적인 실시예에서, 예시적인 계약 표현언어는 바람직하게는 동적인 발생을 촉진하고 계약을 업데이트(update)하기 위하여 채용될 수 있다. 예를 들어, 예시적인 계약 표현언어는 계약의 협상을 촉진하고 계약 등에 관련된 비지니스 모델을 지원하기 위하여 채용될 수 있다.
[0067] 예시적인 실시예에서, 예시적인 계약 표현언어는 바람직하게는 계약의 집행을 촉진시키기 위하여 채용될 수 있다. 예를 들어, 예시적인 계약 표현언어는 계약에 의해 허여된 권리를 집행하고, 계약의 의무 및 규정된 금지를 요구하기 위하여 채용될 수 있다.
[0068] 예시적인 실시예에서, 예시적인 계약 표현언어는 계약 권리, 의무, 금지 등에 관련하는 "may", "must" 및 "must not"의 양식 유형을 특정하는 데 사용될 수 있다. 예시적인 계약 표현언어는 "may not act"의 양식 형태를 명백하게 특정할 필요는 없는데, 이것은 예컨대 양식은 기정 양식으로서 처리될 수 있기 때문 이다. 예를 들어, 행위, 연주(play)가 예시적인 계약 표현언어로 작성된 계약 표현내에 언급되지 않는다면, 기정치(default)는 그런 조항에 따라 어느 누구도 "행동하지 않을 수도 있다" 예를 들어 연주하지 않을 수 있다는 것이다. 예시적인 실시예에서, 다른 계약 표현들이 주어진 행위는 허용되는 것, 의무화 되는 것, 금지되는 것 등으로 특정하는 데 사용될 수 있는 것처럼, "행동하지 않을 수도 있다"는 그 기정치는 그 주어진 행동에 관해 언급하지 않은 계약서 표현에 적용될 수 있다.
[0069] 따라서, 예시적인 계약 표현언어내의 예시적인 양식 명세는 예를 들어 다음의 유형들을 포함할 수 있다.
("may act"- 권리 또는 허가,
"must act"- 의무, 및
"must not act"- 금지.)
[0070] 바람직하게는, 예시적인 양식들은 허가, 의무, 금지 및 기타 기준적인 문제들에 관련한 추론의 원리를 포함하는 의무 논리학[24]에 일치할 수 있다. 예시적인 계약 표현언어는 다음 예에서 보는 바와 같이 바람직하게는 행위를 수행하는 의사 및 사실로서 수행되는 행위의 주장을 특정하는 것을 지원한다.
("want to act" - 의사, 및
"acted", "is acting", "will act", "was", "is", 및 "will be" - 주장.)
[0071] 바람직하게는, 의사를 특정하기 위한 메카니즘을 채용함에 의하여, 예시적인 계약 표현언어는 예를 들어 의사된 행위가 허가, 의무 또는 금지되었는지 아닌지에 관한 응답을 얻기 위하여 공인기관(authorization agents) 또는 서비스에 대한 쿼리를 표현하는 데 사용될 수 있다. 또한, 의사를 특정하기 위한 메카니즘을 채용함에 의하여, 예시적인 계약 표현언어는, 예를 들어 식별사항(identity) 및 속성(attribute) 증명서를 발행하고, 예를 들어 우선권 및 신뢰의 특정에 관한 다양한 정책들을 정의하고, 계약 이행에 관한 이력과 상태를 추적하는 등의 목적을 위해, 속성 주장을 생성하고 사건의 상태 또는 계약의 문맥에 대한 사실을 설명하는 데 사용될 수 있다.
[0072] 예시적인 계약 표현언어는 바람직하게는 예를 들어 편무 계약에 협정 하는 당사자들 중의 하나이상을 필요로 하는 다변적(多邊的) 계약을 지원할 수 있다. 예를 들어, 콘텐트 참조에 대한 응답으로 취해야할 행위는 다변적 계약 뿐만 아니라 적용가능한 법, 규칙 및 "일당사자" 비지니스 규칙에 의존할지도 모른다. 바람직하게는, 예시적인 계약 표현언어로 표현된 계약은 예를 들어 계약내에 하나이상의 계약 서명자, 하나이상의 약속 발행인 등의 명세를 허락한다. 예를 들어, 예시적인 계약 표현언어로 표현된 계약은 바람직하게는 제1당사자가 그 계약을 서명했거나 제1당사자가 그 계약의 발행인을 신뢰한다면, 제1당사자가 계약에 구속된다는 것을 특정하도록 구성될 수 있다.
[0073] 본 발명은 계약이 특히 비지니스-투-비지니스(business-to-business) 어플리케이션을 가진 전자 상거래에서 매우 중요한 역할을 한다라는 인식을 포함한다. 일반적으로, 그런 계약들은 정의들, 예컨대 서술적인 주장, 권리 및 책임, 예컨대 서술적인 규칙을 통합하고, 계약에서 당사자들의 의무 및 인가를 공표한다. 본 발명은 나아가 계약에 관련되는 법적 혼란(complications) 및 암시(implications)가 존재할 수 있다는 인식을 포함할 수 있다. 실행가능한 기술로서, 예시적인 계약 표현언어는 법[16][17]에 의해 집행될 수 있는 계약을 정의하고, 규정하고(prescribe), 폐기하도록(supersede) 채용될 필요는 없다. 바람직하게는, 예시적인 계약 표현언어는 호펠드(Hohfeld)[23]의 권리이론이 판단이유에 적용될 수 있도록 하는 데 채용될 수 있다.
[0074] 예시적인 계약 표현언어는 예를 들어 XrML 등과 같은 권리 표현언어에 기초할 수 있다. 예를 들어, 예시적인 계약 표현언어는, XrML 안에서 빌딩 블록들로서 정의되어 있는 요소들 및 형태들 그리고, 예시적인 계약 표현언어에 대한 표현성(expressiveness) 및 확장성을 제공하기 위한 XrML 표현들의 풍부성 및 확장성 메카니즘을 채용할 수 있다. 바람직하게는, 예시적인 계약 표현언어는 XrML과 상호의존성이 있고 일치될 수 있다. 또한, 새로운 구조들이 예를 들어 XrML 대응부의 동등 요소 및 유형을 위하여, XrML 구조의 컨테이너(container)를 위하여, 다른 새로운 구조 등을 위하여 도입될 수 있다.
[0075] 예시적인 실시예에서, 예시적인 계약 표현언어는 XrML과 같은 권리 표현언어를 권리 또는 허가, 및 추가적인 특징, 예컨대 의무, 금지, 의사, 주장 등을 위하여 포함할 수 있다. 바람직하게는, 예시적인 계약 표현언어는 XrML에 보충적일 수 있다. 또한, 예시적인 실시예는 예를 들어 예시적인 계약 표현언어 계약에 기초한 XrML 라이센스의 제공, 발생을 가능하게 할 수 있다.
[0076] 예시적인 계약 표현언어는 서술적인 언어로서 정의될 수 있다. 바람직하게는, 예시적인 계약 표현언어로 작성된 표현들은 일반적으로 부수적인(side) 효과들을 가지지 않는다. 예를 들어, 예시적인 계약 표현언어를 사용하는 시스템의 상태는 계약 표현언어 표현의 평가 때문에 변경할 필요가 없다.
[0077] 선언적인 언어로서 예시적인 계약 표현언어를 정의하는 것은 예시적인 계약 표현언어를 명령적인 언어로서 모델링(modelling)함에 의하여 많은 장점들을 제공한다. 예를 들어, 예시적인 계약 표현언어, 예컨대 허여, 의무, 계약 등에 기초한 표현들은 관련된 권리들이 실행되고, 관련된 의무가 이행되고, 관련된 금지에 복종되고, 관련된 계약이 고수되는(adhered) 방법에 독립적일 수 있다.
[0078] 예시적인 계약 표현언어는 바람직하게는 비지니스 어플리케이션, 시스템 등의 개발을 가능하게 한다. 바람직하게는, 예시적인 계약 표현언어는, 예를 들어, 예시적인 계약 표현언어에 기초한 계약에 관하여, 삽입, 삭제, 상태-점검, 집행, 갈등 탐지(conflict detecting), 갈등 해결 등을 위한 메카니즘에 기초하여, 그런 비지니스 어플리케이션 및 시스템에 의해 계약적인 협정을 표현하는 수단, 표현을 관리하는 수단 등으로서 채용될 수 있다.
[0079] 예시적인 실시예에서, 예시적인 계약 표현언어는 예시적인 계약 표현언어를 사용하는 시스템이 그것의 상태를 어떻게 변경해야 하는지, 예시적인 계약 표현언어에 기초한 표현들의 어떠한 값들이 변경될 것인지를 결정할 필요는 없다. 예시적인 실시예에서, 예를 들어 관련된 조건들이 만족될 때 어떤 행동이 수행될 수도 있는지 여부 혹은 수행되어야 하는지 여부를 결정하기 위하여 그런 표현들이 평가될 때, 그런 결정은 하나의 원자동작(atomic action)으로서 간주될 수 있다.
[0080] 예시적인 실시예들은 예를 들어 W3C XML 스키마[11]를 따르는 스키마들을 포함하는 네임스페이스들(namespaces)을 채용할 수 있다. 예를 들어, 확장형 생성언어(XML) 네임스페이스 접두사들(prefixes)은 표 1에서 보는 바와 같이 그들 각각의 네임스페이스들이 네임스페이스 선언이 스키마 및 예들의 세그먼트들(segments)의 리스트내에 존재하는지 아닌지를 나타내기 위하여 채용될 수 있다.
표 1. 스키마 네임스페이스들
| 접두사(Prefix) | 네임스페이스(Namespace) |
| c: (또는 생략된) | CEL 코어 네임스페이스 http://www.xrml.org/schema/2002/04/celcore |
| csx: | CEL 표준 확장 네임스페이스 http://www.xrml.org/schema/2002/04/celsx |
| cpx: | CEL 콘텐트 배포 확장 네임스페이스 http://www.xrml.org/schema/2002/04/celpx |
| r: | XrML 코어 네임스페이스 http://www.xrml.org/schema/2001/11/xrml2core |
| sx: | XrML 표준 확장 네임스페이스, http://www.xrml.org/schema/2001/11/xrml2sx |
| cx: | XrML 콘텐트 확장 네임스페이스, http://www.xrml.org/schema/2001/11/xrml2cx |
| xsd: | W3C XML 스키마 네임스페이스, http://www.w3.org/2001/XMLSchema[11] |
| dsig: | W3C XML 서명 네임스페이스, http://www.w3.org/2000/09/xmldsig#[12] |
| enc: | W3C XML 암호화 네임스페이스, http://www.w3.org/2001/04/xmlenc#[13] |
[0081] 도 2는 예를 들어 도 1의 DRM 시스템 등에 채용될 수 있는 예시적인 계약 표현언어의 예시적인 계약 데이터 모델(200)을 도시한다. 도 2에서, 예시적인 계약 데이터 모델(200)은 계약(202)의 0 이상의 서명자(210)에 의해 협정되는 약속(208)을 갖는 계약(202)을 포함할 수 있다. 예시적인 실시예에서, 약속(208)은 예를 들어 이벤트(E; 216), 주체(P; 218), 행위(A; 220), 자원(R; 222), 조건 (C; 224) 등의 사이의 관계를 설명하는 데 사용되는 하나이상의 조항(212)을 포함할 수 있다.
[0082] 나아가, 계약(202)은 예를 들어 계약(202) 등을 통해 사용되는 제목, 상태, 표현들의 목록과 같은 메타데이터(204), XrML 라이센스 등과 같은 하나이상의 라이센스를 포함할 수 있다. 예시적인 실시예에서, 하나이상의 서명자(210)의 서명의 존재는 예를 들어 계약(202)이 유효한지를 검증하기 위하여 사용될 수 있고, 계약 무결성을 위하여 제공할 수 있고, 서명자 인증을 위하여 제공할 수 있고, 서명자(210)의 승낙(consent)을 전달할 수 있다. 바람직하게는, 계약(202)에 서명함에 의하여, 서명자(210)는 계약(202)의 콘텐츠에 관하여 협정할 수 있다. 또한, 대응하는 서명은 사용자가 한 계약(202)의 적용가능한 목적을 위하여 그 사용자가 계약(202)내의 서명을 인정(accept)할지 안 할지에 관하여 그 계약(202)의 사용자가 해야 할 필요가 있을 수 있는 어떤 결정에 관한 증거로서 작용할 수 있다.
[0083] 예시적인 실시예에서, 약속(208)은 선택적으로 서명되고, 문장을 전달하는 각 조항을 가진 조항(212)들을 포함할 수 있다. 예시적인 실시예에서, 각 조항에 관한 대응 서명은 그 서명에 대응하는 발행인(214)이 대응 조항(212)을 약속(208)내에 전달했다는 것을 지시하기 위하여 사용될 수 있다. 바람직하게는, 그런 서명들은 그 조항(212)의 사용자가 그 조항들(212)내에 담겨진 콘텐트 및 인증을 믿기 위하여 그 서명들을 신뢰할 수 있는지 아닌지에 관하여 해야 할 필요가 있 을 지 모르는 결정에 관한 증거로서 작용할 수 있다. 예를 들어, 발행인(214) 요소는 조항 체인내의 원조항(root clause)의 발행인의 신뢰에 기초한 끝조항(end clause)의 발행인에 관한 신뢰를 확립하기 위하여, 조항들의 체인(chain)에 관한 발생경로 유효화(validation)의 처리를 수행하는 데 채용될 수 있다.
[0084] 예시적인 실시예에서, 조항(212)은 이벤트(216), 주체(218), 행위(220), 자원(222), 및 조건(224) 요소와 같은 조항(212)의 요소들 사이의 어떤 종류의 관계에 대한 문장을 기술하는 데 사용될 수 있다. 예시적인 실시예에서, 이벤트(216)는 예를 들어 이벤트 조건을 표현하는 선택적인 요소일 수 있다. 이벤트(216)는 이벤트(216) 요소에 의해 정의된 대응하는 이벤트가 예를 들어 주어진 문맥내에서 발생한다면 만족될 수 있다. 예시적인 실시예에서, 이벤트(216) 요소가 대응하는 계약(202)으로부터 생략될 때, 기정된 해석은 어떤 이벤트도 발생하도록 요구되지 않고 그러므로 이벤트 조건이 만족된다는 것일 수 있다.
[0085] 예시적인 실시예에서, 이벤트(216)는 외적인 이벤트, 내적인 상태, 시간적인 이벤트 등을 포함할 수 있다. 예시적인 실시예에서, 외적인 이벤트는 예를 들어 사용자가 콘텐트 참조에 관한 주장이 있을 때와 같은, 대응하는 계약(202)에 의해 구속된 시스템 외부의 존재에 의해 트리거(trigger)될 수 있다. 예시적인 실시예에서, 내적인 이벤트 또는 상태 이벤트는 예를 들어 허락된 프린팅의 수가 제한을 초과하는 때와 같이, 대응하는 계약(202)에 의해 구속된 시스템의 내부에서 발생하는 것에 의해 트리거될 수 있다. 예시적인 실시예에서, 시간적인 이벤트는 시기(a point in time)가 도달하는 때, 예를 들어 주문(invocation) 리스트를 매일 오전 1:00시에 점검하는 때 트리거될 수 있다.
[0086] 예시적인 실시예에서, 주체(218)는 예를 들어 행위(220) 요소에 의해 특정된 행위를 수행할 수 있는 존재 또는 존재 세트를 표시하는 선택적 요소일 수 있다. 예시적인 실시예에서, 주체(218)가 대응하는 계약(202)으로부터 생략되는 때, 기정된(default) 해석은, 어떤 존재 또는 예를 들어 존재들의 집합과 같이 전체 집단(entire universe)이 특정되어 있다는 것이 될 수 있다.
[0087] 예시적인 실시예에서, 행위(220)는 대응하는 계약(202)에서 특정된 행위 또는 행위 세트를 포함할 수 있다. 예시적인 실시예에서, 계약(220)의 실증(instantiation)적 의미론은 대응하는 행위(220)가 자원(222) 요소를 채용하는지 아닌지를 결정하는 데 사용될 수 있다.
[0088] 예시적인 실시예에서, 자원(222)은 예를 들어 대응하는 행위(220)가 적용되는 자원 또는 자원 세트를 표시하는 선택적 요소일 수 있다. 예시적인 실시예에서, 자원(222)이 대응하는 계약(202)으로부터 생략될 때, 기정된 해석은 그런 생략에 의해 특정되는 자원의 전체 모집단과 비교하여, 특정되는 자원이 존재하지 않는다는 것일 수 있다.
[0089] 예시적인 실시예에서, 조건(224)은 예를 들어 대응하는 행위(22)가 수행될 수 있다는 것을 조건으로 하는, 대응 조건을 표시하는 선택적 요소일 수 있다. 예시적인 실시예에서, 조건(224)은 조건(224)이 특정하는 대응 조건이 예를 들어 문맥내에서 부합할 때, 만족될 수 있다. 예시적인 실시예에서, 조건(224)이 대응하는 계약(202)으로부터 생략되는 경우, 기정된 해석은 특정될 수 있는 조건 또는 항상 사실인 균등한 조건이 존재하지 않는다는 것일 수 있다.
[0090] 조항(212)에 관한 예시적인 EPARC 데이터 모델은 컴퓨터 과학에, 그리고 프로그래밍 언어의 연구에서, 예를 들어 데이터베이스 및 지식-기반 시스템에 있어서 보호된 명령들(guarded commands) [19]로 된 "if-guarded" 및 "while-guarded" 명령을 위하여, 인공지능에 있어서 이벤트-조건-행위 규칙[20][21]을 위하여, 생산시스템[22]에서, 멀티-에이젼트 시스템[25][26] 등에서 "패턴-동작(pattern-action)"규칙을 위하여 채용될 수 있다.
[0091] 도 3은 도 2의 예시적인 계약 데이터 모델(200)에 채용될 수 있는 예시적인 조항(212)을 나타낸다. 도 3에서, 예시적인 조항(212)은 예를 들어 하나이상의 허여(320), 의무(304), 금지(306), 주장(308), 의사(310) 등의 요소들을 포함할 수 있다. 예시적인 실시예에서는, 바람직하게는 허여(302) 요소는 예를 들어 권리, 허가 등을 전달하는 데 채용될 수 있고, 의무(304) 요소는 의무를 부과하는 데 채용될 수 있고, 금지(306) 요소는 금지를 금지하는 데 채용될 수 있고, 주장(308) 요소는 주장을 선언하는 데 채용될 수 있고, 의사(310) 요소는 의사를 표현하는 데 채용될 수 있다.
[0092] 예를 들어, 예시적인 조항(212)은 이벤트(E), 주체(P), 행위(A), 자원(R), 조건(C) 요소들(302~310) 사이의 양식의 내포(connotation), 의사적 내포, 사실적 내포 등과 같은 내포들을 정의하는 데 다음과 같이, 채용될 수 있다.
(허여- (E가 발생하는 때는 언제나), C가 부합된다면, P는 R에 관하여 A를 수행해도 좋다. 그래서, (E가 발생하는 때는 언제나), 허여는 C가 부합되는 상황에서 R에 관해 A를 수행하도록 P에 관한 허가를 전달한다.
의무- E가 발생하는 때는 언제나, C가 부합된다면, P는 R에 관하여 A를 수행하지 않으면 안된다. 그래서, E가 발생하는 때는 언제나, 의무는 C가 부합되는 상 황에서 R에 관하여 A를 수행하도록 P에 관한 의무를 요구한다.
금지- E가 발생하는 때는 언제나, C가 부합된다면, P는 R에 관하여 A를 수행해서는 안된다. 그래서, E가 발생하는 때는 언제나, 금지는 C가 부합되는 상황에서 R에 관하여 A를 수행하도록 P에 관한 금지를 명령한다.
의사- E가 발생하는 때는 언제나, C가 부합된다면, P는 R에 관하여 A를 수행하기를 원한다. 그래서, E가 발생하는 때는 언제나, 의사는 C가 부합되는 상황에서 R에 관하여 A를 수행하도록 P의 의사를 표현한다.
주장- E가 발생하는 때는 언제나, C가 부합된다고 가정하면, P는 R에 관하여 A를 수행한다. 그래서, E가 발생하는 때는 언제나, 주장은 C가 부합되는 상황에서 R에 관하여 A를 수행하는 P에 대하여 주장한다.)
[0093] 도 4는 주체(P; 404) 요소, 행위(A; 406) 요소, 자원(R; 408) 요소, 및 조건(C; 410) 요소를 포함하는, PARC 모델을 사용하여 정의될 수 있는 확장형 권리 생성언어(XrML) 허여(403)의 예시적인 모델을 도시한다. 그래서, XrML 허여는 예를 들어 아래 주어진 바와 같이 이벤트(216) 요소를 생략함으로써 조항(212)으로 특정될 수 있다.
(허여- C가 부합된다면, P는 R에 관하여 A를 수행해도 좋다. 그래서, 허여 는 C가 부합되는 상황에서 R에 관하여 A를 수행하도록 P에 관한 허가를 전달한다.)
[0094] 바람직하게는, 예시적인 계약 표현언어의 EPARC 모델은 XrML 허여로서 권리 또는 허가를 표현하기 위하여, 뿐만 아니라 의무 및 금지를 특정하기 위하여 아래 주어진 바와 같이 채용될 수 있다.
("배포 서버는 어떤 음악 요청을 www.someretailer.com.에 조회하지 않으면 안된다.")
[0095] PARC 모델을 사용하여, 위의 필수의 문장의 단서들(provisos)은 그 단서들을 그 요청을 참조하는 의무를 이행하는 배포 서버를 위한 조건들로서 취급함으로써 다음에서 보여지는 바와 같이 모델화(model)가 가능하다.
((a) "요청이 음악이다는 것", 및
(b) "조회 목적지는 www.someretailer.com.이라는 것")
[0096] 그러나, 단서(b)를 서버가 참조(referral)을 만들기 위하여 부합되지 않으면 안되는 조건으로서 처리하는 것은 일반적으로 정당하지 않고, 그래서 (b)는 참조를 만드는 행위에 관한 단지 구속이다. 예를 들어, 행위는 참조를 목적지 www.someretailer.com.에 만드는 것이다. 더욱이, 그런 참조를 만드는 것은 단지 주장이 있는 때 서버에게 의무가 된다. 예를 들어, 참조는 들어온 주장의 이벤트에 의해 "트리거"되지 않으면 안된다.
[0097] 바람직하게는, 예시적인 EPARC 모델을 사용함에 의하여, 참조(referral) 서비스는 예를 들어 다음에서 보여지는 바와 같이 더 명확하게 특정될 수 있다.
("사용자 요청(E)의 발생시, 그 요청이 음악 요청(C)이라면, 배포자 서버(P)가 참조를 요청(R)의 www.someretailer.com(A)에 만든다는 것은 의무이다.")
[0098] 예시적인 계약 표현언어는 예를 들어 바람직하게는 확장, 요소 대입 그룹(Element substitution groups), 유형 대입(Type substitution), "any" 요소 등[1][11]을 가능하게 하는 XML 스키마 확장 메카니즘을 채용할 수 있다. 예시적인 실시예에서, 표 2에 나타낸 확장 요소와 유형은 바람직하게는 예시적인 계약 표현언어에서 확장할 수 있는 것을 제외하고는, 일반적으로 XrML에서 제공되지 않는 추가적인 요소들 및 유형들을 제공한다.
표 2: 확장 요소 및 유형
| 요소/유형(Element/Type) | 확장 메카니즘(Extension Mechanism) |
| 계약(Contract) | "any" |
| 약속(Promise) | 요소 대입 그룹들, 유형 대입 |
| 서명자(Signer) | 요소 대입 그룹들, 유형 대입, "any" |
| 조항(Clause) | 요소 대입 그룹들, 유형 대입 |
| 이벤트(Event) | 요소 대입 그룹들, 유형 대입 |
| 주체(Principal) | 요소 대입 그룹들, 유형 대입 |
| 행위(Act) | 요소 대입 그룹들, 유형 대입 |
| 자원(Resource) | 요소 대입 그룹들, 유형 대입 |
| 조건(Condition) | 요소 대입 그룹들, 유형 대입 |
[0099] 예시적인 계약 표현언어의 핵심요소들에서의 그런 확장자들(extensions)은 예시적인 계약 표현언어 사용 시나리오들에 보편적이고 광범위하게 적용가능한 그러한 개념들에 관한 요소 및 유형의 정의들을 포함할 수 있다. 예를 들어, 대응 요소를 확장하는 표 3에 나타난 복합요소들이 있다.
표 3: 복합조항 요소들(Composite Clause Elements)
| 요소(Element) | 복합 요소(Composite Element) | 의미(Meaning) |
| 이벤트(Event) | OnPerformance/[Clause, Claim1, …, ClaimN] | (문맥의 일부로서) Claim1, …, ClaimN로 주어진, 조항들내의 행위를 수행함에 의해 유발되는 이벤트. 여기서, N≥0. |
| AnyOneEvent/[E1, …, En] | E1, …, En를 포함하는 이벤트 세트. 하나 및 E1, …, En중 단지 하나가 발생한다면 이 이벤트는 발생한다. | |
| 주체(Principal) | AllPrincipals/[P1, …, Pn] | 모두 주체들 P1, …, Pn의 조합을 표시하는 주체. |
| AnyOnePrincipal/[P1, …, Pn] | 주체들 P1, …, Pn의 세트. 이 주체는 이러한 P1, …, Pn중 어느 하나를 나타낸다. | |
| OnBehalfPrincipal/[P1, P2] | P2을 대신하여 행동하는 주체 P1[32] | |
| 행위(Act) | AllActs/[A1, …, An] | 수행 행위는 A1, …, An의 동시에 일어나는 수행들이다. |
| AnyOneAct/[A, …, An] | A1, …, An의 행위 세트. 하나 및 A1, …, An 중에서 단지 하나가 수행된다면 이 행위는 수행된다. | |
| 자원(Resource) | AllResource[R1, …, Rn] | R1, …, Rn의 조합을 표시하는 자원. |
| AnyOneResource[R1, …, Rn] | R1, …, Rn의 자원 세트. 이 자원을 이러한 R1, …, Rn 중에서 어느 하나를 나타낸다. | |
| 조건(Condition) | AllConditions[C1, …, Cn] | C1, …, Cn 조건의 동시발생(conjunction)을 표시하는 조건. |
| AnyConditions[C1, …, Cn] | C1, …, Cn 조건의 비동시발생(disconjunction)을 표시하는 조건. |
[00100] 예시적인 실시예에서, 예를 들어 아래 보여지는 바와 같이 대응 조항들(212)에 관하여 행위하는 메타 행위로서 작동할 수 있는 많은 행위들이 있다.
(발행한다: 주체가 (예를 들어, 계약내에) 조항을 발행한다는 것을 특정하는 데 사용되는 행위. 발행 행위에 의해, 발행 행위를 조항들의 발행인으로 만듦에 의해 사람은 특정된 조항들(예를 들어, 허가, 의무, 금지, 의사 및 주장)을 생성할 수 있다.
획득한다: 주체가 조항(예를 들어, 계약내의)을 얻는다는 것을 특정하는 데 사용되는 행위. 획득 행위에 의해, 사람은 특정된 조항을 수신할 수 있다.
철회한다: 사람이 그것의 서명들의 하나를 서명자 또는 발행인으로 철회함으로써 조항을 철회한다는 것을 특정하는 데 사용되는 행위. 철회 행위에 의해, 사람은 서명자 또는 발행인에 의해 만들어져 존재하는 조항을 무효화할 수 있다.
우선한다: 하나의 절이 우선권에 관하여 다른 것에 우선한다는 것을 특정하 는 데 사용되는 행위. 우선 행위에 의해, 사람은 조항 우선권에 의해 잠재적인 갈등 및 다양성을 해결하기 위하여 조항들 사이에서 우선권에 관한 주장들을 할 수 있다.
소유한다: 주체가 어떤 자원을 소유할 수 있다는 것을 특정하는 데 사용되는 행위.
신뢰한다: 하나의 주체가 자원에 관해(또는, 예를 들어 주체에 의해) 만들어진 조항들에 의하여 하나의 자원(예를 들어, 또한 주체일 수 있는 것)을 신뢰한다는 것을 특정하는 데 사용되는 행위. 신뢰 행위에 의해, 사람은 주체가 신뢰하는 것에 대하여 주장들을 할 수 있다.
구속하다: 하나의 주체는 자원에 관해(또는, 예를 들어 주체에 의해) 만들어진 조항들에 의하여 하나의 자원(예를 들어, 또한 주체일 수 있는)에 구속력이 있다는 것을 특정하는 데 사용되는 행위. 구속 행위에 의해, 사람은 주체가 구속하는 것에 대하여 주장할 수 있다.
위임하다: 제1주체가 제1주체를 대신하여 행동하도록 제2주체에게 어떤 자원(예를 들어, 조항들일 수 있는)을 위임한다는 것을 특정하는 데 사용되는 행위.)
[00101] 예시적인 실시예에서, 예시적인 계약 표현언어는 아래 보여지는 바와 같이 과거 시간적인 조작자[33]에 관련된 하나이상의 조건 구문(constructs)을 포함할 수 있다.
(Valid[Clause, Claim1, …, ClaimN]: 조항의 이벤트 및 조건들이 Claim1, …, ClaimN에서 표현된 주장들 하에서, 예를 들어 (현재 문맥의 상단에서) 유효하다면, 그 유효한 조건은 만족된다.
Exercised/[Clause, StateReference, Count]: 조항에서 만족된 행위가 카운트 회수(count times) 수행되었다면 그 실행된 조건은 만족되고, 수행 회수는 (예를 들어, 선택적인) StateReference에 기록된다. 카운트는 선택적이고, 어떤 것에서 기정치를 생략했을 때, 논리적으로 StateReference에 저장된 수가 카운트보다 더 크기나 동일하다면 그 실행된 조건은 진실이다.
NotExercised/[Clause, StateReference, Count]: 조항에서 만족된 행위가 카운트 회수로 수행되지 않는다면 그 비실행된 조건은 만족되고, 수행 회수는 (예를 들어, 선택적인) StateReference에 기록된다. 논리적으로, 비실행된 조건은 StateReference에 저장된 수가 카운트보다 더 크거나 동일하다면 그 비실행된 조건은 진실이다.)
[00102] 예시적인 계약 표현언어는 콘텐트, 또는 자원 발행, 배포 등에 특유할 수 있는 핵심요소들에 콘텐트 배포 확장자를 포함할 수 있다. 본 발명은 발행 및 배포하는 계약서는 발행 및 배포 처리에 관련되는 몇몇의 가장 중요한 문서들일 수 있다는 인식을 포함할 수 있다. 예를 들어, 발행 및 배포하는 계약은 저작자 및 발행인의 관심 범위를 정의하고, 당사자들의 각각의 권리 및 의무 뿐만 아니라 발행 및 배포 가치 사슬(value chain)에서 당사자들의 상속자(heirs) 및 후계자(successors)의 권리 및 의무를 통제하는 데 사용될 수 있다.
[00103] 예시적인 실시예에서, 예시적인 계약 표현언어에 기초한 계약에 관한 예시적인 의미론 모델은 예를 들어 하나이상의 논리명제(logic propositions)로의 계약의 매핑(mapping), 예를 들어 데이터로그(Datalog) 프로그램[30], 프로로그(Prolog) 프로그램[31]을 포함할 수 있고, 그것은 논리 의미론 등으로 잘 이해될 것이다. 예시적인 실시예에서, 의미론 매핑은 구조적일 수 있고, 계약 등의 데이터 모델에 기초하여 정의될 수 있다. 바람직하게는, 예시적인 의미론 모델은 더 나은 처리 모델들을 위한 기초로서 작용할 수 있다.
[00104] 예시적인 실시예에서, 다른 의미론은 예를 들어 권리 또는 허가의 허여(302) 요소, 예를 들어 의무, ought-to-be 또는 ought-to-do의 의무(304) 요소, 예를 들어 금지 등의 금지(306) 요소에 관한 의무 논리학과 같은 예를 들어 진보된 로직(logic)에 기초하여 채용될 수 있다. 예시적인 실시예에서, 다른 의미론 모델은 예를 들어 행동 등의 행위(220) 요소에 관한 동적인 로직에 기초하여 채용될 수 있다. 예시적인 실시예에서, 다른 의미론 모델은 예를 들어 발행인(214) 및 서명자(210) 요소에 관한 도세스틱(doxastic) 로직에 기초하여 채용되어, 신뢰 및 구속하는(binding) 관계가 특정될 수 있다. 예시적인 실시예에서, 다른 의미론 모델은 예를 들어 행위(220) 요소의 수행 및 불수행에 관한 시간적인 로직에 기초하여 채용되어, 구제책 및 보증이 특정될 수 있다.
[00105] 예시적인 실시예에서, 예시적인 계약 표현언어를 위해 채용된 표기법(notation)은 다음에 보여지는 바와 같다.
[00106] 예시적인 실시예에서, 계약(202)의 의미론은 예를 들어 다음에 보여지는 바와 같다.
[00107] 예시적인 실시예에서, 계약(202) 표현(E)의 의미론[[E]]은 예를 들어 다음에 보여지는 바와 같다.
[00108] 예시적인 실시예에서, 계약(202) 표현(E)의 의미론은 예를 들어 S 리스트로부터 서명자(210)에 의해 서명된 약속들(P1, …, PM), 및 계약(202) 표현(E)에 관한 S 리스트의 서명자들(210)(S1, …, SK)의 의미론들을 선언하는 명제들을 포함할 수 있다. 계약(202) 표현(E)의 의미론은 또한 각각의 약속들(P1, …, PM)이 계약(202) 표현(E)의 약속(203)의 부분이라는 사실을 포함할 수 있다.
[00109] 예시적인 실시예에서, 약속(208)의 의미론은 예를 들어 아래에서 보여지는 바와 같이 표현될 수 있다.
[00110] 예시적인 실시예에서, 약속(P; 208)의 의미론[[P]]은 예를 들어 아래와 같이 표현될 수 있다.
[00111] 예시적인 실시예에서, 서명자들(210)의 리스트가 주어진다면, 약속(P;208)의 의미론들은 I 리스트로부터 발행인들(214)에 의해 발행되고, S 리스트로부터 서명자들(210)에 의해 서명되는 조항들(C1, …, CN), 및 약속(P;208)에 관한 발행인들(I1, …, IL)의 의미론들을 선언하는 명제들을 포함할 수 있다. 약속(P;208)의 의미론들은 또한 각각의 조항들(C1, …, CN)이 약속(P;208)의 조항(212)의 부분이라는 사실을 포함할 수 있다.
[00112] 예시적인 실시예에서, 서명자(210)의 의미론들은 예를 들어 아래와 같이 표현될 수 있다.
[00113] 예시적인 실시예에서, 조항의 의미론들은 예를 들어 아래와 같이 표현될 수 있다.
[00114] 예시적인 실시예에서, 조항(C;212)의 의미론들[[C]]은 예를 들어 아래와 같이 표현될 수 있다.
[00115] 예시적인 실시예에서, 발행자들(214)의 리스트(I 리스트) 및 서명자들(210)의 리스트(S 리스트)가 주어진다면, 조항(212)의 의미론들은 예를 들어 조항(212)의 의미론들이 이벤트(E;216), 주체(P;218), 행위(A;220), 자원(R;222), 조건(C;224), 발행인들(214)의 리스트(I 리스트), 및 서명자들(210)의 리스트(S 리스트)를 포함하는 조항이라는 것을 선언하는 명제를 포함할 수 있다. 조항(212)의 의미론들은 또한 요소들(E, P, A, R 및 C)의 의미론들을 포함할 수 있다.
[00116] 예시적인 실시예에서, 조항들(212)을 위한 허여(302), 의무(304), 금지(306), 주장(308), 및 의사(310) 요소들의 의미론들은 예를 들어 아래에서 표현되는 바와 같은, 조항(E, P, A, R, C, I 리스트, S 리스트) 대신에 명제들을 포함할 수 있다.
[00117] 예시적인 실시예에서, 발행인(214)의 의미론들은 예를 들어 아래와 같이 표현될 수 있다.
[00118] 예시적인 실시예에서, 이벤트(E;216) 조항요소들은 예를 들어 조건을 포함할 수 있다. 예시적인 실시예에서, 이벤트(216) 조건의 의미론들[[E]]은 예를 들어 아래와 같이 표현될 수 있다.
[00119] 예시적인 실시예에서, 주체(P;218)는 예를 들어 하나의 존재, 존재 세트 등일 수 있다. 예시적인 실시예에서, 주체(218)의 의미론들[[P]]은 예를 들어 아래와 같이 표현될 수 있다.
[00120] 예시적인 실시예에서, 행위(A;220)는 예를 들어 하나의 행위, 행위 세트 등을 포함할 수 있다. 예시적인 실시예에서, 행위(220)의 의미론들[[A]]은 아래와 같이 표현될 수 있다.
[00121] 예시적인 실시예에서, 자원(R;222)은 예를 들어 하나의 자원, 자원 세트 등을 포함할 수 있다. 예시적인 실시예에서, 자원(222)의 의미론들[[R]]은 예를 들어 아래와 같이 표현될 수 있다.
[00122] 예시적인 실시예에서, 조건(C;224)은 조건(224)의 의미론들[[C]]이 예를 들어 아래와 같이 표현될 수 있다는 점에서, 조건을 특정한다.
[00123] 다음의 예시적인 계약, 의무, 금지, 의사, 주장 등은 예시적인 계약 표현언어의 표현성을 나타내는 것을 돕는다. 바람직하게는, 예시적인 실시예들은 예를 들어 배타성(exclusivity)을 표현하는 것을 인정하고, 잠재적인 갈등들과 다양성(multiplicities)의 해결을 돕기 위하여 우선권을 표현하는 것을 인정하고, 신뢰와 구속 정책을 표현하는 것을 인정한다.
[00124] 예시적인 실시예에서, 웹서비스 참조는 예를 들어 아래와 같이 표현될 수 있다.
[00125] 전현적인 웹서비스 참조는 예를 들어, 아래에서 표현되는 바와 같이, 이벤트(216) 요소 "receiveCR", 제한요소 "redirectTo"를 가진 행위(220) 요소 "redirect", 자원(222) 요소 "request" 및 조건(224) 요소 "requestConstraint"을 정의하는 참조 확장자에 관한 확장자 "refx"를 채용함으로써, 예시적인 계약 표현언어를 사용하여 표현될 수 있다.
[00126] 예시적인 실시예에서, 판매용 상품(goods-for-sale)은 아래와 같이 표현될 수 있다.
[00127] 예시적인 판매용 상품은 아래에서 표현되는 바와 같이, 이벤트(216)요소 "receivePayment", 제한 "sellTo"을 가진 행위(220)요소 "sell", 및 자원(222)요소 "property"를 정의하는 부동산(real estate) 확장자에 관한 확장자 "rex"를 채용함으로써 예시적인 계약 표현언어를 사용하여 표현될 수 있다.
[00128] 예시적인 실시예에서, 아파트 월세 계약의 부분은 예를 들어 아래와 같이 표현될 수 있다.
[000129] 예시적인 실시예에서, 계약은 위의 표현에 기초하여 확립될 수 있고, 예를 들어 아래의 것을 포함할 수 있다.
[000130] 아파트 월세 계약의 예시적인 부분은 예를 들어 아래에서 표현되는 바와 같이, 예시적인 계약 표현언어를 사용하여 표현될 수 있다.
[00131] 예시적인 실시예에서, 전송수수료를 지불해야 하는 온라인 소매상의 의무는 예를 들어 아래와 같이 표현될 수 있다.
[00132] 따라서, 야후!에 의해 수행된 어떤 판매거래의 이벤트에서, 야후!는 생산품이 전자책(e-book)이고 고객의 계좌가 미국내에 존재하는 경우, AT & T에 수령액의 0.05를 지불한다. 예시적인 의무는 예를 들어 아래에서 표현되는 바와 같이, 예시적인 계약 표현언어를 사용하여 표현될 수 있다.
[00133] 예시적인 실시예에서, 증명의무는 예를 들어 아래와 같이 표현될 수 있다.
[00134] 따라서, 미디어 플레이어의 개정판을 배포하는 이벤트에서, 마이크로소프트는 HREV 프로토콜을 사용하여 Haxor,Inc.,에 미디어 플레이어를 제공한다. 한편으로, Haxor,Inc.,는 증명서 서비스로서 취급될 수 있고 그 서비스와의 통신은 HREV 프로토콜을 통하여 이루어진다. 예시적인 증명의무는 예시적인 계약 표현언어를 사용하여 아래에서 표현되는 바와 같이, 표현될 수 있다.
[00135] 예시적인 실시예에서, 참조 의무(referral duty)는 예를 들어 아래와 같이 표현될 수 있다.
[00136] 따라서, "in Japan(일본에서)"는 요청시 요청자의 위치에 의해 정의될 수 있고, 일본에서 현재 고객으로부터 온 어떤 참조 요청은 NTT의 조회(reference) 서비스로 방향이 전환되지 않으면 안된다. 예시적인 참조 의무는 예를 들어 아래에서 표현되는 바와 같이, 예시적인 계약 표현언어를 사용하여 표현될 수 있다.
[00137] 예시적인 실시예에서, 표시수단(rendering device)은 예를 들어 아래에서 표현되는 바와 같이, 금지(prohibit)되거나 금제(ban)될 수 있다.
[00138] 위의 예시적인 금지 또는 금제는 예를 들어 아래와 같이 표현될 수 있다.
[00139] 위의 예시적인 금지 또는 금제는 예를 들어 아래에서 표현되는 바와 같이, 예시적인 계약 표현언어를 사용하여 표현될 수 있다.
[00140] 예시적인 금지 또는 금제는 또한 예를 들어 아래와 같이 표현될 수 있다.
[00141] 위의 예시적인 금지 또는 금제는 예를 들어 아래에서 표현되는 바와 같이, 예시적인 계약 표현언어를 사용하여 표현될 수 있다.
[00142] 예시적인 실시예에서, 어떤 나라에서 어떤 등급의 콘텐트의 판매가 예를 들어 아래에서 표현되는 바와 같이, 금지되거나 금제될 수 있다.
[00143] 위의 예시적인 금지 또는 금제는 예를 들어 아래와 같이 표현될 수 있다.
[00144] 위의 예시적인 금지 또는 금제는 예를 들어 아래에서 표현되는 바와 같이, 예시적인 계약 표현언어를 사용하여 표현될 수 있다.
[00145] 위의 예시적인 금지 또는 금제는 예를 들어 아래와 같이 표현될 수 있다.
[00146] 위의 예시적인 금지 또는 금제는 예를 들어 아래에서 표현되는 바와 같이, 예시적인 계약 표현언어를 사용하여 표현될 수 있다.
[00147] 예시적인 실시예에서, 부호화는 예를 들어 아래에서 표현되는 바와 같이, 금지되거나 금제될 수 있다.
[00148] 따라서, 콘텐트가 탑(top) 40 리스트에 존재하는 경우, 누군가가 UMG 콘텐트를 8비트 해상도보다 더 크게 부호하는 것은 금지된다. 예시적인 금지 또는 금제는 아래에서 표현되는 바와 같이, 예시적인 계약 표현언어를 사용하여 표현될 수 있다.
[00149] 예시적인 실시예에서, 의사(intention)는 예를 들어 아래에서 표현되는 바와 같이, 렌더링 어플리케이션(rendering application)을 사용하여 노래를 연주한다.
[00150] 따라서, 앨리스(Alice)는 렌더링 어플리케이션으로 마이크로소프트 미디어 플레이어를 사용하여, UMG 콘텐트를 연주한다라고 해석된다. 예시적인 의사는 아래에서 표현되는 바와 같이, 예시적인 계약 표현언어를 사용하여 표현될 수 있다.
[00151] 예시적인 실시예에서, 증명은 예를 들어 아래와 같이 표현될 수 있다.
[00152] 따라서, 키 소유자(holder)가 값 앨리스를 가진 이름속성을 소유하고 있다는 것이 주장된다. 예시적인 주장은 예를 들어 아래에서 표현되는 바와 같이, 예시적인 계약 표현언어를 사용하여 표현될 수 있다.
[00153] 예시적인 실시예에서, 사용상태는 예를 들어 아래와 같이 표현될 수 있다.
[00154] 따라서, 앨리스가 2001년 1월 1일부터 12월 31일까지 노래를 연주했다는 것이 주장된다. 예시적인 주장은 예를 들어 아래에서 표현되는 바와 같이, 예시적인 계약 표현언어를 사용하여 표현될 수 있다.
[00155] 예시적인 실시예에서, 예시적인 계약 표현언어는 예를 들어 상호 배타적인 방식으로, 발생하는 것 이외의 것을 허락하지 않는 방식으로, 계약조항을 특정하는 데 사용될 수 있다. 예를 들어, 예시적인 계약 표현언어는 누군가 디지털 저작물을 발행하는 배타적인 권리를 가지는 것, 및 비등록된 게스트 유저(guest user)와 같은 게스트 유저가 단지 대응 웹사이트의 공유공간을 구경(browse)할 수 있는 것을 특정할 수 있는 계약을 표현하는 데 사용될 수 있다.
[00156] 예시적인 실시예에서, 계약 표현언어 조항(212)은 EPARC 모델을 사용하여 모델이 될 수 있다. 따라서, 조항(212)은 이벤트(216), 주체(218), 행위(220), 자원(222), 및 조건(224)을 가지고 모델이 될 수 있다. 예시적인 실시예에서, 배타성 또는 "유일성(only)" 제한은 하나의 요소에서 다른 하나의 요소로 변경할 수 있다. 예를 들어, 특정 자원으로부터 "유일하게(only)" 유래된 콘텐트 조회(CR)를 방향지정(redirecting) 하는 것은 "only(단지)" 방향지정만 하고 그 밖의 아무것도 하지 않는 것과 다르다. 예시적인 실시예에서, 예를 들어 전자의 제한은 CR들의 근원이 되는 자원의 배타적인 리스트로 특정될 수 있지만, 후자의 제한은 행위들의 배타적인 리스트로 특정될 수 있다.
[00157] 바람직하게는, 허가, 의무, 금지 등을 특정하기 위한 예시적인 계약 표현언어의 표현성은 또한 "only" 유형의 조항들의 특정을 허락한다. 예시적인 실시예에서, 배타성에 관한 표현성은 예를 들어 아래와 같이 표현될 수 있다.
[00158] 예시적인 실시예에서, 위의 규칙들은 예를 들어 아래와 같이 표현될 수 있다.
[00159] 예시적인 실시예에서, 배타성에 관한 "구문론적인 감언(sugar)"의 형태가 바람직하게는 제공될 수 있다. 예를 들어, 조항(212)의 각 요소는, 그 요소가 배타적이어야 하는지 아닌지를 나타내기 위하여, 추가적이지만 선택적인 불 형태(Boolean type), 배타성의 속성으로 보강될 수 있다. 예시적인 실시예에서, 배타성 속성은 기정치로서 거짓값을 가질 수 있고, 배타성 속성이 "Exclusivity= True"로 특정되는 때, 대응 요소가 배타적인 것으로 특정될 수 있다. 배타성 속성은 "구문론적인 감언"으로 고려될 수 있다. 왜냐하면, 표준화 변환(normalization transform)은 예를 들어 속성이 진실을 가진다면, 예시적인 배타성 규칙들에 기초하여, 배타적인 조항들을 비배타적인 조항들로 변환하는 데 채용될 수 있다.
[00160] 예시적인 실시예에서, 지역내에서 배타적인 판매자는 예를 들어 아래와 같이 표현될 수 있다.
[00161] 따라서, 라이코스가 오스트레일리아에서 "I Remember Mama"를 판매한다는 것이 허여되고, 또한 라이코스 이외의 다른 누구도 예를 들어 오스트레일리아에서 그것을 판매하는 것이 금지된다. 예시적인 허여 및 금지는 예를 들어 아래에서 표현되는 바와 같이, 예시적인 계약 표현언어를 사용하여 표현될 수 있다.
[00162] 예시적인 실시예에서, 배타적인 생산품 등급들은 예를 들어 아래와 같이 표현될 수 있다.
[00163] 따라서, 어떤 실버-등급 소매상은 2년이상의 영화를 판매하는 것이 허락되고, 또한 어떤 실버-등급 소매상은 2년 미만의 영화를 판매하는 것이 금지된다. 예를 들어, "실버-등급 소매상", "2년 이상의 영화", 및 "2년 미만의 영화"는 예시적인 계약 표현언어를 사용하여 특정될 수 있다. 예시적인 허여 및 금지는 예를 들어 아래에서 표현되는 바와 같이, 예시적인 계약 표현언어를 사용하여 표현될 수 있다.
[00164] 예시적인 실시예에서, 배타적인 생산품 등급들은 또한 예를 들어 아래와 같이 표현될 수 있다.
[00165] 따라서, 어떤 실버-등급 소매상은 2년 이상의 영화를 판매하는 것이 허여되고, 실버-등급에 속하지 않는 어떤 소매상은 2년 이상의 영화를 판매하는 것이 금지된다. 예를 들어, "실버-등급 소매상", "2년 이상의 영화", 및 "비-실버-등급 소매상"은 예시적인 계약 표현언어를 사용하여 특정될 수 있다. 예시적인 허여 및 금지는 예를 들어 아래에서 표현되는 바와 같이 예시적인 계약 표현언어를 사용하여 표현될 수 있다.
[00166] 예시적인 계약 표현언어에서 금지 및 배타성의 표현성은 결과적으로 표현된 계약들내에서 잠재적인 갈등들을 가져올 수 있다. 예를 들어, 어떤 계약은 앨리스가 어떤 것을 하는 의무를 요구할 것이고, 다른 계약은 앨리스가 같은 것을 하지 않도록 금지를 명할 것이다. 또한, 동일 유형의 다중의 조항들(212), 예를 들어 허여들(32)이 동일한 계약 또는 다른 계약들로부터 적용가능할 때, 계약들 중의 어느 하나가 다른 계약들보다 더 우선하는 가를 결정하는 것이 필요할 지도 모른다.
[00167] 본 발명은 갈등 및 다양성을 가진 문제가 잠재적인 갈등 및 다양성을 식별하고 해결하는 방법일 수 있다는 인식을 포함할 수 있다. 예시적인 실시예에서, 그런 문제는 예를 들어 더 높은 수준의 계약에 특정되는 정책들에 따라서 중점적으로 다루어질 수 있다. 예를 들어, 갈등들 및 다양성들은 다중의 더 높은 수준의 계약들일 수 있는 사건들에서 더 높은 수준으로 반복적으로 발생할지도 모른다.
[00168] 보편적이고 자동적인 방법으로 갈등들 및 다양성들을 탐지하고 해결하는 것이 바람직할 수 있지만, 이것은 예를 들어 불완전한 입력에 관한 동작 과정에서 더 높은 크기조정가능성(scalability)을 요구하는 전역 분산시스템(global distributed system)에서는 실용적이지 못할 수 있다. 예를 들어, 새로운 계약을 시스템에 추가하는 작업을 고려하자. 작은 시스템에서, 갈등들을 점검하고 식별하고, 예를 들어, 다른 점검 및 협상 사이클을 트리거하는 커미션(overrides)의 법적 협상을 강제하고, 그런 커미션을 적용하는 것이 가능할 수 있다. 반면, 큰 스케일에서는, 그런 실행은 일반적으로 실용적이지 못할 것이다. 왜냐하면, 새로운 계약들의 가입이 엄청나게 비싼 작업이 될 수 있기 때문이다.
[00169] 예시적인 실시예에서, '해결해야 한다'("must resolve")는 식의 접근보다 차라리 '최선의 노력'("best efforts") 식의 접근이 채용될 수 있는데, 이러한 접근법은 갈등들을 식별하고 해결하는 선행 단계들을 취하는 것과 진짜 갈등들("true conflicts")의 가능성을 인정하고 그것들의 해결책을 작용적으로 제공하는 것 간의 타협점을 찾는 것을 의미할 수 있다. 따라서, 예시적인 계약 표현언어를 사용하는 시스템은 예를 들어 시스템이 할 수 있는 최선으로 잠재적인 갈등들을 탐지하고 해결하도록 구성될 수 있다. 예시적인 실시예에서, 정교한 시스템과 덜 정교한 시스템이 갈등들이 없는 상황에서 비슷한 방식으로 동작하는 한, 정교한 시스템은 덜 정교한 시스템보다 잠재적인 갈등들을 탐지하고 해결하는 작업을 더 잘 하도록 구성될 수 있다.
[00170] 예를 들어, 단순한 시스템에서는, 갈등이 탐지될 때마다, 그 갈등은 예를 들어 메시지를 갈등을 표명하는 질문내의 계약 당사자들로 전송하는, 어떤 기정치 동작을 가진 예외로서 처리될 수 있다. 상당한 댓가(consideration)는 그런 시스템에서 갈등들을 가지는 것에 대한 "비용(cost)"일 수 있다. 예를 들어, 그런 시스템의 주목적이 콘텐트를 거래하는 것이라면, 때때로 고객의 요청을 해결할 수 없는 비용은 상당히 낮다. 한편으로, 예를 들어 모든 단일(single) 요청을 해결할 수 없는 것에 대한 직접적이거나 잠재적인 "비용(cost)"이 높다면, 갈등들을 식별하고 해결하도록 구성되는 선행투입 시스템(upfront system)이 제공될 수 있다.
[00171] 나쁜 입력으로부터 결과된 갈등들은 일반적으로 회피될 수 없다. 그러나, 예시적인 갈등 표현언어는 바람직하게는 그런 문제를 다루는 메카니즘들을 생성하는 데 채용될 수 있다. 어떻게 예시적인 계약 표현언어가 잠재적인 갈등들을 탐지하고 해결하는 것을 촉진시키는가는 예를 들어 관심이 있는 갈등의 종류가 무엇인지에 달려 있다. "해서는 안된다(must not)"와 같은 금지들 및 "단지(only)"와 같은 배타성을 특정하는 능력이 없다면, 갈등은 하나이상의 계약들 사이에 존재할 수 있을 것이다.
[00172] 한편, 동일한 조건하에서, 두개의 다른 것들을 하도록 의무가 지워진다면 갈등을 가져오지는 않을 것이다. 그러나, 잠재적인 갈등은 예를 들어, "쇼핑하도록 외출하는 것"과 동시에 "정원을 가꾸기 위해 집에 머무는 것"과 같은, 동시에 두개의 다른 것들을 해야 하는 것으로부터 올 수 있다. 그러나, 그런 행위들의 의미론들은 본질적으로 갈등하기 때문에, 그런 갈등은 거의 계약 표현언어 문제는 아니다. 그런 경우에, 그런 갈등을 식별하는 것은 예를 들어 실시간에서 식별가능성 및 효율성에 관련하는, 계약 관리시스템의 프로그램적인 문제일 수 있다. 그러나, 바람직하게는 예시적인 계약 표현언어는 예를 들어 갈등들을 해결하고 다 양성들을 해결하기 위한 우선권들의 설정(setting)을 허락하는 데 채용될 수 있다.
[00173] 도 5는 갈등들과 다양성들을 해결하기 위한 우선권들의 설정을 허락하기 위한 예시적인 우선권 정책 모델(500)을 도시하는 것으로, 도 2의 예시적인 계약 데이터 모델(200)에 채용될 수 있다. 도 5에서, 바람직하게는 예시적인 계약 표현언어는 우선권 정책(506)을 특정하기 위하여 채용될 수 있다. 따라서, 잠재적인 갈등들과 다양성들을 해결하기 위하여, 우선권 관계는 조항들(212) 사이에 확립될 수 있다. 예시적인 실시예에서, 그런 관계는 예를 들어 어떤 조건C을 조건으로 하여, 하나의 조항A "우선한다(precedes)"가 다른 조항B에 우선한다라는 것을 특정하도록 주장들(308)을 구성함으로써 정의될 수 있다. 바람직하게는, 그런 우선권 정책은 예를 들어 도 5에서 보는 바와 같이, 어떤 종류의 주장으로서 모델이 될 수 있다.
[00174] 예시적인 모델(500)에서, 정책(506)은 추가적인 속성(508) "평가메카니즘(evaluationMechanism)"을 가지고, 예를 들어 약속(208)의 조항들(212)에 관한 제한된 의미론들을 가지고 약속(208)을 확장한다. 정책(506)내에서, 조항들(212)은 예를 들어 E의 이벤트에서, 조건C가 부합될 때 조항A는 조항B에 선행한다는 것을 특정할 수 있는 주장들(308)에 대응한다.
[00175] 예시적인 실시예에서, 정책(506)의 선택적인 속성(508) "평가메카니 즘(evaluationMechanism)"은 주장들(308)이 고려되는 방법을 특정하는 데 사용될 수 있다. 예시적인 실시예에서, 선택적인 속성은 "random" 또는 기정치, "firstApplicable"값, 및 "allApplicable"값을 동반할 수 있다. 랜덤(random) 또는 기정치는 예를 들어 정책(506)내의 주장들(308)이 예를 들어 주장들(308) 중에서 적용가능한 주장이 발견될 수 있을 때까지 어떤 순서로 고려될 수 있다는 것을 지시하는 데 사용될 수 있다. "firstApplicable"값은 예를 들어 정책(506)내의 주장들(308)의 출현순서(appearance order)에 따라서 주장들(308)에 적용가능한 첫번째 주장이 고려되는 하나일 수 있다는 것을 특정하는 데 사용될 수 있다. "allApplicable"값은 예를 들어 주장들(308)의 적용가능한 주장들은 정책(506)내의 그들의 출현의 일련의 순서에서 잇따라서 고려되어야 한다는 것을 표현하는 데 사용될 수 있다.
[00176] 예시적인 모델(500)을 사용함으로써, 바람직하게는 많은 종류의 우선권 정책들이 확립될 수 있다. 예시적인 실시예에서, 명백히 불공평한 순서로 된 우선권(explicit partial ordered preference)은 예를 들어 아래와 같이 표현될 수 있다.
[00177] 예시적인 실시예에서, 조항들(212)의 발행시간들에 기초한 우선권은 예를 들어 아래와 같이 표현될 수 있다.
[00178] 따라서, 일찍 발행된 조항은 우선권을 획득한다. 예시적인 실시예에서, 조항들 A 및 B의 출현들이 주장(308)으로 전환된 때, 우선권은 후발행된 조항으로 간다. 예시적인 실시예에서, 요소 "csx:xmlBooleanExpression"은 불린 (Boolean) X 경로표현을 포함할 수 있는 요소일 수 있고, 진실값이 불린 X 경로표현들 중의 하나에 동등할 수 있다라는 조건으로서 작용할 수 있다.
[00179] 예시적인 실시예에서, 조항들(212)의 발행인들(214)에 기초한 우선권은 예를 들어 아래와 같이 표현될 수 있다.
[00180] 따라서, 앨리스에 의해 발행된 약속과, 그로부터 유래된(hence) 앨리스의 약속내의 조항들은 밥(Bob)에 의해 발행된 약속과 그로부터 유래된 밥의 약속내의 조항들에 대하여 우선권을 가진다.
[00181] 예시적인 실시예에서, 약속들의 유형들에 기초한 우선권은 예를 들어 아래와 같이 표현될 수 있다.
[00182] 따라서, 허여(302)로서 표현된 조항(212)은 금지(306)로서 표현된 조항(212)에 우선할 수 있다.
[00183] 예시적인 실시예에서, 다른 우선권 주장들은 예를 들어 속성(508), "evaluationMechanism"을 사용하여 함께 결합될 수 있다. 예를 들어, 발행인들(214)과 조항들(212)의 유형들에 기초하여 우선권을 선언하는 두개의 주장들(308)을 정책(506)내에 함께 입력함으로써, 바람직하게는 결합된 우선권 규칙은 예를 들어 아래에서 표현되는 바와 같이, 첫째로 발행인들(214)에 기초하고 나서 조항(212)의 유형들에 기초하여 확립될 수 있다.
[00184] 예시적인 정책/주장 조합들은 예를 들어 아래에서 표현되는 바와 같이, 예시적인 계약 표현언어를 사용하여 표현될 수 있다.
[00185] 예시적인 실시예에서, "A or B, but prefer A"는 예를 들어 아래와 같이 표현될 수 있다.
[00186] 따라서, 씨디나우(CDNOW)에 링크(link)하기 위한 조항(212)은 아마존에 링크하기 위한 조항(212)에 우선한다는 것이 주장된다. 예시적인 정책/주장 조합은 예를 들어 아래에서 표현되는 바와 같이, 예시적인 계약 표현언어를 사용하여 표현될 수 있다.
[00187] 예시적인 실시예에서, 법을 무시하는(override) 계약은 예를 들어 아래와 같이 표현될 수 있다.
[00188] 따라서, "The Monkees" 에피소드(episode)의 판매에 관한 조항(212)은 미국외부의 "The Monkees: The Time Machine" 에피소드의 판매 금지에 관한 조항(212)에 우선한다. 예시적인 정책/주장 조합은 예를 들어 아래에서 표현되는 바와 같이, 예시적인 계약 표현언어를 사용하여 표현될 수 있다.
[00189] 예시적인 실시예에서, 가격 우선권은 예를 들어 아래와 같이 표현될 수 있다.
[00190] 예를 들어, (a) 서명자들이 동일하고, (b) 제공된 자원들이 동일하고, (c) 조항 A내의 예를 들어 비용/지불균일가/요금(fee/paymentFlat/rate)와 같은 가격이 조항 B의 그것보다 작다면, 조항 A가 조항 B에 우선한다는 것은 랜덤 하우스(Random House)의 정책이다. 예시적인 정책/주장 조합은 예를 들어 아래에서 표현되는 바와 같이, 예시적인 계약 표현언어를 사용하여 표현될 수 있다.
[00191] 예시적인 계약 표현언어는 바람직하게는 신뢰 및 구속관계를 특정하기 위하여 채용될 수 있다. 예를 들어, 디지털 권리 관리, 콘텐트 조회, 전자상거래(e-commerce), 다른 배포서비스 등과 같은 어플리케이션들은 서로 알지 못하는 존재들 사이의 상호작용을 수반할 수 있다. 사전에 서로 알지 못하는 그런 상호작용들의 주체들에 더하여, 제어되는 자원들은 예를 들어 영화가 배포자 사이트로부터 유저 PC로 다운로드될 수 있고, 또한 PC상의 접근이 제어될 필요가 있을 때, 하나의 시스템에서 다른 시스템으로 이동할 수 있다. 나아가, 어떤 주체들의 행위는 예를 들어 고객들에 관한 사용권이 콘텐트 소유자에 의해 허여될 때, 다른 주체들에 의해 정의된 정책들에 의해 발생될지도 모른다. 그러나, 그런 상황에서, 접근제어를 확립하고 실시하기 위한 전통적인 가설은 적용될 수 없다.
[00192] 바람직하게는, 그런 정책들은 예시적인 계약 표현언어를 사용하여 특정된 계약들로서 표현될 수 있다. 본 발명은 계약이 실시되는 때, 신뢰하는 것과 계약내에 구속되는 것의 이해가 결정되지 않으면 안된다라는 인식을 포함한다. 예를 들어, 발행인 I는 주체 P에게, 예시적인 계약 표현언어에 기초한 계약내에 특정된 영화를 실행할 권리를 허락할 수 있다. 그러나, P는 예를 들어 I가 P에게 그런 권리를 허락하는 합법적인 기관이다는 것을 보증하도록, I에 관한 어떤 수준의 신뢰를 확립할 필요가 있다.
[00193] 다른 예에서, 두명의 자택소유자들은 자택 소유자들의 각각의 가족회원들이 그 계약에 구속되도록 계약에 서명하고 요구할 수 있다. 따라서, 구속하는 관계는 서명자 및 예를 들어 대응하는 서명들에 구속되는 자를 결정하도록 특정될 필요가 있다.
[00194] 예시적인 계약 표현언어에서, 그런 신뢰 및 구속 관계는 예를 들어 행위(220) "신뢰한다(trust)" 및 "구속한다(bind)"를 가진 주장들(308)을 사용하여 특정될 수 있다. 바람직하게는, 그런 관계들은 예를 들어 아래에서 표현되는 바와 같이, 어쩌면 이벤트(E;216) 및 조건(C;224)에 따라, 주체(P;218)가 발행인(I;214) 또는 서명자(S;210)를 신뢰하거나 또는 그들에 구속된다는 것을, 주장(308)에서 특정함으로써 정의될 수 있다.
[00195] 바람직하게는, 그런 관계들은 또한 예를 들어 아래에서 표현되는 바와 같이, 어쩌면 이벤트(E;216) 및 조건(C;224)에 따라, 주체(P;218)가 조항 K를 신뢰하거나 또는 그에 구속된다는 것을, 주장(308)에서 특정함으로써 조항(212) 레벨(level)로 정의될 수 있다.
[00196] 따라서, 그런 신뢰 정책 또는 구속 정책은 예를 들어 주장으로서 모델이 될 수 있다. 예시적인 실시예에서, 행위(220) 신뢰 및 구속의 의미론의 일부로서, 누구든지 그들 자신들 및 그들이 발행하는 것들을 신뢰해야 하고, 누구든지 그들 자신들 및 그들이 서명하는 것들에 구속되어야 한다. 따라서, 다음의 주장들은 예를 들어 아래에서 표현되는 바와 같이, 비조건적으로 만들어질 수 있다.
[00197] 예시적인 계약 표현언어는 예를 들어 조항들(212) 사이의 의존성들을 특정하기 위하여 채용될 수 있다. 예를 들어, 조항들(212)의 유효성은 다른 조항들(212)의 유효성에 의존적일지 모르는 데, 이것은 R 등급의 영화를 시청하는 권리에 관한 허여(302)가 주체(218)가 적어도 18살이라는 주장에 관한 주장(308)에 의존할 수 있다는 것과 같다. 바람직하게는, 조건(224) "유효한(Valid)"은 예를 들어 그런 의존성을 특정하기 위하여 사용될 수 있다. 예시적인 실시예에서, 조항(E, P, A, R, C)은 예를 들어 아래에서 표현되는 바와 같이, 유효한 조건을 추가함으로써 다른 조항의 유효성에 의존될 수 있다.
[00198] 예시적인 계약 표현언어는 바람직하게는 예컨대 구제책과 같은 수행 및 불수행 의존성을 특정하기 위하여 채용될 수 있다. 예를 들어, 구제책과 보증을 특정하기 위하여, 의무 또는 금지가 과거에 이행되었는지 아닌지를 특정하는 조건들이 채용될 필요가 있다. 한편으로, 어떤 다른 의무들, 금지들, 및/또는 권리들이 초래될지도 모른다. 바람직하게는, 조건들(224) "실행된(Exercised)" 및 "비 실행된(NotExercised)"은 그런 목적을 위하여 사용될 수 있다. 예를 들어, 조항(E, P, A, R, C)은 예를 들어 아래에서 표현되는 바와 같이, 조건 비실행된을 추가함으로써 의무를 이행하지 않는 것에 의존될 수 있다.
[00199] 비슷하게, 조항(E, P, A, R, C)은 예를 들어 아래에서 표현되는 바와 같이, 조건 실행된을 추가함으로써 금지에 복종하지 않는 것에 의존될 수 있다.
[00200] 예시적인 계약 표현언어는 바람직하게는 위임(delegation)을 특정하기 위하여 채용될 수 있다. 예를 들어, 위임은 크게 동적이고 넓게 분산된 시스템들에서 중요하다. 왜냐하면, 위임은 계약 또는 정책이 정의되는 시기에 예견되거나 특정될 수 없는 방식으로, 권리, 의무, 금지 등을 다른 것들(others)에 건네주기 위한 메카니즘들을 제공한다. 바람직하게는, 위임은 예를 들어 아래에서 표현되는 바와 같이, XrML에서"DelegationControl"을 절대적인 허가로서 사용하고 또한 행위(220) "delegate"를 위임이 명백히 허가, 의무, 금지 등으로서 특정될 수 있도록 사용하여 특정될 수 있다.
[00201] 따라서, 주체 P1이 다른 주체 P2에게 행위(220)를 위임했을 때, 그 행위(220)를 수행할 자인 주체 P2는 예를 들어 아래에서 표현되는 바와 같이, 복합 주체가 될 수 있다.
[00202] 전형적이 계약 표현언어는 바람직하게는 수많은 예시적인 계약 처리시스템 모델들을 가능하게 할 수 있다. 예를 들어, 예시적인 데이터 모델(200)에 기초하여, 예시적인 계약 표현언어는 수많은 처리시스템 모델들을 구성하는 데 사용될 수 있다. 예시적인 실시예에서, 예를 들어 예시적인 계약 표현언어로 특정된 표현들의 논리의미론들에 기초한 예시적인 시스템 모델들은 쿼리(query)-구동형 모델들, 데이터-구동형 모델들, 갈등 또는 다양성-구동형 모델들, 후방 추론 모델들(backward inference models), 전방 추론 모델들, 갈등 해결 모델들 등을 포함할 수 있다.
[00203] 예를 들어 하나이상의 계약들(202)에 관한 예시적인 쿼리-구동형 처리시스템 모델에서, 조항(212)의 형식으로 된 쿼리 및 주장들(308)의 리스트 형식으로 된 문맥은 처리를 위하여 시스템에 제출될 수 있다. 예를 들어, 계약들(202)내의 조항들(212)은 그것의 서명자들(210)과 함께 쿼리 응답을 발생시키기 위하여 쿼리에 대하여 부합될 수 있다. 예시적인 실시예에서, 이벤트(216) 및 조건(224) 요소는 문맥내에 제공되는 정보에 기초하여 단순화될 수 있고, 쿼리와 부합하는 조항들(212)은 쿼리 응답을 형성하는 데 사용될 수 있다.
[00204] 예를 들어 하나이상의 계약들(202)에 관한 예시적인 문맥-구동형 처리시스템 모델에서, 주장들(308)의 리스트의 형식으로 된 문맥은 처리를 위하여 시스템에 제출될 수 있다. 문맥내에서 만족되는 이벤트(216)와 조건(224)을 갖는 계약들(202)내의 조항들(212)은 예를 들어 그것의 서명자들(210)과 함께, 응답으로서 전달될 수 있다. 예시적인 실시예에서, 응답을 형성할 수 있는 조항들(212)은 문맥내에 포함되는(held) 문장들일 수 있다.
[00205] 예를 들어 하나이상의 계약들(202)에 관한 예시적인 갈등 또는 다양성-구동형 처리시스템 모델에서, 예를 들어 일반 주체들, 행위들, 자원들 등을 가지고 결과적으로 갈등을 가져올 수 있는 하나이상의 조항들(212)의 형식으로 설정된 갈등, 및 주장들(308)의 리스트 형식으로 된 문맥은 처리를 위한 시스템에 제출 될 수 있다. 갈등 해결 결과는 우선권, 갈등 해결 규칙들, 갈등 해결 정책들 등에 따라 선택될 수 있는 계약들(202)내의 조항들(212)의 최소의 부분집합의 형식으로 제공될 수 있고, 그것은 계약내에 정의될 수 있다. 예시적인 실시예에서, 갈등 해결 결과를 형성할 수 있는 조항들(212)은 일반 주체들, 행위들, 자원들 등의 사이의 갈등들의 해결 결과일 수 있다.
[00206] 예시적인 계약 표현언어는 바람직하게는 예시적인 문맥 모델들을 가능하게 한다. 예시적인 실시예에서, 문맥은 예를 들어 사건들의 상태를 설명하는 데 사용될 수 있는 하나이상의 명제들(propositions)을 포함할 수 있다. 의미론적으로, 예시적인 문맥은 예시적인 계약 표현언어 주장들(308)에 의해 발생되는 하나이상의 명제들을 포함할 수 있다. 바람직하게는, 예시적인 문맥은 예를 들어 이벤트들(216)에 관린된 조건들을 유효화하는 데 사용될 수 있고, 그 조건들(224)에 관련된 조건들을 유효화하는 데 사용될 수 있고, 주체들(218), 행위들(220) 및 자원들(222)을 식별하고 부합시키는(match) 데 사용될 수 있고, 발행인들(214) 및 서명자들(210) 등의 신뢰관계들을 형성하는 데 사용될 수 있는 사실적 문장들의 세트를 제공하는 데 사용될 수 있다.
[00207] 예시적인 실시예에서, 만약 P가 예를 들어 아래에서 표현되는 바와 같이, 대응 문장들의 발행인들(214) 또는 서명자들(210) 중에 하나라면, 예시적인 문맥은 예를 들어 소유자에 의해 발행되고 P에 의해 서명되며, 예를 들어 주체 P(218)가 관리자 역할과 같은 역할을 하고, 발행자(I;214)가 발행하는 모든 것을 신뢰하고, 서명자(S;210)가 서명하는 모든 것에 구속된다는 것을 선언하기 위한 명제들을 포함할 수 있다.
[00208] 도 6은 예시적인 계약 표현언어에 기초된 예시적인 쿼리-구동형 처리시스템(600)을 나타낸다. 도 6에서, 조항(212) 형식으로 된 쿼리(606)는 계약 데이터베이스(604)에 저장된 하나이상의 계약들(202) 및 문맥(608)에 대비하여, 쿼리(60)에 대한 응답(610)을 발생시키도록, 계약 표현언어(CEL) 프로세서(602)에 의해 처리될 수 있다. 계약들(202)의 의미론 모델 및 문맥(608)의 의미론 모델에 기초한 예시적인 실시예에서, 쿼리(606)는 예를 들어 허여(E, P, A, R, C) 등과 같은 조항(212)을 포함할 수 있다. 쿼리(606)는 예를 들어 쿼리(606)가 계약들(202) 및 문맥(608)에 의해 주어진 명제들에 의해 논리적으로 제공될 수 있는지를 검증함으로써, 쿼리에 부합하는 허여(302), 의무(304), 금지(306), 주장(308) 및/또는 의사(310) 요소들의 형식으로 응답(610)을 발생시키기 위하여, 계약들(202) 및 문맥(608)에 의해 표현된 명제들에 따라서 처리될 수 있다.
[00209] 바람직하게는, 예시적인 쿼리-구동형 모델을 채용함에 의하여, 복잡한 처리시스템들 및 작업들은 예를 들어 조항들(212)의 양식에 따라서 구성될 수 있다. 예를 들어, 쿼리(606)의 조항(212)이 의사(310) 요소를 포함할 때, 처리응답(610)은 조항(212)의 의사(310) 요소와 부합하는 허여(302) 세트, 의무들(304), 금지들(306), 및 주장들(308)을 포함할 수 있다. 예시적인 실시예에서, 의사(310) 요소에 대하여 허여(302) 요소를 부합시키는 것은 예를 들어 아래와 같이 표현될 수 있다.
[00210] 위의 예시적인 명제들 쌍은 예를 들어 의사에 대하여 부합하고, 예 를 들어 허여를 포함하는 약속의 신뢰된 발행인에 의해 발행되거나, 예를 들어 허여를 포함하는 약속을 포함할 수 있는 계약의 구속된 서명자에 의해 발행되는 허여를 출력하는 데 사용될 수 있다. 예시적인 실시예에서, 예시적인 명제들의 쌍내의 조항 허여요소가 예를 들어 다른 세 쌍의 명제들을 발생시키기 위하여 의무, 금지 및 주장 요소들로 대체되는 경우, 하나이상의 허여들, 의무들, 금지들, 및 주장들은 의사에 대한 응답으로서 발생될 수 있다. 예시적인 실시예에서, "EventImplication" 명제는 다른 이벤트(E', 예를 들어 E → E')에 관한 이벤트(E)의 논리적 암시(implication)를 특정하는 데 사용될 수 있고, "CondImplication" 명제는 다른 조건(C', 예를 들어 C → C')에 관한 조건(C)의 논리적인 암시를 특정하는 데 사용될 수 있다.
[00211] 예시적인 실시예에서, 하나이상의 허여들, 의무들, 및 금지들은 예를 들어 아래에서 표현되는 바와 같이, 의무를 발생시키기 위한 허여 쿼리에 대한 응답으로서 발생될 수 있다.
[00212] 도 7은 예시적인 계약 표현언어에 기초한 예시적인 문맥-구동형 처리시스템(700)을 나타낸다. 도 7에서, 계약 데이터베이스(604)에 저장된 하나이상의 계약들(202)은 문맥(608) 형식으로 된 트리거(trigger;706)에 대하여 CEL 프로세서(602)에 의해, 주어진 문맥(608)내에서 유효한 계약(202)내에 표현된 조항의 형식으로 된 응답을 산출하도록(yield) 처리될 수 있다. 예를 들어 예시적인 계약 표현언어 계약들의 예시적인 의미론 모델 및 문맥(608)의 의미론 모델에 기초한 예시적인 실시예에서, 예시적인 시스템(700)은 계약들(202)에 의해 표현되는 형식 조항(E, P, A, R, C, I 리스트, S 리스트)의 명제들을 검사할(examine) 수 있고, 그것의 이벤트(216) 및 조건들(224)에 관련된 이벤트(E;216) 및 조건(C;224) 요소들의 조건들을 평가할 수 있고, 그것의 대응 조건들을 가진 그런 조항들을 응답(710)으로서 만족되도록 출력할 수 있다.
[00213] 바람직하게는, 예시적인 문맥-구동형 시스템(700) 모델은 주어진 문맥내에서, 계약 세트를 수행하고 실시하기 위하여, 유효한 허가들, 의무들, 금지들, 의사들 등을 고지하기 위한 시스템 어플리케이션을 구축하는 데 이용될 수 있다. 예시적인 실시예에서, 응답(710)은 명제들을 평가함으로써 발생될 수 있고, 사실로 평가된 때, 그것의 각각은 예를 들어 아래에서 표현되는 바와 같이, 유효한 허여(302), 의무(304), 금지(306) 또는 의사(310) 요소를 출력한다.
[00214] 도 8은 예시적인 계약 표현언어에 기초한 예시적인 갈등 또는 다양성-구동형 처리시스템(800)을 나타낸다. 쿼리-구동형(600) 및 문맥-구동형(700) 처리시스템 모델들에서, 계약(202)의 처리는 결과적으로 예를 들어 허여 및 금지 또는 의무 및 동일한 주체, 행위 또는 자원 등에 적용하는 금지와 같은 잠재적인 갈등을 가진 하나이상의 조항들(212)을 가져온다. 계약(202)의 처리는 또한 결과 적으로 잠재적인 다양성들, 예를 들어 다중 허여, 또는 허여 및 의무 등을 갖는 하나이상의 조항들(212)을 가져온다.
[00215] 위의 갈등들 및 다양성들을 해결하기 위하여, 바람직하게는 예시적인 우선권 정책들은 예시적인 계약 표현언어로 특정될 수 있다. 예시적인 실시예에서, 우선권 정책들은 예를 들어 금지가 의무에 우선하고 그 의무는 허여 등에 우선하는 것과 같이 상대적으로 단순할 수 있고, 또는 더 높은 기관(authority)에 의해 발행된 조항들이 다른 것들에 우선한다는 것과 같이 조항들의 발행인들의 권한을 채용함으로써 상대적으로 복잡할 수 있다. 또한, 우선권 정책들은 예를 들어 보다 특유한 조항들이 보다 일반적인 조항들에 우선한다는 것과 같이, 조항들의 특유성에 기초될 수 있다. 나아가, 우선권 정책들은 예를 들어 더 최근에 발행된 조항들이 더 오래된 조항들에 우선한다는 것과 같이, 조항들의 발행한 시기에 기초할 수 있다.
[00216] 도 8에서, 예시적인 갈등 또는 다양성-구동형 처리시스템(800) 모델에서, 갈등 또는 다양성 입력(806)의 형식으로 된 잠재적인 갈등 및 다양성을 갖는 두개이상의 조항들(302-310)은 예를 들어 하나이상의 주장들(308) 및 정책 데이터베이스(804)내에 저장된 우선권 정책 세트를 포함하는 문맥(608)에 대조하여(aganist) 계약 표현언어(CEL) 중재자(arbitrator;802)에 의해 처리될 수 있다. 예시적인 실시예에서, 우선권 정책들에 의해 정의된 바와 같이, 우선권 관계는 예 를 들어 예시적인 시스템(800)에 의해, 입력 조항들(302-310)의 어느 것이 해결 결과(810)의 형식으로 된 다른 것들에 우선하는 가를 결정하는 데 적용될 수 있다.
[00217] 위의 문제는 예를 들어 그래프-이론적인(graph-theoretical) 문제로 아날로그적일 수 있다. 예를 들어, 각 입력조항(302-310)은 하나의 정점(vertex)일 수 있고, 하나의 조항이 다른 조항에 우선한다면, 두개의 정점들은 하나로부터 다른 것으로 연결될 수 있다. 문제는 어느 정점 또는 정점들이 그래프에서 "소스(source)" 정점들이거나 노드들(nodes)인지를 찾아내는 것이고, 여기서, 여기에서 "소스(source)" 노드들은 그것에 연결되는 다음의 연결부(link)를 가지지 않는 노드들이다. 직접적인 해결책은 주어진 정점에 관하여, 주어진 정점에 대한 연결부를 가지는 다른 정점이 존재하는지 아닌지를 시험하는 것일 수 있고, 주어진 정점이 그것을 연결하는 것을 가진다면, 주어진 정점은 "source"일 수 있다. 그런 해결책에 기초하여, 예를 들어 알고리즘이 명제를 평가하기 위하여 채용될 수 있다.
[00218] 아래에서 표현되는 바와 같다.
[00219] 위의 예시적인 알고리즘은 예를 들어 조항들의 리스트, "ClauseList"내의 잠재적인 갈등 및 다양성을 해결하고, 리스트, "OutputList"내에 해결 결과(810)를 출력하기 위하여, 그래프-이론적인 해결책의 구현에 기초할 수 있다. 예시적인 실시예에서, 변수(argument) "SomePrincipal"은 우선권 정책들내에 명시된 우선권 관계가 주체에 의해 신뢰되거나 그에 구속될 수 있다는 것을 보증하는 데 채용될 수 있다.
[00220]도 9는 예시적인 계약 표현언어에 기초한 예시적인 복합 또는 혼합 처리시스템(900)을 나타낸다. 도 9에서, 예시적인 처리시스템(900) 모델은 바람직하게는 정책 데이터베이스(804)내에 저장된 우선권 정책들을 계약 데이터베이스(604)내에 저장된 계약들(202)에 관한 쿼리-처리 결과들(910)에 적용하기 위한 동작흐름을 CEL 프로세서 및 CEL 중재자(802)의 도움으로 가능하게 할 수 있다.
[00221] 예시적인 CEL 프로세서(602)는 예를 들어 쿼리(906) 형식으로 된 조항(212) 및, 문맥(608)의 설명으로서 채용되고 목적물, 대상물 등의 시스템 환경, 사용상태, 속성 리스트를 정의하는 데 사용될 수 있는 하나이상의 주장들(308)을 입력으로서 받아들일 수 있다. CEL 프로세서(602)는 예를 들어 계약 데이터베이스(604)의 형식으로 된 지식기반으로서 계약(202) 세트를 참고하고, 응답으로서 쿼리(906)에 대한 가능한 즉각적인 결과들(910) 세트를 발생시킨다. 예시적인 실시예에서, 즉각적인 결과들(910)은 하나이상의 허여들, 의무들, 금지들, 주장들 또는 의사들(302-310)을 포함할 수 있다.
[00222] 예시적인 실시예에서, 예시적인 시스템(900)이 쿼리(906)에 기초하여 두개이상의 결과들(910)을 발생시킬 때, 예시적인 CEL 중재자(802)는 자극되어(invoked) 초기화될 수 있다. CEL 중재자(802)는 예를 들어 정책 데이터베이스(804)의 형식으로 된 기식기반으로서, 결과들(910) 사이의 우선권을 결정하도록, 우선권 정책 세트를 적용할 수 있다.
[00223] 예시적인 실시예에서, 정책은 입력 주장들(308) 세트로서 특정될 수 있다. 예를 들어, 각각의 주장들(308)은 두개의 약속들(208)을 비교하는 데 사용될 수 있고, 예컨대 "약속 A는 어떤 조건하에서 가능한 약속 B에 우선하다"는 형식에서와 같이, 어떤 약속이 다른 약속에 더 우선한다는 것을 특정하는 데 사용될 수 있다. 따라서, CEL 중재자(802)의 출력(912)은 우선권 해결과 같은 것의 결과를 포함할 수 있다. 예시적인 실시예에서, 남겨진 하나의 약속이 존재한다면, 우선권은 예를 들어 이용가능한 정책들에 따라서 결정된다. 그러나, 남겨진 두개이상의 약속이 존재한다면, 우선권은 예를 들어 완전히 결정되지 못할 것이고, 외부적인 메카니즘, 에러 메시지 등이 필요적으로 채용될 수 있다.
[00224] 다른 예시적인 실시예들에서, 처리시스템 모델들은 예를 들어 하나이상의 쿼리-구동형(600), 문맥-구동형(700), 및 갈등 또는 다양성-구동형(800) 시스템 모델들에 기초하여 구성될 수 있다. 또한, 갈등 또는 다양성-구동형 처리시스템(800) 모델들은, 각각은 다른 세트의 우선권 정책들 가지며, 바람직하게는 다른 기관들(different authorities), 관리적 영역(administrative domains) 등으로부터의 우선권 정책들에 따라서 갈등들을 해결하기 위하여 구성될 수 있다.
[00225] 도 10은 예시적인 계약 표현언어에 기초한 예시적인 연결 시스템(1000)을 나타낸다. 도 10에서, 예시적인 쿼리-구동형(600), 문맥-구동형(700), 및 갈등 또는 다양성-구동형(800) 시스템 모델들은 조항들(212)내에 특정된 행위들(220)을 수행할 수 있는 다른 시스템 구성요소들(1002)과 통합될 수 있다. 바람직하게는, 예시적인 시스템(1000)은 예를 들어 이벤트들(216)을 발생시키는 데 사용될 수 있고, 시스템 문맥을 변경하는 데 사용될 수 있다.
[00226] 도 11은 도 6의 시스템(600)의 예시적인 쿼리-구동형 처리를 나타내 는 흐름도이다. 도 11에서, 단계 1102에서, 예를 들어 조항(212)은 처리를 위하여 얻어질 수 있고, 단계1104에서 조항(212)은 쿼리(606)로서 제출될 수 있다. 단계1106에서, 쿼리(606)는 하나이상의 주장들(308)에 의해 정의된 문맥(608)에 기초한 데이터베이스(604)로부터의 계약(202)내의 조항들에 대하여 부합될 수 있다. 단계 1108에 의해 결정되는 바와 같이, 부합된다면, 쿼리(606)와 부합하는 계약(202)내의 조항들은 예를 들어 하나이상의 요소들(302-310)을 포함하는 응답(610)으로서 출력될 수 있다. 한편, 단계 1112에서, 적절한 메시지가 리턴(return)될 수 있다. 조항들(212)의 추가사항은 단계들 1102-1112를 반복함으로써 쿼리-구동형 처리를 위하여 쿼리들로서 제출될 수 있다.
[00227] 도 12는 도 7의 시스템(700)의 예시적인 문맥-구동형 처리를 나타내기 위한 흐름도이다. 도 12에서, 단계1202에서, 예를 들어 문맥(608) 형식의 트리거(706)는 처리를 위하여 획득될 수 있고, 단계 1204에서 하나이상의 주장들(308)에 의해 정의된 문맥(608)은 처리를 위하여 제출될 수 있다. 단계 1206에서, 문맥(608)은 데이터베이스(604)로부터의 계약(202)내의 조항들에 대하여 부합될 수 있다. 단계 1208에 의해 결정되는 바와 같이, 부합이 존재한다면, 문맥(608)과 부합하는 계약(202)내의 조항들은 예를 들어 유효로서 간주되는 하나이상의 요소들(302-310)을 포함하는 응답으로서 유효하게 출력될 수 있다. 한편, 단계 1212에서, 적절한 메시지가 리턴될 수 있다. 문맥들(608)의 추가사항은 단계 1202-1212를 반복함으로써 문맥-구동형 처리를 위하여 제출될 수 있다.
[00228] 도 13은 도 8의 시스템(800)의 갈등 또는 다양성-구동형 처리를 나타내기 위한 흐름도이다. 도 13에서, 단계 1302에서 예를 들어 갈등들 또는 다양성들을 가짐으로서 식별되는 두개이상의 조항(302-310)은 처리를 위하여 획득될 수 있고, 단계 1304에서 조항들(302-310)은 갈등들 또는 다양성들 입력(806)으로서 제출될 수 있다. 단계 1306에서, 갈등 또는 다양성은 데이터베이스(604)로부터 하나이상의 계약(202)에 특정된 하나이상의 주장들(308) 및 우선권 정책들에 의해 정의된 문맥(608)에 기초하여 해결될 수 있다. 단계 1308에 의해 결정되는 바와 같이, 갈등 또는 다양성이 해결될 수 있다면, 해결된 조항들은 예를 들어 해결되는 하나이상의 요소들(302-310)을 포함하는 해결 결과(810)로서 출력될 수 있다. 한편, 단계 1312에서 적절한 메시지가 리턴(return)될 수 있다. 갈등 또는 다양성을 가짐으로써 식별되는 조항(302-310)의 추가사항(additional)은 단계들 1302-1312를 반복함으로써 갈등 또는 다양성-구동형 처리를 위하여 제출될 수 있다.
[00229] 도 14는 도 9 및 도 10의 시스템들의 예시적인 복합 또는 혼합 및 연계 처리를 나타내기 위한 흐름도이다. 도 14에서, 단계 1402-1406은 도 11의 예시적인 쿼리-구동형 처리의 단계 1102-1112에 대응한다. 단계 1416-1420은 도 12의 예시적인 문맥-구동형 처리의 단계 1202-1212에 대응하고, 단계 1408-1412는 도 13의 예시적인 갈등 또는 다양성-구동형 처리의 단계 1302-1312에 대응한다. 단계 1414에서, 예를 들어 행위(220) 요소들에 의해 특정된 하나이상의 행위는 단계 1412에서 해결 결과로서 출력된 해결된 조항들에 기초하여 수행될 수 있다. 추가적인 처리는 단계 1402-1420을 반복함으로써 수행될 수 있다.
[00230] 바람직하게는, 본 발명은 문법을 정의하는 인식(recognition)이 디자인의 가장 도전적인 측면일 수 있다는 것을 포함한다는 점에서, 예시적인 계약 표현언어는 그 위에 기초된 계약 표현들을 처리하기 위하여 채용된 문법을 정의한다. 그래서, 예시적인 계약 표현언어는 바람직하게는 인간 및 기계에 의해 예시적인 계약 표현언어의 일치된 해석과 실시를 가능하게 하는 EPARC 요소들 각자 사이의 표준적인 수학적 관계들을 정의한다. 정의된 문법은 또한 예시적인 계약 표현언어가 확장가능하도록 허락한다. 따라서, 거의 무한수의 새로운 계약 구조 및 어휘는 예시적인 계약 표현언어에 의해 정의된 문법으로 표현될 수 있다.
[00231] 도 1 내지 도 14에 관련하여 설명된 예시적인 시스템들의 수단들 및 서브시스템들은 예를 들어 통신 네트워크(170) 상에서 통신할 수 있고, 공개된 예시적인 실시예들의 처리를 수행할 수 있는 어떤 적합한 서버들, 워크스테이션들, 개인용 컴퓨터들(PCs), 랩탑 컴퓨터들, 피디에이들(PDAs), 인터넷 응용기기들, 셋톱 박스들, 모뎀들, 핸드헬드(handheld) 수단들, 전화들, 휴대폰들, 무선기기들, 기타 기기 등을 포함할 수 있다. 수단들 및 서브시스템들은 예를 들어 어떤 적절한 프로토콜을 사용하여 서로 통신할 수 있고, 범용 컴퓨터 시스템 등을 사용하여 실행될 수 있다. 하나이상의 인터페이스 메카니즘들은 예를 들어 인터넷 접근, 예 컨대 음성, 모뎀 등과 같은 어떤 적절한 형태의 텔레컴뮤니케이션(telecommunications), 무선통신매체 등을 포함하여, 채용될 수 있다. 따라서, 통신 네트워크(170)는 예를 들어 무선통신 네트워크, 셀룰러(cellular)통신 네트워크, 위성통신 네트워크, 퍼블릭 스위치드 텔리폰 네트워크(Public Switched Telephone Networks; PSTNs), 패킷 데이터 네트워크(Packet Data Networks; PDNs), 인터넷, 인트라넷, 하이브리드 통신 네트워크, 그것의 결합 등을 포함할 수 있다.
[00232] 위에 기술한 바와 같이, 공개된 예시적인 실시예들을 실시하는 데 사용된 특정한 하드웨어의 많은 변경들이 가능하지만, 도 1 내지 도 14와 관련하여 설명된 바와 같이, 예시적인 시스템들은 예를 들어 예시적인 목적들을 위하여 존재한다. 예를 들어, 예시적인 시스템들의 수단들 및 서브시스템들의 기능은 하나이상의 프로그램된 컴퓨터 시스템들 또는 장치들을 통하여 실행될 수 있다. 그런 변경들과 그와 다른 변경들을 실행하기 위하여, 단수의 컴퓨터 시스템이 예시적인 시스템들의 하나이상의 장치들 및 서브시스템들의 기능을 수행하도록 프로그램될 수 있다. 한편으로, 두개이상의 프로그램된 컴퓨터 시스템 또는 장치들은 예시적인 시스템들의 어떤 하나의 장치 및 서브시스템으로 대체될 수 있다. 따라서, 예컨대 다양성, 복제 등과 같은 분산된 처리의 원리들과 잇점들은 바람직하게는, 예를 들어 도 1 내지 도 14에 관련하여 설명되는 예시적인 시스템의 견고성 및 성능을 증 진하기 위하여 실행될 수 있다.
[00233] 도 1 내지 도 14와 관련하여 설명된 예시적인 시스템들은 여기에서 설명되는 다양한 처리들에 관련한 정보를 저장하는 데 사용될 수 있다. 이러한 정보는 예컨대 예시적인 시스템들의 장치들 및 서브시스템들의 하드디스크, 광디스크, 광자기 디스크, 램 등과 같은 하나이상의 메모리에 저장될 수 있다. 장치들 및 서브시스템들의 하나이상의 데이터베이스들은 예시적인 실시예들을 실행하는 데 사용되는 정보를 저장할 수 있다. 데이터베이스들은 위에 열거된 메모리들과 같은 하나이상의 메모리들에 포함되는 예컨대, 레코드, 테이블, 어레이, 필드, 그래프, 트리, 리스트 등과 같은 데이터 구조들을 사용하여 조직될 수 있다.
[00234] 도 1 내지 도 14와 관련하여 설명된 예시적인 시스템들의 모두 또는 일부분은 공개된 예시적인 실시예들의 교시에 따라서 프로그램되는, 통상적인 하나이상의 범용 컴퓨터 시스템, 마이크로프로세서, 디지털 시그널 프로세서, 마이크로-컨트롤러 등을 이용하여 실행될 수 있다. 적절한 소프트웨어는 공개된 예시적인 실시예들의 교시에 기초하여 통상적인 기술을 가진 프로그래머들에 의해 쉽게 준비될 수 있다. 또한, 예시적인 시스템들은 어플리케이션-특정의 통합회로의 준비에 의해서 또는 구성 회로의 적절한 네트워크의 상호연결에 의하여 실행될 수 있다.
[00235] 바람직하게는, 여기에서 설명되는 예시적인 실시예들은 오프라인 시 스템에서, 온라인 시스템 등에서, 예컨대 TV 어플리케이션, 컴퓨터 어플리케이션, DVD 어플리케이션, VCR 어플리케이션, 전기기기 어플리케이션, CD 플레이어 어플리케이션 등과 같은 어플리케이션내에서 채용될 수 있다. 또한, 예시적인 실시예들의 계약 표현언어 표현, 권리 표현 등을 전송하는 데 채용되는 신호는 인간에 가시적인 스펙트럼내에서, 인간에 청취가능한 스펙트럼내에서, 인간에 가시적인 스펙트럼 외에서, 인간에 청취가능한 스펙트럼 외에서, 그것의 결합 등으로 전송되도록 구성될 수 있다.
[00236] 예시적인 실시예들은 계약내의 어플리케이션, 법률 분야(legal arenas) 등에 관하여 설명하였지만, 예시적인 실시예들은 예컨대 디지털 및 비디지털 콘텐트, 장치, 소프트웨어, 서비스, 상품, 자원 등과 같은 어떤 적합한 어플리케에션에도 적용할 수 있고, 기술, 인터페이스, 언어, 문법, 콘텐트, 권리, 제공, 서비스, 속도, 크기, 제한, 장치 등에서의 변경으로 실행될 수 있다.
[00237] 본 발명은 수많은 예시적인 실시예들과 장치들에 관련하여서 설명되었지만, 본 발명은 여기에 제한받지 않고 첨부되는 청구항들이 추구하는 범위를 벗어나지 않은 한도내에서, 다양한 변경과 균등한 실시가 가능하다.
부 록 [APPENDIX]
[00238] 본 발명은 여기에 첨부된 기사, 책, 명세서 등에서 설명되는, 기술, 시스템, 방법, 알고리즘, 개념 등을 채용할 수 있고, 그럼으로써 그것의 모든 완전한 내용들이 여기에 참고로 통합되어 있다.
[1].ContentGuard, Inc., eXtensible rights Markup Language(XrML) Version 2.0, available on the World Wide Web at xrml.org.
[4]. Bradner,"Key words for use in RFCs to Indicate Requirement Level, "IETF RFC 2119, available on the World Wide Web at ietf.org/rfc/rSc2119.txt.
[11]. W3C XML Schema, available on the World Wide Web at w3.org/2001/XMLSchema.
[12]. W3C XML Signature, available on the World Wide Web at w3.org/2000/09/xmldsig#.
[13]. W3C XML Encryption, available on the World Wide Web at w3.org/2001/04/xmlenc#.
[14]. Calamar, et aL, Contracts, 3rd edition, Black Letter Series, West Group, St. Paul, MN, 1999.
[16]. Calamars, et aL, The Law of Contracts, West Wadsworth, 4th edition, July 1998.
[17]. Atiyah, An Introduction to the Law of Contract, Clarendon Law Series, 4th edition, Clarendon Press, Oxford, 1989.
[19]. Dijk. stra, A Discipline of Programming, Prentice-Hall, 1976.
[20]. Pullman, Principles of Database and Knowledge-Base Systems, Volume I, 1988, and Volume II, 1989, Computer Science Press.
[21]. Hanson, et aL,"An overview of production rules in database 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]. Holifeld,"Some 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]. Hilpinen (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 Database Systems, Morgan-Kaufmann, 1995.
[28]. Brownston, et aL, Programming Expert Systems in OPS5 : An Introduction to Rule-Based Programming, Addison-Wesley, 1985.
[29]. Damianou, et aL,"A Survey of Policy Specification Approaches, "2002, available on the World Wide Web at www-dse. doc. ic. ac. uk/Research/policies.
[30]. Pullman, Principles of Database and Knowledge-base Systems, Vol. II, Rockville, MD, Computer Science Press, 1989.
[31]. Sterling, et aL, The Art of Prolog: Advanced Programming Techniques, 2nd Edition, 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]. Manna, et aL, The Temporal Logic of Reactive and Concurrent Systems: Specification, SpringerVerlag, New York, 1991.
Claims (110)
- 적법성 표현을 처리하는 시스템에 사용하기 위한 적법성 표현을 특정하는 방법으로서,주체가 행위를 수행하지 않으면 안된다는 의무를 특정하는 의무요소,주체가 행위를 해서는 안된다는 금지를 특정하는 금지요소,주체가 행위를 수행하기 원한다는 의사를 특정하는 의사요소, 및주체가 행위를 수행한다는 주장을 특정하는 주장요소 중에서 적어도 하나를 포함하며 상기 적법성 표현을 특정할 수 있는 적법성 표현언어를 제공하는 단계; 및상기 제공된 적법성 표현언어를 사용하여 특정된 상기 적법성 표현을 상기 시스템에 의해 해석하는 단계를 포함하는 적법성 표현을 특정하는 방법.
- 제 1항에 있어서, 상기 시스템에 의해 상기 적법성 표현을 실시하는 것을 포함하는 방법.
- 제 1항에 있어서, 상기 적법성 표현언어내에 주체가 행위를 수행해도 좋다는 허가를 특정하는 허여요소를 제공하는 것; 및상기 시스템에 의해 상기 적법성 표현을 실시하는 것을 포함하는 방법.
- 제 3항에 있어서, 상기 적법성 표현언어내에,상기 의무요소, 상기 금지요소, 상기 허여요소, 상기 의사요소, 및 상기 주장요소와 연관되고, 각각의 주체들을 특정하는 각각의 주체요소들,상기 의무요소, 상기 금지요소, 상기 허여요소, 상기 의사요소, 및 상기 주장요소와 연관되고, 각각의 행위들과 연관되는 자원을 특정하는 각각의 자원요소들, 및상기 의무요소, 상기 금지요소, 상기 허여요소, 상기 의사요소, 및 상기 주장요소와 연관되고, 각각의 행위들과 연관되는 조건을 특정하는 각각의 조건요소들을 제공하는 것을 포함하는 방법.
- 제 3항에 있어서, 상기 의무요소, 상기 금지요소, 상기 허여요소, 상기 의사요소, 및 상기 주장요소와 연관되는 각각의 이벤트 요소들을 상기 적법성 표현언어내에 제공하는 것과, 상기 의무, 상기 금지, 상기 허가, 상기 의사, 및 상기 주장을 트리거(trigger)하기 위한 각각의 이벤트들(events)을 특정하는 것을 포함하는 방법.
- 제 3항에 있어서, 상기 적법성 표현언어내에, 상기 의무요소, 상기 금지요소, 상기 허여요소, 상기 의사요소, 및 상기 주장요소와 연관되는 각각의 행위 요소들을 제공하는 것과, 각각의 행위들을 특정하는 것을 포함하는 방법.
- 제 3항에 있어서, 상기 허여요소, 상기 의무요소, 상기 금지요소, 상기 주장요소, 및 상기 의사요소를 상기 적법성 표현언어의 조항요소(clause element)와 연관시키는 것을 포함하는 방법.
- 제 7항에 있어서, 상기 조항요소를 상기 적법성 표현언어의 약속요소와 연관시키는 것; 및상기 조항요소를 상기 적법성 표현언어의 발행인 요소와 연관시키는 것을 포함하고,상기 약속요소는 상기 적법성 표현내에 약속을 특정하며,상기 발행인 요소는 상기 조항의 발행인을 특정하는 것을 특징으로 하는 방법.
- 제 1항에 있어서, 상기 적법성 표현을 사용하여 특정된 계약의 적어도 하나의 서명자를 상기 적법성 표현과 연관되는 서명자 요소로 특정하는 것을 포함하는 방법.
- 제 1항에 있어서, 상기 적법성 표현을 사용하여 특정된 계약과 연관되는 라이센스를 상기 적법성 표현과 연관되는 라이센스 요소로 특정하는 것을 포함하는 방법.
- 제 1항에 있어서, 상기 적법성 표현을 사용하여 특정된 계약과 연관되는 메타데이터(metadata)를 상기 적법성 표현과 연관되는 메타데이터 요소로 특정하는 것을 포함하는 방법.
- 제 1 항에 있어서, 상기 적법성 표현언어를 문법 기반의 언어에 기초하는 것을 포함하는 방법.
- 제 7항에 있어서, 하나이상의 상기 조항요소들 각각을 처리하는 것과 수용하는 것 중의 어느 하나에 관한 우선권을 특정하는 우선권 정책을 하나이상의 상기 주장요소들로 특정하는 것을 포함하는 방법.
- 제 13항에 있어서, 상기 우선권 정책은 상기 하나이상의 조항요소들의 발생순서에 기초한 상기 우선권을 포함하는 것을 특징으로 하는 방법.
- 제 13항에 있어서, 상기 우선권 정책은 상기 하나이상의 조항요소들의 발행회수에 기초한 상기 우선권을 포함하는 것을 특징으로 하는 방법.
- 제 13항에 있어서, 상기 우선권 정책은 상기 하나이상의 조항요소들의 발행인들에 기초한 상기 우선권을 포함하는 것을 특징으로 하는 방법.
- 제 13항에 있어서, 상기 우선권 정책은 상기 하나이상의 조항요소들의 유형에 기초한 상기 우선권을 포함하는 것을 특징으로 하는 방법.
- 제 13항에 있어서, 상기 우선권 정책은 상기 하나이상의 조항요소들의 발생순서, 상기 하나이상의 조항요소들의 발행회수, 상기 하나이상의 조항요소들의 발행인들, 및 상기 하나이상의 조항요소들의 유형 중에서 적어도 두개의 조합에 기초한 상기 우선권을 포함하는 것을 특징으로 하는 방법.
- 제 7항에 있어서, 상기 주장요소내에, 주체가 신뢰요소를 포함하는 상기 행위요소에 기초하여 조항의 발행인을 포함하는 자원을 신뢰한다는 것을 특정하는 것을 포함하여, 신뢰관계를 확립하는 것을 포함하는 방법.
- 제 7항에 있어서, 상기 주장요소내에, 주체가 구속요소를 포함하는 상기 행위요소에 기초하여 계약의 서명자를 포함하는 자원에 구속된다는 것을 특정하는 것을 포함하여, 구속 관계를 확립하는 것을 포함하는 방법.
- 제 7 항에 있어서, 상기 주장요소내에, 주체가 신뢰요소를 포함하는 상기 행위요소에 기초한 조항을 포함하는 자원을 신뢰한다는 것을 특정하는 것을 포함하여, 신뢰관계를 확립하는 것을 포함하는 방법.
- 제 7 항에 있어서, 상기 주장요소내에, 주체가 구속요소를 포함하는 상기 행위요소에 기초한 조항을 포함하는 자원에 구속된다는 것을 특정하는 것을 포함하여, 구속 관계를 확립하는 것을 포함하는 방법.
- 제 7항에 있어서, 조항을 쿼리(query) 및 하나이상의 상기 주장요소들을 포함하는 문맥으로서 제출하는 것,상기 조항을 상기 문맥내에서 유효한 계약내의 하나이상의 조항들에 대하여 부합시키는 것, 및상기 쿼리와 부합하고 상기 문맥내에서 유효한 상기 계약내의 조항들을 쿼리응답으로서 출력하는 것을 포함하여,쿼리-구동형 처리를 제공하는 것을 포함하는 방법.
- 제 7항에 있어서, 트리거에 응답하여 문맥을 제출하는 것, 상기 문맥은 하나이상의 주장요소들을 포함하며,상기 문맥내에서 유효한 계약내의 하나이상의 조항들을 부합시키는 것, 및상기 문맥내에서 유효한 상기 계약내의 조항들을 출력하는 것을 포함하여,문맥-구동형 처리를 제공하는 것을 포함하는 방법.
- 제 13 항에 있어서, 갈등 또는 다양성을 갖는 두개이상의 조항들을 제출하는 것,상기 갈등 또는 다양성을 문맥 및 상기 우선권 정책에 기초하여 해결하는 것, 및 상기 문맥은 하나이상의 주장요소들을 포함하며,해결된 조항들을 해결결과로서 출력하는 것을 포함하여,갈등 또는 다양성 구동형 처리를 제공하는 것을 포함하는 방법.
- 제 7항에 있어서, 조항을 쿼리 및 하나이상의 상기 주장요소들을 포함하는 문맥으로서 제출하는 것,상기 조항을 상기 문맥내에서 유효한 계약내의 하나이상의 조항들에 대하여 부합시키는 것, 및상기 쿼리와 부합하고 상기 문맥내에서 유효한 상기 계약내의 조항들을 질문 응답으로서 출력하는 것을 포함하여, 쿼리-구동형 처리를 제공하는 것;트리거에 응답하여 문맥을 제출하는 것, 상기 문맥은 하나이상의 주장요소들을 포함하며,상기 문맥내에서 유효한 계약내의 하나이상의 조항들을 부합시키는 것, 및상기 문맥내에서 유효한 상기 계약내의 조항들을 출력하는 것을 포함하여, 문맥-구동형 처리를 제공하는 것;상기 쿼리응답 및 상기 유효한 조항들 중에서 적어도 하나로부터 갈등 또는 다양성을 가진 두개이상의 조항들을 제출하는 것,상기 갈등 또는 다양성을 문맥 및 상기 우선권 정책에 기초하여 해결하는 것, 상기 문맥은 하나이상의 주장요소들을 포함하며,해결된 조항들을 해결 결과로서 출력하는 것을 포함하여, 갈등 또는 다양성 구동형 처리를 제공하는 것; 및상기 행위요소에 특정된 행위를 상기 해결결과에 기초하여 수행하는 것을 포함하는 방법.
- 주체가 행위를 수행하지 않으면 안된다는 의무를 특정하는 의무요소,주체가 행위를 해서는 안된다는 금지를 특정하는 금지요소,주체가 행위를 수행하기 원한다는 의사를 특정하는 의사요소, 및주체가 행위를 수행한다는 주장을 특정하는 주장요소 중에서 적어도 하나를 포함하며 상기 적법성 표현을 특정할 수 있는 적법성 표현언어를 제공하는 제1 컴퓨터 모듈; 및상기 제공된 적법성 표현언어를 사용하여 특정된 상기 적법성 표현을 해석하는 제2 컴퓨터 모듈을 포함하는 적법성 표현을 처리하기 위한 시스템.
- 제 27 항에 있어서, 상기 제1 컴퓨터 모듈 및 상기 제2 컴퓨터 모듈은 컴퓨터 시스템의 장치들을 포함하는 것을 특징으로 하는 시스템.
- 제 27항에 있어서, 상기 제1 컴퓨터 모듈 및 상기 제2 컴퓨터 모듈은 매체상에 기록된 컴퓨터 가독형 명령들을 포함하는 것을 특징으로 하는 시스템.
- 삭제
- 삭제
- 삭제
- 삭제
- 삭제
- 삭제
- 삭제
- 삭제
- 삭제
- 삭제
- 삭제
- 삭제
- 삭제
- 제 1항에 있어서, 상기 적법성 표현언어내에 상기 적법성 표현이 유효화되는 동안의 시간간격을 특정하는 유효화 간격요소(validity interval element)를 제공하는 것을 포함하는 방법.
- 삭제
- 제 2항에 있어서, 상기 주체가 상기 행위를 수행했는지를 검증하여 상기 의무 요소에 기초한 상기 의무를 실시하는 것을 포함하는 방법.
- 제 2항에 있어서, 상기 주체가 상기 행위를 수행하지 않았는지를 검증하여 상기 금지요소에 기초한 상기 금지를 실시하는 것을 포함하는 방법.
- 제 3항에 있어서, 상기 주체가 상기 행위를 수행해도 좋은지를 검증하여 상기 허여요소에 기초한 상기 허가를 실시하는 것을 포함하는 방법.
- 제 3항에 있어서, 상기 주체가 상기 행위를 수행하기를 원하는지를 검증하여 상기 의사요소에 기초한 상기 의사를 실시하는 것을 포함하는 방법.
- 제 3항에 있어서, 상기 주체가 상기 행위를 수행하는지를 검증하여 상기 주장요소에 기초한 상기 주장을 실시하는 것을 포함하는 방법.
- 적법성 표현을 특정하고 처리하기 위한 시스템으로서,하나이상의 존재가 상기 적법성 표현에 의해 정의된 행위의 수행에 관련한 의무, 금지, 의사, 및 주장 중에서 적어도 하나를 갖는다는 것을 특정하는 약속을 정의하는 문법에 기초하여 적법성 표현을 특정하는 제1 컴퓨터모듈; 및상기 제1 컴퓨터모듈에 의해 특정된 상기 적법성 표현에 따라서 상기 행위를 수행하기 위한 요청을 처리하는 제2 컴퓨터모듈을 포함하는 것을 특징으로 하는 컴퓨터로 실행되는 시스템(computer-implemented system).
- 제 50항에 있어서, 시스템은 쿼리-구동형 조작 모드(mode)로 구성되는 것을 특징으로 하는 시스템.
- 삭제
- 제 51항에 있어서, 부합된 약속에 기초하여 상기 요청에 대한 응답을 발생시키는 수단을 더 포함하는 시스템.
- 삭제
- 삭제
- 삭제
- 삭제
- 삭제
- 제 53항에 있어서, 상기 응답은 약속으로서 특정되는 것을 특징으로 하는 시스템.
- 삭제
- 삭제
- 삭제
- 삭제
- 제 50항에 있어서, 상기 약속을 하나이상의 발행인들과 연관시키는 수단을 더 포함하고, 상기 약속은 상기 발행인들과 관련하는 정보와 함께 특정되는 것을 특징으로 하는 시스템.
- 제 64항에 있어서, 상기 제2 컴퓨터모듈은 상기 약속에 기초한 요청을 처리하는 것을 특징으로 하고, 상기 행위를 수행하는 요청이 상기 발행인들에 의해 발행되었는지를 결정하는 수단을 더 포함하는 시스템.
- 제 65항에 있어서, 상기 발행인들이 신뢰된 발행인들 리스트(list)에 존재하는지를 점검하는 수단을 더 포함하는 시스템.
- 제 50항에 있어서, 상기 적법성 표현을 하나이상의 서명자들과 연관시키는 수단을 더 포함하고, 상기 적법성 표현이 상기 서명자들과 관련하여 상기 정보와 함께 특정되는 것을 특징으로 하는 시스템.
- 제 67항에 있어서, 상기 제2 컴퓨터 모듈은 상기 약속에 기초한 요청을 처리하는 것을 특징으로 하고, 상기 행위를 수행하는 요청이 상기 서명자들에 의해 동의되었는지를 결정하는 수단을 더 포함하는 시스템.
- 제 68항에 있어서, 상기 서명자들이 책임있는 발행인들 리스트에 존재하는지를 점검하는 수단을 더 포함하는 시스템.
- 제 50항에 있어서, 상기 문법은 상기 의무, 상기 금지, 상기 의사, 및 상기 주장을 상기 적법성 표현에 의해 정의된 행위의 수행에 관련하여 특정하는 문법 요소들을 포함하는 것을 특징으로 하는 시스템.
- 제 50항에 있어서, 상기 문법은 상기 적법성 표현에 의해 정의된 행위의 수행에 관련하여, 상기 의무, 상기 금지, 상기 의사, 및 상기 주장에 관한 하나이상의 조건을 포함하고, 상기 조건들은 상기 약속이 유효하여 발효되기 전에 충족되어야 하는 것을 특징으로 하는 시스템.
- 제 71항에 있어서, 상기 문법은 상기 조건들에 관한 상기 약속의 의존성(dependency)을 추가로 특정하는 것을 특징으로 하는 시스템.
- 제 50항에 있어서, 상기 문법은 다른 약속에 관한 상기 약속의 의존성을 추가로 특정하는 것을 특징으로 하는 시스템.
- 제 73항에 있어서, 상기 약속 의존성은 상기 의무의 이행, 상기 금지의 복종, 상기 의사의 언명, 및 상기 주장의 유효화 중의 어느 하나에 기초하는 것을 특징으로 하는 시스템.
- 제 50항에 있어서, 상기 적법성 표현은 계약을 포함하는 것을 특징으로 하는 시스템.
- 제 75항에 있어서, 상기 계약은 첫번째 존재들 사이에 존재하고, 하나이상의 다른 존재들 사이에 하나이상의 다른 계약들을 특정하는 것을 특징으로 하는 시스템.
- 제 75항에 있어서, 상기 계약은 전자적 계약을 포함하는 것을 특징으로 하는 시스템.
- 제 50항에 있어서, 상기 하나이상의 존재들은 복수의 주체들을 포함하는 것을 특징으로 하는 시스템.
- 제 50항에 있어서, 상기 제1 컴퓨터모듈 및 상기 제2 컴퓨터모듈은 컴퓨터 시스템의 장치들을 포함하는 것을 특징으로 하는 시스템.
- 제 50항에 있어서, 상기 제1 컴퓨터모듈 및 상기 제2 컴퓨터모듈은 매체상에 기록된 컴퓨터 가독형 명령들을 포함하는 것을 특징으로 하는 시스템.
- 적법성 표현을 특정하고 처리하는 시스템으로서,하나이상의 존재들이 상기 적법성 표현에 의해 정의된 행위의 수행과 관련하여 의무, 금지, 의사 및 주장 중에서 적어도 하나를 가지는지를 특정하는 약속을 정의하는 문법에 기초하여 적법성 표현을 특정하는 제1 컴퓨터모듈; 및상기 제1 컴퓨터모듈에 의해 특정된 상기 적법성 표현에 따라서 상기 행위를 수행하기 위한 명령을 발생시키는 제2 컴퓨터모듈을 포함하는 것을 특징으로 하는 컴퓨터로 실행되는 시스템(computer-implemented system).
- 제 81항에 있어서, 상기 시스템은 문맥 구동형 조작모드로 구성되는 것을 특징으로 하는 시스템.
- 제 81항에 있어서, 상기 약속이 유효하고 발효되는지를 결정하는 수단을 더 포함하는 시스템.
- 제 83항에 있어서, 유효하고 발효되는 약속에 기초하여 상기 명령을 발생시키는 수단을 더 포함하는 시스템.
- 제 84항에 있어서, 상기 유효하고 발효되는 약속이 의무를 특정한다면 상기 행위는 수행되어야 한다는 명령을 발생시키는 수단을 더 포함하는 시스템.
- 제 84항에 있어서, 상기 유효하고 발효되는 약속이 금지를 특정한다면 상기 행위는 수행되어서는 안된다는 명령을 발생시키는 수단을 더 포함하는 시스템.
- 제 84항에 있어서, 상기 유효하고 발효되는 약속이 의사를 특정한다면 상기 행위를 수행한다는 의사를 지시하는 명령을 발생시키는 수단을 더 포함하는 시스템.
- 제 84항에 있어서, 상기 유효하고 발효되는 약속이 주장을 특정한다면 상기 행위는 수행되었다는 것을 지시하는 명령을 발생시키는 수단을 더 포함하는 시스템.
- 제 84항에 있어서, 상기 명령은 약속으로서 특정되는 것을 특징으로 하는 시스템.
- 제 85항에 있어서, 상기 의무의 명령은 상기 의무를 특정하는 문법 요소를 사용하여 특정되는 것을 특징으로 하는 시스템.
- 제 86항에 있어서, 상기 금지의 명령은 상기 금지를 특정하는 문법 요소를 사용하여 특정되는 것을 특징으로 하는 시스템.
- 제 87항에 있어서, 상기 의사의 명령은 상기 의사를 특정하는 문법 요소를 사용하여 특정되는 것을 특징으로 하는 시스템.
- 제 88항에 있어서, 상기 주장의 명령은 상기 주장을 특정하는 문법 요소를 사용하여 특정되는 것을 특징으로 하는 시스템.
- 제 81항에 있어서, 상기 약속을 하나이상의 발행인들과 연관시키는 수단을 더 포함하고, 상기 약속은 상기 발행인들과 관련한 정보와 함께 특정되는 것을 특징으로 하는 시스템.
- 제 94항에 있어서, 상기 제2 컴퓨터모듈은 상기 약속에 기초하여 상기 명령을 발생시키고, 시스템은 상기 행위를 수행하는 명령이 상기 발행인들에 의해 발행되었는지를 결정하는 수단을 더 포함하는 시스템.
- 제 95항에 있어서, 상기 발행인들이 신뢰되는 발행인들 리스트에 존재하는지를 점검하는 수단을 더 포함하는 시스템.
- 제 81항에 있어서, 상기 적법성 표현을 하나이상의 서명자들과 연관시키는 수단을 더 포함하고, 상기 적법성 표현은 상기 서명자들과 관련한 정보와 함께 특정되는 것을 특징으로 하는 시스템.
- 제 97항에 있어서, 상기 제2 컴퓨터모듈은 상기 약속에 기초하여 상기 명령을 발생시키는 것을 특징으로 하며, 시스템은 상기 행위를 수행하는 명령이 상기 서명자들에 의해 동의되었는지를 결정하는 수단을 더 포함하는 시스템.
- 제 98항에 있어서, 상기 서명자들이 책임있는 발행인들 리스트에 존재하는지를 점검하는 수단을 더 포함하는 것을 특징으로 하는 시스템.
- 제 81항에 있어서, 상기 문법은 상기 적법성 표현에 의해 정의되는 상기 행위의 수행에 관련하여, 상기 의무, 상기 금지, 상기 의사, 및 상기 주장을 특정하는 문법 요소들을 포함하는 것을 특징으로 하는 시스템.
- 제 81항에 있어서, 상기 문법은 상기 적법성 표현에 의해 정의되는 상기 행위의 수행에 관련하여, 상기 의무, 상기 금지, 상기 의사, 및 상기 주장에 관한 하나이상의 조건들을 포함하는 것을 특징으로 하는 시스템.
- 제 101항에 있어서, 상기 문법은 상기 조건들에 관한 상기 약속의 의존성을 추가로 특정하는 것을 특징으로 하는 시스템.
- 제 81항에 있어서, 상기 문법은 다른 약속에 관한 상기 약속의 의존성을 추가로 특정하는 것을 특징으로 하는 시스템.
- 제 103항에 있어서, 상기 약속 의존성은 상기 의무의 이행, 상기 금지의 복종, 상기 의사의 언명, 및 상기 주장의 유효화 중에서 어느 하나에 기초하는 것을 특징으로 하는 시스템.
- 제 81항에 있어서, 상기 적법성 표현은 계약을 포함하는 것을 특징으로 하는 시스템.
- 제 105항에 있어서, 상기 계약은 첫번째 존재들 사이에 존재하고 하나이상의 다른 존재들 사이에 하나이상의 다른 계약들을 특정하는 것을 특징으로 하는 시스템.
- 제 105항에 있어서, 상기 계약은 전자적 계약을 포함하는 것을 특징으로 하는 시스템.
- 제 81항에 있어서, 상기 하나이상의 존재들은 복수의 주체들을 포함하는 것을 특징으로 하는 시스템.
- 제 81항에 있어서, 상기 제1 컴퓨터모듈 및 상기 제2 컴퓨터모듈은 컴퓨터 시스템의 장치들을 포함하는 것을 특징으로 하는 시스템.
- 제 81항에 있어서, 상기 제1 컴퓨터모듈 및 상기 제2 컴퓨터모듈은 매체에 기록된 컴퓨터 가독형 명령들을 포함하는 것을 특징으로 하는 시스템.
Applications Claiming Priority (5)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| US37580802P | 2002-04-29 | 2002-04-29 | |
| US60/375,808 | 2002-04-29 | ||
| US41178902P | 2002-09-19 | 2002-09-19 | |
| US60/411,789 | 2002-09-19 | ||
| PCT/US2003/013352 WO2003094077A1 (en) | 2002-04-29 | 2003-04-29 | System and method for specifying and processing legality expressions |
Publications (2)
| Publication Number | Publication Date |
|---|---|
| KR20050006217A KR20050006217A (ko) | 2005-01-15 |
| KR100755631B1 true KR100755631B1 (ko) | 2007-09-04 |
Family
ID=29406735
Family Applications (2)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| KR20047017528A KR100755631B1 (ko) | 2002-04-29 | 2003-04-29 | 적법성 표현을 특정하고 처리하기 위한 시스템 및 방법 |
| KR20047017437A KR100671073B1 (ko) | 2002-04-29 | 2003-04-29 | 적법성 표현 언어를 이용한 권리 관리 시스템 |
Family Applications After (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| KR20047017437A KR100671073B1 (ko) | 2002-04-29 | 2003-04-29 | 적법성 표현 언어를 이용한 권리 관리 시스템 |
Country Status (9)
| Country | Link |
|---|---|
| US (4) | US20040024670A1 (ko) |
| EP (2) | EP1436754A4 (ko) |
| JP (2) | JP2006501536A (ko) |
| KR (2) | KR100755631B1 (ko) |
| CN (2) | CN1666207A (ko) |
| AU (2) | AU2003243179B2 (ko) |
| CA (1) | CA2484493A1 (ko) |
| MX (2) | MXPA04010604A (ko) |
| WO (2) | WO2003094077A1 (ko) |
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 |
| US8990334B2 (en) * | 2001-04-26 | 2015-03-24 | Nokia Corporation | Rule-based caching for packet-based data transfer |
| US20060167985A1 (en) * | 2001-04-26 | 2006-07-27 | Albanese Michael J | Network-distributed data routing |
| US9032097B2 (en) * | 2001-04-26 | 2015-05-12 | Nokia Corporation | Data communication with remote network node |
| US9143545B1 (en) * | 2001-04-26 | 2015-09-22 | Nokia Corporation | Device classification for media delivery |
| 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 |
| US7725404B2 (en) * | 2002-02-27 | 2010-05-25 | Imagineer Software, Inc. | Secure electronic commerce using mutating identifiers |
| 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 |
| CN102831676B (zh) * | 2004-11-02 | 2015-07-08 | 大日本印刷株式会社 | 管理*** |
| 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 |
| KR101322515B1 (ko) * | 2005-09-29 | 2013-10-25 | 콘텐트가드 홀딩즈 인코포레이티드 | 발행 권리를 갖는 선행복사본과 관리복사본 토큰을 이용한디지털 권리 관리 시스템 및 방법 |
| US20080120239A1 (en) * | 2006-11-21 | 2008-05-22 | General Instrument Corporation | Method and System for Adapting Pre-Defined Rights of a Digital Content |
| KR101401818B1 (ko) | 2007-09-12 | 2014-05-30 | 소니 픽쳐스 엔터테인먼트, 인크. | 하나 이상의 사용자 장치들에 대한 콘텐츠 배포 방법 및 시스템 |
| 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 |
| US8649789B2 (en) * | 2009-06-08 | 2014-02-11 | Qualcomm Incorporated | Method and apparatus for switching virtual SIM service contracts when roaming |
| US8639245B2 (en) * | 2009-06-08 | 2014-01-28 | Qualcomm Incorporated | Method and apparatus for updating rules governing the switching of virtual SIM service contracts |
| US20100311402A1 (en) * | 2009-06-08 | 2010-12-09 | Prasanna Srinivasan | Method and apparatus for performing soft switch 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 |
| US8811969B2 (en) * | 2009-06-08 | 2014-08-19 | Qualcomm Incorporated | Virtual SIM card for mobile handsets |
| 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 |
| US20100185868A1 (en) * | 2010-03-21 | 2010-07-22 | William Grecia | Personilized digital media access system |
| US8402555B2 (en) | 2010-03-21 | 2013-03-19 | William Grecia | Personalized digital media access system (PDMAS) |
| 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 |
| US20130086033A1 (en) | 2011-10-03 | 2013-04-04 | Black Hills Ip Holdings, Llc | Systems, methods and user interfaces in a patent management system |
| 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 |
| US10139951B2 (en) | 2016-11-09 | 2018-11-27 | Dell Products L.P. | Information handling system variable capacitance totem input management |
| US10496216B2 (en) | 2016-11-09 | 2019-12-03 | Dell Products L.P. | Information handling system capacitive touch totem with optical communication support |
| US10139930B2 (en) | 2016-11-09 | 2018-11-27 | Dell Products L.P. | Information handling system capacitive touch totem 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 |
| 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 |
| US10795502B2 (en) | 2018-06-28 | 2020-10-06 | Dell Products L.P. | Information handling system touch device with adaptive haptic response |
| US10761618B2 (en) | 2018-06-28 | 2020-09-01 | Dell Products L.P. | Information handling system touch device with automatically orienting visual display |
| US10817077B2 (en) | 2018-06-28 | 2020-10-27 | Dell Products, L.P. | Information handling system touch device context aware input tracking |
| US10635199B2 (en) | 2018-06-28 | 2020-04-28 | Dell Products L.P. | Information handling system dynamic friction touch device for touchscreen interactions |
| US10852853B2 (en) | 2018-06-28 | 2020-12-01 | Dell Products L.P. | Information handling system touch device with visually interactive region |
| US10664101B2 (en) | 2018-06-28 | 2020-05-26 | Dell Products L.P. | Information handling system touch device false touch detection and mitigation |
| US11763079B2 (en) | 2020-01-24 | 2023-09-19 | 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 | 北京科技大学 | 一种基于合同文本标记语言的法律合同交互式标注方法 |
Citations (2)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| US4787035A (en) * | 1985-10-17 | 1988-11-22 | Westinghouse Electric Corp. | Meta-interpreter |
| 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 |
Family Cites Families (202)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| FR2258112A5 (ko) | 1973-11-30 | 1975-08-08 | Honeywell Bull Soc Ind | |
| CH624877A5 (ko) * | 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 |
| 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 |
| EP0257585B1 (en) | 1986-08-22 | 1992-11-25 | Nec Corporation | Key distribution method |
| 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 | 富士通株式会社 | 複数サービス用ｉｃカードの領域アクセス方法 |
| US4977594A (en) | 1986-10-14 | 1990-12-11 | Electronic Publishing Resources, Inc. | Database usage metering and protection system and method |
| US5109413A (en) | 1986-11-05 | 1992-04-28 | International Business Machines Corporation | Manipulating rights-to-execute in connection with a software copy protection mechanism |
| EP0268139A3 (en) | 1986-11-05 | 1991-04-10 | 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 |
| DE69121444T2 (de) | 1990-03-29 | 1997-03-13 | Gte Laboratories Inc | Überwachungssystem für die Übertragung von Videosignalen |
| 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 | データ管理システム |
| AU659652B2 (en) | 1991-05-08 | 1995-05-25 | Digital Equipment Corporation | Management interface and format for license management system |
| ATE175281T1 (de) * | 1991-05-08 | 1999-01-15 | Digital Equipment Corp | Lizenz-verwaltungssystem |
| 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 |
| US5453601A (en) * | 1991-11-15 | 1995-09-26 | Citibank, N.A. | Electronic-monetary system |
| US5557518A (en) | 1994-04-28 | 1996-09-17 | Citibank, N.A. | Trusted agents for open electronic commerce |
| WO1993011480A1 (en) | 1991-11-27 | 1993-06-10 | Intergraph Corporation | System and method for network license administration |
| KR100269004B1 (ko) * | 1992-01-08 | 2000-10-16 | 카츠넬슨 론 디. | 다중채널 텔레비젼 신호 스크램블링과 디스크램블링 시스템 및 방법 |
| 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 |
| 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 |
| 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 |
| 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 |
| US5638443A (en) * | 1994-11-23 | 1997-06-10 | Xerox Corporation | System for controlling the distribution and use of composite digital works |
| US6963859B2 (en) | 1994-11-23 | 2005-11-08 | Contentguard Holdings, Inc. | Content rendering repository |
| 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 |
| 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 |
| 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 |
| CN101303717B (zh) | 1995-02-13 | 2015-04-29 | 英特特拉斯特技术公司 | 用于安全交易管理和电子权利保护的***和方法 |
| US5892900A (en) | 1996-08-30 | 1999-04-06 | Intertrust Technologies Corp. | Systems and methods for secure transaction management and electronic rights protection |
| 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 |
| 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 |
| US6424717B1 (en) * | 1995-04-03 | 2002-07-23 | Scientific-Atlanta, Inc. | Encryption devices for use 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 |
| EP0880840A4 (en) * | 1996-01-11 | 2002-10-23 | Mrj Inc | DEVICE FOR CONTROLLING ACCESS AND DISTRIBUTION OF DIGITAL PROPERTY |
| 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 |
| ES2151240T3 (es) * | 1996-03-18 | 2000-12-16 | News Datacom Ltd | Tarjetas inteligentes enlazadas para el pago de los sistemas de television. |
| US5673316A (en) | 1996-03-29 | 1997-09-30 | International Business Machines Corporation | Creation and distribution of cryptographic envelope |
| ES2150243T3 (es) | 1996-04-01 | 2000-11-16 | Macrovision Corp | Un metodo y un aparato para proporcionar una proteccion contra copias de material de señal transmitido a traves de redes de entrega digitales a un terminal descodificador de consumidor. |
| 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 |
| AU3205797A (en) | 1996-05-15 | 1997-12-05 | Intertrust Technologies Corp. | Cryptographic methods, apparatus and systems for storage media electronic rights management in closed and connected appliances |
| 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 |
| DE69807807T2 (de) * | 1997-01-27 | 2003-05-28 | Koninkl Philips Electronics Nv | Verfahren und vorrichtung zur übertragung von inhaltsinformation und darauf bezogener zusatzinformation |
| GB9703193D0 (en) * | 1997-02-15 | 1997-04-02 | Philips Electronics Nv | Television |
| HU229694B1 (en) | 1997-03-21 | 2014-05-28 | Nagra France Sas | Conditional access system |
| 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 | 富士ゼロックス株式会社 | アクセス資格認証装置および方法 |
| EP0983664A1 (en) * | 1997-05-07 | 2000-03-08 | Neomedia Technologies, Inc | Scanner enhanced remote control unit and system for automatically linking to on-line resources |
| 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 |
| JP2003521820A (ja) | 1997-08-01 | 2003-07-15 | サイエンティフィック−アトランタ， インコーポレイテッド | 条件付きアクセスシステム |
| EP1000509B1 (en) | 1997-08-01 | 2002-11-27 | Scientific-Atlanta, Inc. | Encryption device for use in a conditional access system |
| JP3622433B2 (ja) * | 1997-08-05 | 2005-02-23 | 富士ゼロックス株式会社 | アクセス資格認証装置および方法 |
| JP3671611B2 (ja) * | 1997-08-05 | 2005-07-13 | 富士ゼロックス株式会社 | アクセス資格認証装置および方法 |
| EP0944011A4 (en) * | 1997-08-05 | 2000-08-23 | Enix Corp | COLLECTING FINGERPRINTS |
| 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 |
| ATE325478T1 (de) | 1998-01-02 | 2006-06-15 | Cryptography Res Inc | Leckresistentes kryptographisches verfahren und vorrichtung |
| 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 | 富士ゼロックス株式会社 | 条件付き認証装置および方法 |
| CN100534180C (zh) | 1998-03-16 | 2009-08-26 | 联信技术公司 | 用于连续控制和保护媒体内容的方法和装置 |
| 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 |
| AU5781599A (en) * | 1998-08-23 | 2000-03-14 | Open Entertainment, Inc. | Transaction system for transporting media files from content provider sources tohome 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 |
| CN1262966C (zh) | 1999-04-07 | 2006-07-05 | 瑞士电信流动电话公司 | 入场票定购、装载和使用的方法和*** |
| US6453305B1 (en) | 1999-05-21 | 2002-09-17 | Compaq Computer Corporation | Method and system for enforcing licenses on an open network |
| WO2000073922A2 (en) | 1999-06-01 | 2000-12-07 | Cacheflow, Inc. | Content delivery system |
| AU6074100A (en) | 1999-07-06 | 2001-01-22 | 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 |
| EP1236175A4 (en) | 1999-08-06 | 2006-07-12 | Lexis Nexis | SYSTEM AND METHOD FOR CLASSIFYING LEGAL CONCEPTS USING A 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 |
| WO2001092993A2 (en) * | 2000-06-02 | 2001-12-06 | Vigilant Systems, Inc. | 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 |
| WO2004034223A2 (en) | 2002-10-09 | 2004-04-22 | 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 EP EP03747617A patent/EP1436754A4/en not_active Ceased
- 2003-04-29 CA CA002484493A patent/CA2484493A1/en not_active Abandoned
- 2003-04-29 MX MXPA04010604A patent/MXPA04010604A/es not_active Application Discontinuation
- 2003-04-29 WO PCT/US2003/013352 patent/WO2003094077A1/en active Search and Examination
- 2003-04-29 CN CN03815403XA patent/CN1666207A/zh active Pending
- 2003-04-29 JP JP2004502218A patent/JP2006501536A/ja active Pending
- 2003-04-29 MX MXPA04010541A patent/MXPA04010541A/es not_active Application Discontinuation
- 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 CN038130157A patent/CN1659559A/zh active Pending
- 2003-04-29 AU AU2003232016A patent/AU2003232016A1/en not_active Abandoned
- 2003-04-29 JP JP2004502219A patent/JP2005524177A/ja active Pending
- 2003-04-29 WO PCT/US2003/013351 patent/WO2003094076A1/en active Search and Examination
- 2003-04-29 US US10/425,036 patent/US20040024670A1/en not_active Abandoned
- 2003-04-29 KR KR20047017437A patent/KR100671073B1/ko not_active IP Right Cessation
- 2003-04-29 US US10/424,785 patent/US8543511B2/en active Active
- 2003-04-29 EP EP03747616A patent/EP1502221A4/en not_active Withdrawn
-
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
Patent Citations (2)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| US4787035A (en) * | 1985-10-17 | 1988-11-22 | Westinghouse Electric Corp. | Meta-interpreter |
| 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 |
Also Published As
| Publication number | Publication date |
|---|---|
| US20130346324A1 (en) | 2013-12-26 |
| AU2003232016A1 (en) | 2003-11-17 |
| CA2484493A1 (en) | 2003-11-13 |
| KR100671073B1 (ko) | 2007-01-17 |
| KR20040104669A (ko) | 2004-12-10 |
| WO2003094077A1 (en) | 2003-11-13 |
| CN1666207A (zh) | 2005-09-07 |
| JP2006501536A (ja) | 2006-01-12 |
| MXPA04010604A (es) | 2004-12-13 |
| JP2005524177A (ja) | 2005-08-11 |
| EP1502221A4 (en) | 2009-08-05 |
| KR20050006217A (ko) | 2005-01-15 |
| EP1436754A1 (en) | 2004-07-14 |
| US8543511B2 (en) | 2013-09-24 |
| CN1659559A (zh) | 2005-08-24 |
| US20040024670A1 (en) | 2004-02-05 |
| AU2003243179A1 (en) | 2003-11-17 |
| US20040049462A1 (en) | 2004-03-11 |
| US20200090079A1 (en) | 2020-03-19 |
| EP1502221A1 (en) | 2005-02-02 |
| AU2003243179B2 (en) | 2005-04-14 |
| US10430729B2 (en) | 2019-10-01 |
| WO2003094076A1 (en) | 2003-11-13 |
| EP1436754A4 (en) | 2010-03-24 |
| MXPA04010541A (es) | 2005-02-17 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| KR100755631B1 (ko) | 적법성 표현을 특정하고 처리하기 위한 시스템 및 방법 | |
| 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 | |
| Wang et al. | The MPEG-21 rights expression language and rights data dictionary | |
| JP2010211811A (ja) | 拡張可能な権利表記処理システム及び方法 | |
| JP2016129052A (ja) | 機能判定装置 | |
| Gangadharan et al. | Service licensing: conceptualization, formalization, and expression | |
| Saini et al. | Operational aspects of e-contracts: a critical study | |
| JP2008525863A (ja) | 共有状態変数を用いる権利のオファー及び許諾のためのシステムおよび方法 | |
| Kalajainen | An access control model in a semantic data structure: Case process modelling of a bleaching line | |
| Parrott | Requirements for a rights data dictionary and rights expression language | |
| Wang et al. | The contract expression language–CEL | |
| Bhanu et al. | Operational aspects of EContracts: A critical Study | |
| JP4951518B2 (ja) | 権利表現の発行が許可されていることを確認するための方法、システム、および装置 | |
| JP5296120B2 (ja) | 権利表現チェーンを判断する方法及び装置 | |
| Lazouski et al. | A survey of usage control in computer security | |
| TWI227846B (en) | Method and apparatus managing the transfer of rights | |
| JP4932058B2 (ja) | コンテンツと関係付けられる権利を移転する方法及び装置 | |
| Nozin | A privacy framework to provide users with control, accuracy and audit | |
| Pekárek | Final requirements and state-of-the-art for next generation policies | |
| Dzbor | D4. 4.1 The role of access rights in ontology customization | |
| Brown | Opening the Open Source Debate A White Paper June 2002 | |
| Samarati et al. | Second research report on next generation policies | |
| MPEG | ContentGuard | |
| KR20070086059A (ko) | 권리 표현의 허가된 발행을 검증하는 방법, 시스템 및 장치 |
Legal Events
| Date | Code | Title | Description |
|---|---|---|---|
| A201 | Request for examination | ||
| AMND | Amendment | ||
| E902 | Notification of reason for refusal | ||
| AMND | Amendment | ||
| E601 | Decision to refuse application | ||
| J201 | Request for trial against refusal decision | ||
| AMND | Amendment | ||
| AMND | Amendment | ||
| B701 | Decision to grant | ||
| GRNT | Written decision to grant | ||
| FPAY | Annual fee payment |
Payment date: 20120313 Year of fee payment: 6 |
|
| FPAY | Annual fee payment |
Payment date: 20130816 Year of fee payment: 7 |
|
| FPAY | Annual fee payment |
Payment date: 20140821 Year of fee payment: 8 |
|
| FPAY | Annual fee payment |
Payment date: 20150820 Year of fee payment: 9 |
|
| LAPS | Lapse due to unpaid annual fee |