{"id":"https://openalex.org/W2071069265","doi":"https://doi.org/10.1109/edocw.2008.28","title":"Declarative Specification and Alignment Verification of Services in ITIL","display_name":"Declarative Specification and Alignment Verification of Services in ITIL","publication_year":2008,"publication_date":"2008-09-01","ids":{"openalex":"https://openalex.org/W2071069265","doi":"https://doi.org/10.1109/edocw.2008.28","mag":"2071069265"},"language":"en","primary_location":{"id":"doi:10.1109/edocw.2008.28","doi":"https://doi.org/10.1109/edocw.2008.28","is_oa":false,"landing_page_url":"https://doi.org/10.1109/edocw.2008.28","pdf_url":null,"source":{"id":"https://openalex.org/S7407087000","display_name":"IEEE International Enterprise Distributed Object Computing Conference Workshops (EDOCW)","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":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2008 12th Enterprise Distributed Object Computing Conference Workshops","raw_type":"proceedings-article"},"volume":null,"type":"conference-paper","is_traditional":true,"indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"http://infoscience.epfl.ch/record/126296","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5042830486","display_name":"Irina Rychkova","orcid":"https://orcid.org/0000-0002-1100-0116","observed_orcids":["https://orcid.org/0000-0002-1100-0116"]},"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":"Irina Rychkova","raw_affiliation_strings":["School of Communication and Computer Science, Ecole Polytechnique F\u00e9d\u00e9rale de Lausanne, Lausanne, Switzerland","Sch. of Commun. & Comput. Sci., Ecole Poly Tech. Fed. de Lausanne, Lausanne"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Communication and Computer Science, Ecole Polytechnique F\u00e9d\u00e9rale de Lausanne, Lausanne, Switzerland","institution_ids":["https://openalex.org/I5124864"]},{"raw_affiliation_string":"Sch. of Commun. & Comput. Sci., Ecole Poly Tech. Fed. de Lausanne, Lausanne","institution_ids":["https://openalex.org/I5124864"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5016476825","display_name":"Gil Regev","orcid":"https://orcid.org/0000-0002-9154-3320","observed_orcids":["https://orcid.org/0000-0002-9154-3320"]},"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":"Gil Regev","raw_affiliation_strings":["School of Communication and Computer Science, Ecole Polytechnique F\u00e9d\u00e9rale de Lausanne, Lausanne, Switzerland","Sch. of Commun. & Comput. Sci., Ecole Poly Tech. Fed. de Lausanne, Lausanne"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Communication and Computer Science, Ecole Polytechnique F\u00e9d\u00e9rale de Lausanne, Lausanne, Switzerland","institution_ids":["https://openalex.org/I5124864"]},{"raw_affiliation_string":"Sch. of Commun. & Comput. Sci., Ecole Poly Tech. Fed. de Lausanne, Lausanne","institution_ids":["https://openalex.org/I5124864"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5062546471","display_name":"Alain Wegmann A","orcid":"https://orcid.org/0000-0002-8847-0191","observed_orcids":["https://orcid.org/0000-0002-8847-0191"]},"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":"Alain Wegmann","raw_affiliation_strings":["School of Communication and Computer Science, Ecole Polytechnique F\u00e9d\u00e9rale de Lausanne, Lausanne, Switzerland","Sch. of Commun. & Comput. Sci., Ecole Poly Tech. Fed. de Lausanne, Lausanne"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"School of Communication and Computer Science, Ecole Polytechnique F\u00e9d\u00e9rale de Lausanne, Lausanne, Switzerland","institution_ids":["https://openalex.org/I5124864"]},{"raw_affiliation_string":"Sch. of Commun. & Comput. Sci., Ecole Poly Tech. Fed. de Lausanne, Lausanne","institution_ids":["https://openalex.org/I5124864"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I5124864"],"apc_list":null,"apc_paid":null,"fwci":2.7361,"has_fulltext":false,"cited_by_count":14,"citation_normalized_percentile":{"value":0.90036014,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":88,"max":95},"biblio":{"volume":"20","issue":null,"first_page":"127","last_page":"134"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11572","display_name":"Information Technology Governance and Strategy","score":0.25270000100135803,"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/T11572","display_name":"Information Technology Governance and Strategy","score":0.25270000100135803,"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.2467000037431717,"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/T10142","display_name":"Formal Methods in Verification","score":0.16329999268054962,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/itil","display_name":"ITIL","score":0.9739999771118164},{"id":"https://openalex.org/keywords/it-service-management","display_name":"IT service management","score":0.8159999847412109},{"id":"https://openalex.org/keywords/declarative-specification","display_name":"declarative specification","score":0.753000020980835},{"id":"https://openalex.org/keywords/alloy-analyzer","display_name":"Alloy Analyzer","score":0.9800000190734863},{"id":"https://openalex.org/keywords/first-order-logic","display_name":"first-order logic","score":0.9760000109672546},{"id":"https://openalex.org/keywords/service-level-agreements","display_name":"service level agreements","score":0.5960000157356262},{"id":"https://openalex.org/keywords/automated-verification","display_name":"automated verification","score":0.5450000166893005}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7637438774108887},{"id":"https://openalex.org/C201359696","wikidata":"https://www.wikidata.org/wiki/Q152361","display_name":"Information Technology Infrastructure Library","level":3,"score":0.6718922257423401},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.5337413549423218},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.49522915482521057},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.44867420196533203},{"id":"https://openalex.org/C2780378061","wikidata":"https://www.wikidata.org/wiki/Q25351891","display_name":"Service (business)","level":2,"score":0.4436303377151489},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.33740222454071045},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.09253513813018799},{"id":"https://openalex.org/C136264566","wikidata":"https://www.wikidata.org/wiki/Q159810","display_name":"Economy","level":1,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C121017731","wikidata":"https://www.wikidata.org/wiki/Q11661","display_name":"Information technology","level":2,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1109/edocw.2008.28","doi":"https://doi.org/10.1109/edocw.2008.28","is_oa":false,"landing_page_url":"https://doi.org/10.1109/edocw.2008.28","pdf_url":null,"source":{"id":"https://openalex.org/S7407087000","display_name":"IEEE International Enterprise Distributed Object Computing Conference Workshops (EDOCW)","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":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2008 12th Enterprise Distributed Object Computing Conference Workshops","raw_type":"proceedings-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.482.9024","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.482.9024","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://infoscience.epfl.ch/record/129324/files/Rychkova_et_al-Declarative_process-DDBP2008.pdf","raw_type":"text"},{"id":"pmh:oai:infoscience.epfl.ch:126296","doi":null,"is_oa":true,"landing_page_url":"http://infoscience.epfl.ch/record/126296","pdf_url":null,"source":{"id":"https://openalex.org/S4306400487","display_name":"Infoscience (Ecole Polytechnique F\u00e9d\u00e9rale de Lausanne)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I5124864","host_organization_name":"\u00c9cole Polytechnique F\u00e9d\u00e9rale de Lausanne","host_organization_lineage":["https://openalex.org/I5124864"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Text"},{"id":"pmh:oai:infoscience.tind.io:126296","doi":null,"is_oa":true,"landing_page_url":"https://infoscience.epfl.ch/handle/20.500.14299/27766","pdf_url":null,"source":{"id":"https://openalex.org/S4306400487","display_name":"Infoscience (Ecole Polytechnique F\u00e9d\u00e9rale de Lausanne)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I5124864","host_organization_name":"\u00c9cole Polytechnique F\u00e9d\u00e9rale de Lausanne","host_organization_lineage":["https://openalex.org/I5124864"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"conference proceedings"}],"best_oa_location":{"id":"pmh:oai:infoscience.epfl.ch:126296","doi":null,"is_oa":true,"landing_page_url":"http://infoscience.epfl.ch/record/126296","pdf_url":null,"source":{"id":"https://openalex.org/S4306400487","display_name":"Infoscience (Ecole Polytechnique F\u00e9d\u00e9rale de Lausanne)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I5124864","host_organization_name":"\u00c9cole Polytechnique F\u00e9d\u00e9rale de Lausanne","host_organization_lineage":["https://openalex.org/I5124864"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Text"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":27,"referenced_works":["https://openalex.org/W68069235","https://openalex.org/W118082669","https://openalex.org/W1521083034","https://openalex.org/W1553127547","https://openalex.org/W1572578464","https://openalex.org/W1577384748","https://openalex.org/W1577749172","https://openalex.org/W1581623080","https://openalex.org/W1586167239","https://openalex.org/W1606843890","https://openalex.org/W1895387792","https://openalex.org/W1943502734","https://openalex.org/W1975635121","https://openalex.org/W2017739343","https://openalex.org/W2026519310","https://openalex.org/W2041617655","https://openalex.org/W2103301697","https://openalex.org/W2105145013","https://openalex.org/W2117189826","https://openalex.org/W2117879955","https://openalex.org/W2124873137","https://openalex.org/W2144973245","https://openalex.org/W2328819335","https://openalex.org/W2607631107","https://openalex.org/W2987977008","https://openalex.org/W4297982464","https://openalex.org/W6636034737"],"related_works":["https://openalex.org/W1960055528","https://openalex.org/W2039140647","https://openalex.org/W2142688848","https://openalex.org/W2762696511","https://openalex.org/W7098770985","https://openalex.org/W2889840525","https://openalex.org/W7099201812","https://openalex.org/W95466367","https://openalex.org/W3141090108","https://openalex.org/W7097904391"],"abstract_inverted_index":{"IT":[0,12],"organizations":[1],"that":[2],"wish":[3],"to":[4,17,24,31,57],"implement":[5],"the":[6,11,19,59,62,65,87,92,101],"best":[7],"practices":[8],"recommended":[9],"by":[10],"Infrastructure":[13],"Library":[14],"(ITIL)":[15],"need":[16],"specify":[18],"level":[20],"of":[21,44,47,103],"service":[22,29,107],"provided":[23],"their":[25,48],"customers.":[26],"The":[27,81,96],"implemented":[28],"needs":[30],"comply":[32],"with":[33,100],"this":[34],"specification.":[35],"We":[36],"propose":[37],"a":[38,104,110],"method":[39,68,97],"for":[40,78],"describing":[41],"declarative":[42],"specifications":[43,52],"services,":[45],"and":[46,64,74,91],"planned":[49],"constructions.":[50],"These":[51],"can":[53],"then":[54],"be":[55],"used":[56],"verify":[58],"alignment":[60,79,82],"between":[61],"specification":[63,89],"construction.":[66],"This":[67],"is":[69,84,98],"based":[70],"on":[71,75],"first-order":[72],"logic":[73],"refinement":[76],"theory":[77],"verification.":[80],"verification":[83],"automated":[85],"using":[86],"Alloy":[88,93],"language":[90],"Analyzer":[94],"tool.":[95],"illustrated":[99],"example":[102],"utility":[105],"emergency":[106],"inspired":[108],"from":[109],"real":[111],"project.":[112]},"counts_by_year":[{"year":2017,"cited_by_count":1},{"year":2015,"cited_by_count":2},{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":2}],"updated_date":"2026-10-26T11:51:55.731654","created_date":"2016-06-24T00:00:00"}