Abstract-I en business-to-business samarbetsmiljö, en koreografi och ett affärsavtal (tjänsteavtal) är två specifikationer som beskriver tillåtna interaktioner mellan partner från olika håll, med betoning på olika aspekter. En koreografispecifikation är en beskrivning, ur ett globalt perspektiv, av alla tillåtna meddelandeutbytessekvenser mellan partnerna. I ett affärsavtal anges å andra sidan vilka verksamheter som affärspartnerna har rättigheter, skyldigheter eller förbud mot att utföra, samt när verksamheten ska utföras och i vilken ordning. Det är naturligtvis viktigt att se till att meddelandeutbyten som kodas i en viss koreografi överensstämmer med (är i enlighet med) avtalet mellan parterna. Med andra ord, se till att varje meddelande interaktion som tillåts i koreografin inte kommer att orsaka ett brott mot avtalet. Papperet utvecklar begreppet överensstämmelse mellan ett kontrakt och en koreografi under förutsättning att de kan modelleras av Finite Automata. Detta tillvägagångssätt öppnar vägen för automatiskt fastställande av överensstämmelse med hjälp av modellkontrollmetoder.
Molina-Jimenez och Shrivastava REF utvecklade konceptet om överensstämmelse mellan ett kontrakt och en koreografi genom att anta att de kan modelleras av Finite Automaton (FA).
Establishing Conformance between Contracts and Choreographies
{'venue': '2013 IEEE 15th Conference on Business Informatics', 'journal': '2013 IEEE 15th Conference on Business Informatics', 'mag_field_of_study': ['Computer Science']}