Affronteremo perché, e soprattutto come, rappresentare le regole aziendali nei contratti di e-commerce. Per contratti intendiamo le descrizioni di beni e servizi offerti o richiesti, compresi gli accordi accessori che dettagliano i termini di un accordo. Osserviamo che le regole sono utili nei contratti per rappresentare relazioni condizionali, ad esempio, in termini e condizioni, fornitura di servizi e processi aziendali circostanti, e illustriamo questo punto con diversi esempi. Analizziamo i requisiti (desiderata) per rappresentare tali regole nei contratti. I requisiti includono: semantica dichiarativa in modo da consentire la comprensione condivisa e l'interoperabilità; gestione prioritaria dei conflitti in modo da consentire l'aggiornamento/revisione modulare; facilità di analisi; integrazione nell'ingegneria del software del mondo WWW; eseguibilità diretta; e trattabilità computazionale. Diamo un approccio rappresentazionale che consiste di due aspetti nuovi. Innanzitutto, forniamo un nuovo formalismo fondamentale di rappresentazione della conoscenza: una versione generalizzata dei Courteous Logic Programs (CLP), che estende espressamente i programmi dichiarativi di logica ordinaria (OLP) per includere la gestione dei conflitti con priorità, consentendo così la modularità nella specifica e nella revisione degli insiemi di regole. Il nostro approccio all'implementazione del CLP è un compilatore cortese che trasforma qualsiasi CLP in un OLP semanticamente equivalente con un sovraccarico computazionale moderato e trattabile. In secondo luogo, forniamo una nuova codifica XML del CLP, denominata Business Rules Markup Language (BRML), adatta all'interscambio tra linguaggi di regole commerciali eterogenei. (segue) BRML può anche esprimere un ampio sottoinsieme di ANSI-draftKnowledge Interchange Format (KIF) che si sovrappone a CLP. Il nostro nuovo approccio, a differenza degli approcci precedenti, fornisce non solo semantica dichiarativa ma anche gestione prioritaria dei conflitti, facilità di analisi e integrazione nell'ingegneria del software del mondo WWW. Sosteniamo che questo nuovo approccio soddisfa i requisiti generali in misura maggiore rispetto a qualsiasi approccio precedente, incluso KIF, il principale approccio dichiarativo precedente. Abbiamo implementato entrambi gli aspetti del nostro approccio; un prototipo alfa gratuito chiamato Common-Rules è stato rilasciato sul Web nel luglio del 1999, all'indirizzo
caricamento...
