{"id":"https://openalex.org/W1530832151","doi":null,"title":"On Formal Consistency between Value and Coordination Models","display_name":"On Formal Consistency between Value and Coordination Models","publication_year":2007,"publication_date":"2007-10-01","ids":{"openalex":"https://openalex.org/W1530832151","mag":"1530832151"},"language":"en","primary_location":{"id":"pmh:oai:ris.utwente.nl:openaire_cris_publications/2e93f30b-350b-4086-a38e-0df431e1fedc","doi":null,"is_oa":false,"landing_page_url":"https://research.utwente.nl/en/publications/2e93f30b-350b-4086-a38e-0df431e1fedc","pdf_url":null,"source":{"id":"https://openalex.org/S4406922991","display_name":"University of Twente Research Information","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Bodenstaff, L, Wombacher, A & Reichert, M U 2007, On Formal Consistency between Value and Coordination Models. CTIT Technical Report Series, no. TR-CTIT-07-91, Centre for Telematics and Information Technology (CTIT), Enschede.","raw_type":"info:eu-repo/semantics/report"},"volume":null,"type":"report","indexed_in":[],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://research.utwente.nl/en/publications/on-formal-consistency-between-value-and-coordination-models(2e93f30b-350b-4086-a38e-0df431e1fedc).html","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5013359178","display_name":"Lianne Bodenstaff","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I94624287","display_name":"University of Twente","ror":"https://ror.org/006hf6230","country_code":"NL","type":"education","lineage":["https://openalex.org/I94624287"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Lianne Bodenstaff","raw_affiliation_strings":["Univ. of Twente#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Univ. of Twente#TAB#","institution_ids":["https://openalex.org/I94624287"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5015965846","display_name":"Andreas Wombacher","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I94624287","display_name":"University of Twente","ror":"https://ror.org/006hf6230","country_code":"NL","type":"education","lineage":["https://openalex.org/I94624287"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Andreas Wombacher","raw_affiliation_strings":["Univ. of Twente#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Univ. of Twente#TAB#","institution_ids":["https://openalex.org/I94624287"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5075861532","display_name":"Manfred Reichert","orcid":"https://orcid.org/0000-0003-2536-4153","observed_orcids":["https://orcid.org/0000-0003-2536-4153"]},"institutions":[{"id":"https://openalex.org/I5124864","display_name":"\u00c9cole Polytechnique F\u00e9d\u00e9rale de Lausanne","ror":"https://ror.org/02s376052","country_code":"CH","type":"education","lineage":["https://openalex.org/I2799323385","https://openalex.org/I5124864"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"Manfred Reichert","raw_affiliation_strings":["\u00c9cole Polytechnique, F\u00e9d\u00e9rale de Lausanne#TAB#"],"raw_orcid":"https://orcid.org/0000-0003-2536-4153","affiliations":[{"raw_affiliation_string":"\u00c9cole Polytechnique, F\u00e9d\u00e9rale de Lausanne#TAB#","institution_ids":["https://openalex.org/I5124864"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":13,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10703","display_name":"Business Process Modeling and Analysis","score":0.9150000214576721,"subfield":{"id":"https://openalex.org/subfields/1404","display_name":"Management Information Systems"},"field":{"id":"https://openalex.org/fields/14","display_name":"Business, Management and Accounting"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},"topics":[{"id":"https://openalex.org/T10703","display_name":"Business Process Modeling and Analysis","score":0.9150000214576721,"subfield":{"id":"https://openalex.org/subfields/1404","display_name":"Management Information Systems"},"field":{"id":"https://openalex.org/fields/14","display_name":"Business, Management and Accounting"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.038600001484155655,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11024","display_name":"Information Systems Theories and Implementation","score":0.01640000008046627,"subfield":{"id":"https://openalex.org/subfields/3312","display_name":"Sociology and Political Science"},"field":{"id":"https://openalex.org/fields/33","display_name":"Social Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/model-consistency","display_name":"model consistency","score":0.8410000205039978},{"id":"https://openalex.org/keywords/value-model","display_name":"value model","score":0.843999981880188},{"id":"https://openalex.org/keywords/coordination-models","display_name":"coordination models","score":0.9950000047683716},{"id":"https://openalex.org/keywords/event-logs","display_name":"event logs","score":0.9470000267028809},{"id":"https://openalex.org/keywords/interorganizational-collaboration","display_name":"inter-organizational collaboration","score":0.9940000176429749},{"id":"https://openalex.org/keywords/information-systems-engineering","display_name":"information systems engineering","score":0.6420000195503235},{"id":"https://openalex.org/keywords/model-abstraction","display_name":"model abstraction","score":0.7789999842643738},{"id":"https://openalex.org/keywords/inconsistency-resolution","display_name":"inconsistency resolution","score":0.9710000157356262},{"id":"https://openalex.org/keywords/model-alignment","display_name":"model alignment","score":0.4410000145435333}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8474743366241455},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.7630289793014526},{"id":"https://openalex.org/C2779662365","wikidata":"https://www.wikidata.org/wiki/Q5416694","display_name":"Event (particle physics)","level":2,"score":0.6967310905456543},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.6625069379806519},{"id":"https://openalex.org/C2776291640","wikidata":"https://www.wikidata.org/wiki/Q2912517","display_name":"Value (mathematics)","level":2,"score":0.4532793462276459},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.40310922265052795},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.38460153341293335},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.16331222653388977},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.08832693099975586},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"pmh:oai:ris.utwente.nl:openaire_cris_publications/2e93f30b-350b-4086-a38e-0df431e1fedc","doi":null,"is_oa":false,"landing_page_url":"https://research.utwente.nl/en/publications/2e93f30b-350b-4086-a38e-0df431e1fedc","pdf_url":null,"source":{"id":"https://openalex.org/S4406922991","display_name":"University of Twente Research Information","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Bodenstaff, L, Wombacher, A & Reichert, M U 2007, On Formal Consistency between Value and Coordination Models. CTIT Technical Report Series, no. TR-CTIT-07-91, Centre for Telematics and Information Technology (CTIT), Enschede.","raw_type":"info:eu-repo/semantics/report"},{"id":"pmh:ut:oai:ris.utwente.nl:publications/2e93f30b-350b-4086-a38e-0df431e1fedc","doi":null,"is_oa":true,"landing_page_url":"https://research.utwente.nl/en/publications/on-formal-consistency-between-value-and-coordination-models(2e93f30b-350b-4086-a38e-0df431e1fedc).html","pdf_url":null,"source":{"id":"https://openalex.org/S4406922991","display_name":"University of Twente Research Information","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/report"},{"id":"mag:1530832151","doi":null,"is_oa":false,"landing_page_url":"http://dbis.eprints.uni-ulm.de/413/1/TR-CTIT-07-91_(Lianne).pdf","pdf_url":null,"source":{"id":"https://openalex.org/S2764572581","display_name":"CTIT technical reports series","issn_l":"1381-3625","issn":["1381-3625"],"is_oa":false,"is_in_doaj":false,"is_core":true,"listed_in":["cwts-core"],"host_organization":"https://openalex.org/P4363603077","host_organization_name":"University of Twente","host_organization_lineage":["https://openalex.org/P4363603077"],"host_organization_lineage_names":["University of Twente"],"type":"journal"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":"CTIT technical report series","raw_type":null}],"best_oa_location":{"id":"pmh:ut:oai:ris.utwente.nl:publications/2e93f30b-350b-4086-a38e-0df431e1fedc","doi":null,"is_oa":true,"landing_page_url":"https://research.utwente.nl/en/publications/on-formal-consistency-between-value-and-coordination-models(2e93f30b-350b-4086-a38e-0df431e1fedc).html","pdf_url":null,"source":{"id":"https://openalex.org/S4406922991","display_name":"University of Twente Research Information","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/report"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":14,"referenced_works":["https://openalex.org/W1509807267","https://openalex.org/W1521211726","https://openalex.org/W1534850333","https://openalex.org/W1577122449","https://openalex.org/W1600126100","https://openalex.org/W1702425856","https://openalex.org/W1872567804","https://openalex.org/W2088383138","https://openalex.org/W2097386277","https://openalex.org/W2125058313","https://openalex.org/W2148398388","https://openalex.org/W2152540926","https://openalex.org/W2156218005","https://openalex.org/W2166546927"],"related_works":["https://openalex.org/W2121918137","https://openalex.org/W2736340410","https://openalex.org/W7096523797","https://openalex.org/W2146218679","https://openalex.org/W2146941138","https://openalex.org/W2114824695","https://openalex.org/W1795586347","https://openalex.org/W2687517380","https://openalex.org/W1873398455","https://openalex.org/W47247082"],"abstract_inverted_index":{"In":[0,13,129],"information":[1],"systems":[2],"(IS)":[3],"engineering":[4],"dierent":[5,89],"techniques":[6],"for":[7,20],"modeling":[8],"inter-organizational":[9,32,41],"collaborations":[10],"are":[11,26,47,86],"applied.":[12],"particular,":[14],"value":[15,137],"models":[16,25,64,85,111,140,151],"estimate":[17],"the":[18,31,38,50,57,62,66,70,96,117,127,173],"profitability":[19],"involved":[21],"stakeholders,":[22],"whereas":[23],"coordination":[24,139],"used":[27],"to":[28,178],"agree":[29],"upon":[30],"processes":[33],"before":[34],"implementing":[35],"them.":[36],"During":[37],"execution":[39],"of":[40,56,61,116,136,163,175],"collaboration,":[42],"in":[43],"addition,":[44],"event":[45,67,97,142,153],"logs":[46,143],"collected":[48,100],"by":[49,88,159],"individual":[51],"organizations":[52],"representing":[53],"another":[54],"view":[55],"IS.":[58],"The":[59],"combination":[60],"two":[63],"and":[65,72,95,141,147,152],"log":[68,98],"represent":[69],"IS":[71],"they":[73],"should":[74],"therefore":[75],"be":[76],"consistent,":[77],"i.e.,":[78,120],"not":[79,105],"contradict":[80],"each":[81],"other.":[82],"Since":[83],"these":[84],"provided":[87],"user":[90],"groups":[91],"during":[92,101],"design":[93],"time":[94],"is":[99,104],"run-time":[102],"consistency":[103],"straight":[106],"forward.":[107],"Inconsistency":[108],"occurs":[109],"when":[110],"contain":[112],"a":[113,123,161],"conflicting":[114,124],"description":[115],"same":[118],"information,":[119],"there":[121],"exists":[122],"overlap":[125],"between":[126,150],"models.":[128],"this":[130,170],"paper":[131],"we":[132],"introduce":[133],"an":[134,164],"abstraction":[135],"models,":[138],"which":[144],"allows":[145,177],"ensuring":[146],"maintaining":[148],"alignment":[149],"log.":[154],"We":[155],"demonstrate":[156],"its":[157],"use":[158],"outlining":[160],"proof":[162],"inconsistency":[165],"resolution":[166],"result":[167],"based":[168,183],"on":[169,184],"abstraction.":[171],"Thus,":[172],"introduction":[174],"abstractions":[176],"explore":[179],"formal":[180],"inter-model":[181],"relations":[182],"consistency.":[185]},"counts_by_year":[{"year":2012,"cited_by_count":1}],"updated_date":"2026-10-31T12:09:11.096373","created_date":"2016-06-24T00:00:00"}