{"id":"https://openalex.org/W2581405866","doi":"https://doi.org/10.3233/sw-170262","title":"ServLog: A unifying logical framework for service modeling and contracting","display_name":"ServLog: A unifying logical framework for service modeling and contracting","publication_year":2017,"publication_date":"2017-01-27","ids":{"openalex":"https://openalex.org/W2581405866","doi":"https://doi.org/10.3233/sw-170262","mag":"2581405866"},"language":"en","primary_location":{"id":"doi:10.3233/sw-170262","is_oa":false,"landing_page_url":"https://doi.org/10.3233/sw-170262","pdf_url":null,"source":{"id":"https://openalex.org/S4210177235","display_name":"Semantic Web","issn_l":"1570-0844","issn":["1570-0844","2210-4968"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310318577","host_organization_name":"IOS Press","host_organization_lineage":["https://openalex.org/P4310318577"],"host_organization_lineage_names":["IOS Press"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Semantic Web","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5016864296","display_name":"Dumitru Roman","orcid":"https://orcid.org/0000-0001-6397-3705"},"institutions":[{"id":"https://openalex.org/I173888879","display_name":"SINTEF","ror":"https://ror.org/01f677e56","country_code":"NO","type":"facility","lineage":["https://openalex.org/I173888879"]}],"countries":["NO"],"is_corresponding":true,"raw_author_name":"Dumitru Roman","raw_affiliation_strings":["SINTEF, Forskningsveien 1, 0314 Oslo, Norway. E-mail:\u00a0dumitru.roman@sintef.no"],"affiliations":[{"raw_affiliation_string":"SINTEF, Forskningsveien 1, 0314 Oslo, Norway. E-mail:\u00a0dumitru.roman@sintef.no","institution_ids":["https://openalex.org/I173888879"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5059918476","display_name":"Michael Kifer","orcid":"https://orcid.org/0000-0003-3177-5792"},"institutions":[{"id":"https://openalex.org/I59553526","display_name":"Stony Brook University","ror":"https://ror.org/05qghxh33","country_code":"US","type":"education","lineage":["https://openalex.org/I59553526"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Michael Kifer","raw_affiliation_strings":["Stony Brook University, Stony Brook, NY 11794-2424, USA. E-mail:\u00a0kifer@cs.stonybrook.edu"],"affiliations":[{"raw_affiliation_string":"Stony Brook University, Stony Brook, NY 11794-2424, USA. E-mail:\u00a0kifer@cs.stonybrook.edu","institution_ids":["https://openalex.org/I59553526"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5016864296"],"corresponding_institution_ids":["https://openalex.org/I173888879"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.00984749,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"9","issue":"2","first_page":"257","last_page":"290"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10679","display_name":"Service-Oriented Architecture and Web Services","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10679","display_name":"Service-Oriented Architecture and Web Services","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/T10703","display_name":"Business Process Modeling and Analysis","score":0.9980000257492065,"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9969000220298767,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8052995204925537},{"id":"https://openalex.org/keywords/executable","display_name":"Executable","score":0.592216432094574},{"id":"https://openalex.org/keywords/web-service","display_name":"Web service","score":0.5661094188690186},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.5565268993377686},{"id":"https://openalex.org/keywords/service","display_name":"Service (business)","score":0.5440459251403809},{"id":"https://openalex.org/keywords/business-process-execution-language","display_name":"Business Process Execution Language","score":0.5150396823883057},{"id":"https://openalex.org/keywords/service-provider","display_name":"Service provider","score":0.47242271900177},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.3410276472568512},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.334882527589798},{"id":"https://openalex.org/keywords/service-oriented-architecture","display_name":"Service-oriented architecture","score":0.3269037902355194}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8052995204925537},{"id":"https://openalex.org/C160145156","wikidata":"https://www.wikidata.org/wiki/Q778586","display_name":"Executable","level":2,"score":0.592216432094574},{"id":"https://openalex.org/C35578498","wikidata":"https://www.wikidata.org/wiki/Q193424","display_name":"Web service","level":2,"score":0.5661094188690186},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.5565268993377686},{"id":"https://openalex.org/C2780378061","wikidata":"https://www.wikidata.org/wiki/Q25351891","display_name":"Service (business)","level":2,"score":0.5440459251403809},{"id":"https://openalex.org/C4927394","wikidata":"https://www.wikidata.org/wiki/Q787631","display_name":"Business Process Execution Language","level":4,"score":0.5150396823883057},{"id":"https://openalex.org/C116537","wikidata":"https://www.wikidata.org/wiki/Q2169973","display_name":"Service provider","level":3,"score":0.47242271900177},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.3410276472568512},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.334882527589798},{"id":"https://openalex.org/C57041688","wikidata":"https://www.wikidata.org/wiki/Q220644","display_name":"Service-oriented architecture","level":3,"score":0.3269037902355194},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C136264566","wikidata":"https://www.wikidata.org/wiki/Q159810","display_name":"Economy","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.3233/sw-170262","is_oa":false,"landing_page_url":"https://doi.org/10.3233/sw-170262","pdf_url":null,"source":{"id":"https://openalex.org/S4210177235","display_name":"Semantic Web","issn_l":"1570-0844","issn":["1570-0844","2210-4968"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310318577","host_organization_name":"IOS Press","host_organization_lineage":["https://openalex.org/P4310318577"],"host_organization_lineage_names":["IOS Press"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Semantic Web","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":45,"referenced_works":["https://openalex.org/W4993390","https://openalex.org/W83447915","https://openalex.org/W172959108","https://openalex.org/W1483048837","https://openalex.org/W1511214424","https://openalex.org/W1544276271","https://openalex.org/W1556177080","https://openalex.org/W1557658075","https://openalex.org/W1584406589","https://openalex.org/W1598166047","https://openalex.org/W1714132059","https://openalex.org/W1901150973","https://openalex.org/W1978592561","https://openalex.org/W1985455954","https://openalex.org/W1988615847","https://openalex.org/W1994582486","https://openalex.org/W1995080554","https://openalex.org/W1996497597","https://openalex.org/W1998925362","https://openalex.org/W2002333089","https://openalex.org/W2013484127","https://openalex.org/W2017501006","https://openalex.org/W2019395483","https://openalex.org/W2022078754","https://openalex.org/W2029133737","https://openalex.org/W2066664947","https://openalex.org/W2072445657","https://openalex.org/W2075536383","https://openalex.org/W2087122799","https://openalex.org/W2101107197","https://openalex.org/W2108170124","https://openalex.org/W2113540078","https://openalex.org/W2123423186","https://openalex.org/W2136465704","https://openalex.org/W2144883403","https://openalex.org/W2157418168","https://openalex.org/W2159135872","https://openalex.org/W2159246774","https://openalex.org/W2399990769","https://openalex.org/W2476536548","https://openalex.org/W4250517640","https://openalex.org/W4285719527","https://openalex.org/W4406855331","https://openalex.org/W6604261952","https://openalex.org/W6635920379"],"related_works":["https://openalex.org/W4247445481","https://openalex.org/W1596547404","https://openalex.org/W2002233526","https://openalex.org/W2129443448","https://openalex.org/W2105639424","https://openalex.org/W2136521909","https://openalex.org/W4233877817","https://openalex.org/W2134588905","https://openalex.org/W2109480844","https://openalex.org/W2051680324"],"abstract_inverted_index":{"Implementing":[0],"semantics-aware":[1],"services,":[2,7,167],"which":[3,93],"includes":[4],"semantic":[5],"Web":[6,77],"requires":[8],"novel":[9,99],"techniques":[10,100],"for":[11,20,30,40,87,101,172],"modeling":[12,102,122],"and":[13,25,34,49,60,91,103,133,164,168],"analysis.":[14],"The":[15],"problems":[16,54,69],"include":[17],"automated":[18,31],"support":[19,29],"service":[21,32,44,50,88,106,180],"discovery,":[22],"selection,":[23],"negotiation,":[24],"composition.":[26],"In":[27,79],"addition,":[28],"contracting":[33],"contrac":[35],"t":[36],"execution":[37],"is":[38],"crucial":[39],"any":[41],"large":[42],"scale":[43],"environment":[45],"where":[46],"multiple":[47],"clients":[48],"providers":[51],"interact.":[52],"Many":[53],"in":[55,72,136,150],"this":[56,80,116],"area":[57],"involve":[58],"reasoning,":[59,92],"a":[61,170],"number":[62],"of":[63,75,111,124,139,175],"logic-based":[64],"methods":[65],"to":[66],"handle":[67],"these":[68],"have":[70],"emerged":[71],"the":[73,109,121,125,137],"field":[74],"Semantic":[76],"Services.":[78],"paper,":[81],"we":[82,94,118],"lay":[83],"down":[84],"theoretical":[85],"foundations":[86],"modeling,":[89],"contracting,":[90],"call":[95],"ServLog,":[96],"by":[97,128],"developing":[98],"reasoning":[104,165],"about":[105,166],"contracts":[107],"with":[108],"help":[110],"Concurrent":[112],"Transaction":[113],"Logic.":[114],"With":[115],"framework,":[117],"significantly":[119],"extend":[120],"power":[123],"previous":[126],"work":[127],"allowing":[129],"expressive":[130],"data":[131],"constraints":[132],"iterative":[134],"processes":[135,178],"specification":[138,163],"services.":[140],"This":[141],"approach":[142],"not":[143],"only":[144],"captures":[145],"typical":[146],"procedural":[147],"constructs":[148],"found":[149],"established":[151],"business":[152,177],"process":[153],"languages,":[154],"but":[155],"also":[156],"greatly":[157],"extends":[158],"their":[159],"functionality,":[160],"enables":[161],"declarative":[162],"opens":[169],"way":[171],"automatic":[173],"generation":[174],"executable":[176],"from":[179],"contracts.":[181]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}