{"id":"https://openalex.org/W3086661184","doi":"https://doi.org/10.1007/978-3-030-59155-7_31","title":"Continuous Formal Verification of Microservice-Based Process Flows","display_name":"Continuous Formal Verification of Microservice-Based Process Flows","publication_year":2020,"publication_date":"2020-01-01","ids":{"openalex":"https://openalex.org/W3086661184","doi":"https://doi.org/10.1007/978-3-030-59155-7_31","mag":"3086661184"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-030-59155-7_31","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-030-59155-7_31","pdf_url":null,"source":{"id":"https://openalex.org/S2764900261","display_name":"Communications in computer and information science","issn_l":"1865-0929","issn":["1865-0929","1865-0937"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Communications in Computer and Information Science","raw_type":"book-chapter"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://link.springer.com/chapter/10.1007/978-3-030-59155-7_31","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5068010595","display_name":"Matteo Camilli","orcid":"https://orcid.org/0000-0003-2491-5267"},"institutions":[{"id":"https://openalex.org/I171543936","display_name":"Free University of Bozen-Bolzano","ror":"https://ror.org/012ajp527","country_code":"IT","type":"education","lineage":["https://openalex.org/I171543936"]}],"countries":["IT"],"is_corresponding":true,"raw_author_name":"Matteo Camilli","raw_affiliation_strings":["Faculty of Computer Science, Free University of Bozen-Bolzano, Bolzano, Italy"],"raw_orcid":"https://orcid.org/0000-0003-2491-5267","affiliations":[{"raw_affiliation_string":"Faculty of Computer Science, Free University of Bozen-Bolzano, Bolzano, Italy","institution_ids":["https://openalex.org/I171543936"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5068010595"],"corresponding_institution_ids":["https://openalex.org/I171543936"],"apc_list":null,"apc_paid":null,"fwci":0.9368,"has_fulltext":false,"cited_by_count":9,"citation_normalized_percentile":{"value":0.70691091,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"420","last_page":"435"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12127","display_name":"Software System Performance and Reliability","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T12127","display_name":"Software System Performance and Reliability","score":0.9998999834060669,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9993000030517578,"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"}},{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9986000061035156,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8197221755981445},{"id":"https://openalex.org/keywords/microservices","display_name":"Microservices","score":0.7504546642303467},{"id":"https://openalex.org/keywords/workflow","display_name":"Workflow","score":0.6901297569274902},{"id":"https://openalex.org/keywords/agile-software-development","display_name":"Agile software development","score":0.6271659135818481},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.5835646986961365},{"id":"https://openalex.org/keywords/orchestration","display_name":"Orchestration","score":0.4834533631801605},{"id":"https://openalex.org/keywords/petri-net","display_name":"Petri net","score":0.4831661581993103},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.4782811105251312},{"id":"https://openalex.org/keywords/architectural-style","display_name":"Architectural style","score":0.4746468663215637},{"id":"https://openalex.org/keywords/cloud-computing","display_name":"Cloud computing","score":0.468158483505249},{"id":"https://openalex.org/keywords/distributed-computing","display_name":"Distributed computing","score":0.44289225339889526},{"id":"https://openalex.org/keywords/architecture","display_name":"Architecture","score":0.31815943121910095},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.2500913143157959},{"id":"https://openalex.org/keywords/operating-system","display_name":"Operating system","score":0.17772892117500305},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.16956186294555664}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8197221755981445},{"id":"https://openalex.org/C2778505942","wikidata":"https://www.wikidata.org/wiki/Q18344624","display_name":"Microservices","level":3,"score":0.7504546642303467},{"id":"https://openalex.org/C177212765","wikidata":"https://www.wikidata.org/wiki/Q627335","display_name":"Workflow","level":2,"score":0.6901297569274902},{"id":"https://openalex.org/C14185376","wikidata":"https://www.wikidata.org/wiki/Q30232","display_name":"Agile software development","level":2,"score":0.6271659135818481},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.5835646986961365},{"id":"https://openalex.org/C199168358","wikidata":"https://www.wikidata.org/wiki/Q3367000","display_name":"Orchestration","level":3,"score":0.4834533631801605},{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.4831661581993103},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.4782811105251312},{"id":"https://openalex.org/C2777364373","wikidata":"https://www.wikidata.org/wiki/Q32880","display_name":"Architectural style","level":3,"score":0.4746468663215637},{"id":"https://openalex.org/C79974875","wikidata":"https://www.wikidata.org/wiki/Q483639","display_name":"Cloud computing","level":2,"score":0.468158483505249},{"id":"https://openalex.org/C120314980","wikidata":"https://www.wikidata.org/wiki/Q180634","display_name":"Distributed computing","level":1,"score":0.44289225339889526},{"id":"https://openalex.org/C123657996","wikidata":"https://www.wikidata.org/wiki/Q12271","display_name":"Architecture","level":2,"score":0.31815943121910095},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.2500913143157959},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.17772892117500305},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.16956186294555664},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.0},{"id":"https://openalex.org/C558565934","wikidata":"https://www.wikidata.org/wiki/Q2743","display_name":"Musical","level":2,"score":0.0},{"id":"https://openalex.org/C153349607","wikidata":"https://www.wikidata.org/wiki/Q36649","display_name":"Visual arts","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1007/978-3-030-59155-7_31","is_oa":false,"landing_page_url":"https://doi.org/10.1007/978-3-030-59155-7_31","pdf_url":null,"source":{"id":"https://openalex.org/S2764900261","display_name":"Communications in computer and information science","issn_l":"1865-0929","issn":["1865-0929","1865-0937"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Communications in Computer and Information Science","raw_type":"book-chapter"},{"id":"pmh:oai:alma.39UBZ_INST:11252344920001241","is_oa":true,"landing_page_url":"https://link.springer.com/chapter/10.1007/978-3-030-59155-7_31","pdf_url":null,"source":{"id":"https://openalex.org/S4210197018","display_name":"View","issn_l":"2688-268X","issn":["2688-268X","2688-3988"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Conference Proceedings"}],"best_oa_location":{"id":"pmh:oai:alma.39UBZ_INST:11252344920001241","is_oa":true,"landing_page_url":"https://link.springer.com/chapter/10.1007/978-3-030-59155-7_31","pdf_url":null,"source":{"id":"https://openalex.org/S4210197018","display_name":"View","issn_l":"2688-268X","issn":["2688-268X","2688-3988"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Conference Proceedings"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/9","display_name":"Industry, innovation and infrastructure","score":0.6100000143051147}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":28,"referenced_works":["https://openalex.org/W1577407625","https://openalex.org/W1594407938","https://openalex.org/W1634168340","https://openalex.org/W1998333922","https://openalex.org/W2036315391","https://openalex.org/W2047276559","https://openalex.org/W2112320167","https://openalex.org/W2114920826","https://openalex.org/W2120601740","https://openalex.org/W2138464849","https://openalex.org/W2144138647","https://openalex.org/W2150220388","https://openalex.org/W2153439859","https://openalex.org/W2166546087","https://openalex.org/W2216194096","https://openalex.org/W2249896101","https://openalex.org/W2296335794","https://openalex.org/W2545041271","https://openalex.org/W2605010764","https://openalex.org/W2785325333","https://openalex.org/W2792133590","https://openalex.org/W2807993512","https://openalex.org/W2963026732","https://openalex.org/W3027604151","https://openalex.org/W3098192673","https://openalex.org/W3148437794","https://openalex.org/W4244757210","https://openalex.org/W6634174841"],"related_works":["https://openalex.org/W2081035100","https://openalex.org/W3206643590","https://openalex.org/W2897326997","https://openalex.org/W4310614846","https://openalex.org/W1964045563","https://openalex.org/W3036432313","https://openalex.org/W2978272227","https://openalex.org/W2405034006","https://openalex.org/W2899407724","https://openalex.org/W2031725441"],"abstract_inverted_index":null,"counts_by_year":[{"year":2026,"cited_by_count":2},{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":2}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2025-10-10T00:00:00"}