Extending choreography with business contract constraints

Business contracts play a central role in governing commercial interactions between organizations. It is increasingly recognized that business contract conditions need to be closely linked to internal and external business processes, both to reduce the risk of contract violations and to ensure compliance with legislative regimes. Recent research has proposed contract languages allowing the specification of obligations, permissions and prohibitions in business contracts. Business processes that cross-organizational boundaries can be specified in choreography and coordination languages but these do not provide appropriate abstractions for contract constraints. In this paper, we examine the transformation of contract constraints in a business contract language into expressions in a choreography language. An example cross-organizational process is presented, along with a specification of the process in a choreography language and a specification of a set of contract conditions for the process in a business contract language. The contract terms are then translated into choreography expressions that govern the process to ensure compliance. Subsequent discussion explores a number of business and technology issues related to the results. We conclude that cross-organizational business processes can be monitored and enforced according to business contract specifications through the transformation of a contract definition to constraints on process behavior.

Translating business contract constraints into compliant business processes

This paper presents an approach for translating legalese expression of business contracts into candidate business activities and processes while ensuring their compliance with contract. This is a progressive refinement using logic-based formalism to capture contract semantics and to serve as an intermediate step for transformation. Particular value of this approach is for those organisations that consider moving towards new approaches to enterprise contract management and applying them to their future contracts.

A knowledge based system of principled negotiation for complex business contract

Automated negotiation systems can do better than human being in many aspects, and thus are applied into many domains ranging from business to computer science. However, little work about automating negotiation of complex business contract has been done so far although it is a kind of the most important negotiation in business. In order to address this issue, in this paper we developed an automated system for this kind of negotiation. This system is based on the principled negotiation theory, which is the most effective method of negotiation in the domain of business. The system is developed as a knowledge-based one because a negotiating agent in business has to be economically intelligent and capable of making effective decisions based on business experiences and knowledge. Finally, the validity of the developed system is shown in a real negotiation scenario where on behalf of human users, the system successfully performed a negotiation of a complex business contract between a wholesaler and a retailer. © 2013 Springer-Verlag Berlin Heidelberg.

Towards a methodology for deriving contract-compliant business processes

This paper presents a methodology for deriving business process descriptions based on terms in business contract. The aim is to assist process modellers in structuring collaborative interactions between parties, including their internal processes, to ensure contract-compliant behaviour. The methodology requires a formal model of contracts to facilitate process derivations and to form a basis for contract analysis tools and run-time process execution.

Tietokoneohjelmien suojaaminen ja ohjelmien samankaltaisuuksien aiheuttamat oikeudelliset ongelmat

Tietokoneohjelmaa suojataan tekijänoikeudella, liikesalaisuussuojalla ja patentilla. Jotta ohjelmistoalan yritys pärjäisi dynaamisilla ja kansainvälisillä ohjelmistomarkkinoilla sen pitää patentoida ohjelmansa sekä hyödyntää ja puolustaa patenttejaan. Ohjelmistopatentteja myönnetään myös Euroopassa yhä enemmän. Ohjelmistoteollisuudessa tuotekehitys perustuu usein jo olemassa olevalle, josta aiheutuu alalle tyypillistä teknologioiden päällekkäisyyttä. Jotta yritys pystyisi toimimaan tietyllä markkina-alueella, se saattaa tarvita sellaista teknologiaa joka on jo jonkun patentoimaa. Edellä mainituista syistä sekä ohjelmistopatenttien samanlaisuuksista ja patenttien suuresta määrästä johtuen patentinloukkauksia tapahtuu ja niihin tulee reagoida liikesuhteet huomioon ottaen, esimerkiksi neuvottelemalla liiketoimintasopimuksesta, sovittelemalla konfliktia sovittelumenettelyssä ja tarvittaessa oikeudellisin keinoin.

Yllättävä ja ankara ehto verkossa tehtävässä vakiosopimuksessa

Tässä työssä tutkitaan verkossa tehtävän vakiosopimuksen ehtoja sopimuksen ollessa elinkeinonharjoittajien välinen. Kun sopimuksen on laatinut neuvotteluasemaltaan vahvempi osapuoli, ei toisella osapuolella ole muuta mahdollisuutta kuin hyväksyä tai hylätä sopimus. Tällainen sopimus on nimeltään liittymissopimus. Epätasaisen neuvotteluvoiman johdosta vahvempi osapuoli voi sopimuksen ehtoja laatiessaan pyrkiä puoltamaan omaa etuaan. Tämä voi johtaa tilanteeseen, jossa sopimuksen ehtoihin sisältyy yllättäviä ja ankaria ehtoja. Tarkoituksena on selvittää oikeuskirjallisuuden perusteella millaiset ehdot voivat olla lähtökohtaisesti yllättäviä ja ankaria. Jotta tällaiset ehdot tulisivat sitovasti sopimuksen osaksi, niitä tulee korostaa. Empiirisen tutkimuksen avulla halutaan selvittää miten edellä mainittujen ehtojen korostaminen onnistuu mobiilisovelluskehittäjien jakelusopimuksissa. Verkossa toteutettu kyselytutkimus suunnattiin suomalaisille mobiilisovelluskehittäjille. Tutkimuksen mukaan on selvää, ettei suurin ongelma ole sopimusehdoissa, vaan suurin ongelma on sopimuksen lukemisen transaktiokustannus. Tämän seurauksena liityntäsopimuksen hyväksyjät ovat tietämättömiä sopimuksen solmimisen seurauksena heihin kohdistuneista vastuista ja velvoitteista. Koska sovelluskehittäjät näkevät itsensä jo lähtökohtaisesti sopimuksen osapuolina ilman neuvotteluvoimaa, eivät he koe hyötyvänsä sopimuksen lukemisesta. Johtopäätöksenä todetaan, että tiedon epäsymmetrisyyteen tulisi vaikuttaa. Järjestäytymällä sovelluskehittäjien olisi mahdollista kasvattaa neuvotteluvoimaa, mutta myös lisätä tietoisuuttaan sopimusehtojen sisällöstä. Sopimusehtoihin vaikuttaminen ei ole mahdollista tällä hetkellä ennen kuin useammat sopimuksen hyväksyjät lukevat sopimuksen.

Análise da comercialização de energia elétrica cogerada pelo setor sucroalcooleiro no estado de São Paulo

O Brasil viveu, em 2001, uma crise de oferta de energia elétrica sem precedentes que coincidiu com o processo de reestruturação do setor elétrico brasileiro e possibilitou aos autoprodutores de energia elétrica,como o setor sucroalcooleiro, comercializarem o excedente de energia, obtidos pelo processo de cogeração, que apesar do elevado potencial de comercialização, não está sendo devidamente aproveitado. Este trabalho teve por objetivo caracterizar o mercado de energia elétrica cogerada e analisar os obstáculos à comercialização da energia cogerada, à luz da existência dos custos de transação e econômicos, enfrentados pelo setor sucroalcooleiro e distribuidoras. Para a coleta de informações, foram realizadas entrevistas semi-estruturadas com o responsável pela área de cogeração das usinas e distribuidora de energia, que consistiam em perguntas pré-determinadas que foram lidas na mesma ordem e da mesma maneira para todos os entrevistados para assegurar a comparabilidade dos resultados. As entrevistas foram gravadas, transcritas e examinadas por meio da análise de conteúdo. Os resultados indicaram que poderiam ser estabelecidos contratos de longo prazo, mas os custos de transação e econômicos entre os agentes podem estar superando os benefícios da comercialização de energia elétrica cogerada, fazendo os agentes atuarem preferencialmente no mercado spot

Measuring the efficiency of outsourcing: An illustrative case study from the aerospace industry

Outsourcing is related to the action which an organization deals with its suppliers through a kind of business contract where a specific activity or service has been hired to be made. The outsourcing of some activities has become a common practice in the industry, nowadays. It reduces costs, significantly, in the production process and, at the same time, adds some values to the business organization. However it is necessary to measure the performance of these activities. Data Envelopment Analysis (DEA) is a non-parametric method useful to measure comparative performance. It has a wide range of applications measuring comparative efficiency. The Analytic Hierarchy Process (AHP) is a multiple criteria decision-making method that uses hierarchic structures to represent a decision problem and then develops priorities for the alternatives based on the decision-maker's judgments. This paper presents an integrated application based on DEA and AHP to evaluate the efficiency of subcontracted companies in a Brazilian aerospace factory. © 2007 Springer-Verlag London Limited.

Desenvolvimento de um modelo para medir a eficiência de empresas tercerizadas no processo de publicações técnicas de peças de reposição de aeronaves

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Linking contracts, processes and services: An event-driven approach

This paper addresses the problem of mapping business contract conditions onto the messages and rules that represent service interactions in a collaborative business process. We describe why this mapping is not straightforward by means of an example. We then consider a message-driven process language as a target for the mapping and use this mapping solution to discuss broad range of problems related to the mapping problem.

Digest of insurance cases, embracing all decisions in any manner affecting insurance companies or their contract upon whatever plan or for whatever purpose their business may be conducted, covering all United States courts, namely the United States Supreme Court, the United States Circuit Courts of Appeal, and United States Circuit and District Courts--all courts of last resort and other appellate courts of the various states and territories and District of Columbia--all the highest judicial tribunals of all other English-speaking countries and all inferior courts within the foregoing jurisdictions whose decisions are reported--also reference to all annotations and leading articles on insurance in all law journals published in the English language.

Lettered on cover: Insurance digest.

On compliance of business processes with business contracts

This paper addresses the problem of ensuring compliance of business processes, implemented within and across organisational boundaries, with the constraints stated in related business contracts. In order to deal with the complexity of this problem we propose two solutions that allow for a systematic and increasingly automated support for addressing two specific compliance issues. One solution provides a set of guidelines for progressively transforming contract conditions into business processes that are consistent with contract conditions thus avoiding violation of the rules in contract. Another solution compares rules in business contracts and rules in business processes to check for possible inconsistencies. Both approaches rely on a computer interpretable representation of contract conditions that embodies contract semantics. This semantics is described in terms of a logic based formalism allowing for the description of obligations, prohibitions, permissions and violations conditions in contracts. This semantics was based on an analysis of typical building blocks of many commercial, financial and government contracts. The study proved that our contract formalism provides a good foundation for describing key types of conditions in contracts, and has also given several insights into valuable transformation techniques and formalisms needed to establish better alignment between these two, traditionally separate areas of research and endeavour. The study also revealed a number of new areas of research, some of which we intend to address in near future.

Contract-program evaluation: Impact of the DRG classification system on hospitals' outputs

A Work Project, presented as part of the requirements for the Award of a Masters Degree in Management from the NOVA – School of Business and Economics