{"id":"https://openalex.org/W2803037814","doi":"https://doi.org/10.1109/scc.2018.00013","title":"Towards Executable Specifications for Microservices","display_name":"Towards Executable Specifications for Microservices","publication_year":2018,"publication_date":"2018-07-01","ids":{"openalex":"https://openalex.org/W2803037814","doi":"https://doi.org/10.1109/scc.2018.00013","mag":"2803037814"},"language":"en","primary_location":{"id":"doi:10.1109/scc.2018.00013","doi":"https://doi.org/10.1109/scc.2018.00013","is_oa":false,"landing_page_url":"https://doi.org/10.1109/scc.2018.00013","pdf_url":null,"source":{"id":"https://openalex.org/S4306418716","display_name":"IEEE International Conference on Services Computing","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":"2018 IEEE International Conference on Services Computing (SCC)","raw_type":"proceedings-article"},"volume":null,"type":"conference-paper","is_traditional":true,"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/A5075634036","display_name":"Jos\u00e9 Ghislain Quenum","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I101993903","display_name":"Namibia University of Science and Technology","ror":"https://ror.org/03gg1ey66","country_code":"NA","type":"education","lineage":["https://openalex.org/I101993903"]}],"countries":["NA"],"is_corresponding":false,"raw_author_name":"Jose G. Quenum","raw_affiliation_strings":["Namibia University of Science and Technology Windhoek, Namibia"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Namibia University of Science and Technology Windhoek, Namibia","institution_ids":["https://openalex.org/I101993903"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5109182091","display_name":"Samir Aknine","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I100532134","display_name":"Lyon 1 Universit\u00e9","ror":"https://ror.org/029brtt94","country_code":"FR","type":"education","lineage":["https://openalex.org/I100532134","https://openalex.org/I203339264"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Samir Aknine","raw_affiliation_strings":["Universit\u00e9 Claude Bernard Lyon 1, Lyon, France"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universit\u00e9 Claude Bernard Lyon 1, Lyon, France","institution_ids":["https://openalex.org/I100532134"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.6844,"has_fulltext":false,"cited_by_count":12,"citation_normalized_percentile":{"value":0.64179104,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":88,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"41","last_page":"48"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.7896000146865845,"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"}},"topics":[{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.7896000146865845,"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/T12127","display_name":"Software System Performance and Reliability","score":0.15610000491142273,"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.028999999165534973,"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/microservices","display_name":"microservices","score":0.9980000257492065},{"id":"https://openalex.org/keywords/test-automation","display_name":"test automation","score":0.9559999704360962},{"id":"https://openalex.org/keywords/executable-specifications","display_name":"executable specifications","score":0.7229999899864197},{"id":"https://openalex.org/keywords/formal-specification","display_name":"formal specification","score":0.8759999871253967},{"id":"https://openalex.org/keywords/acceptance-testing","display_name":"acceptance testing","score":0.7919999957084656},{"id":"https://openalex.org/keywords/intelligent-agents","display_name":"intelligent agents","score":0.9610000252723694},{"id":"https://openalex.org/keywords/agent-oriented-software-engineering","display_name":"agent-oriented software engineering","score":0.7429999709129333},{"id":"https://openalex.org/keywords/specification-based-testing","display_name":"specification-based testing","score":0.597000002861023},{"id":"https://openalex.org/keywords/service-oriented-architecture","display_name":"service-oriented architecture","score":0.33399999141693115}],"concepts":[{"id":"https://openalex.org/C2778505942","wikidata":"https://www.wikidata.org/wiki/Q18344624","display_name":"Microservices","level":3,"score":0.8141210675239563},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7768542766571045},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.6514895558357239},{"id":"https://openalex.org/C14185376","wikidata":"https://www.wikidata.org/wiki/Q30232","display_name":"Agile software development","level":2,"score":0.596981406211853},{"id":"https://openalex.org/C2777364373","wikidata":"https://www.wikidata.org/wiki/Q32880","display_name":"Architectural style","level":3,"score":0.5506731867790222},{"id":"https://openalex.org/C160145156","wikidata":"https://www.wikidata.org/wiki/Q778586","display_name":"Executable","level":2,"score":0.5338493585586548},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.522087037563324},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.4602339267730713},{"id":"https://openalex.org/C148027188","wikidata":"https://www.wikidata.org/wiki/Q907375","display_name":"Unit testing","level":3,"score":0.44111597537994385},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.4317231774330139},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.3499031662940979},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.30684036016464233},{"id":"https://openalex.org/C123657996","wikidata":"https://www.wikidata.org/wiki/Q12271","display_name":"Architecture","level":2,"score":0.17990592122077942},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.1166156530380249},{"id":"https://openalex.org/C79974875","wikidata":"https://www.wikidata.org/wiki/Q483639","display_name":"Cloud computing","level":2,"score":0.11621809005737305},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"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.1109/scc.2018.00013","doi":"https://doi.org/10.1109/scc.2018.00013","is_oa":false,"landing_page_url":"https://doi.org/10.1109/scc.2018.00013","pdf_url":null,"source":{"id":"https://openalex.org/S4306418716","display_name":"IEEE International Conference on Services Computing","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":"2018 IEEE International Conference on Services Computing (SCC)","raw_type":"proceedings-article"},{"id":"pmh:oai:HAL:hal-01773969v1","doi":null,"is_oa":false,"landing_page_url":"https://hal.science/hal-01773969","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I4405252976","host_organization_name":"Centre pour la Communication Scientifique Directe","host_organization_lineage":["https://openalex.org/I4405252976"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"IEEE International Conference on Services Computing, SCC, 2018, San Francisco, United States. pp.41-48","raw_type":"info:eu-repo/semantics/conferenceObject"}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":31,"referenced_works":["https://openalex.org/W1556082038","https://openalex.org/W1556261887","https://openalex.org/W1564503583","https://openalex.org/W1606339846","https://openalex.org/W1964839117","https://openalex.org/W1973938051","https://openalex.org/W2022842686","https://openalex.org/W2063047811","https://openalex.org/W2072794470","https://openalex.org/W2103739844","https://openalex.org/W2104594675","https://openalex.org/W2121196188","https://openalex.org/W2145742469","https://openalex.org/W2154652861","https://openalex.org/W2270216281","https://openalex.org/W2320059906","https://openalex.org/W2435238065","https://openalex.org/W2439511445","https://openalex.org/W2548092361","https://openalex.org/W2554214302","https://openalex.org/W2606615959","https://openalex.org/W2733611699","https://openalex.org/W2736340806","https://openalex.org/W2914775513","https://openalex.org/W2963026732","https://openalex.org/W2964062812","https://openalex.org/W3139053720","https://openalex.org/W3215967691","https://openalex.org/W4254486023","https://openalex.org/W4256363426","https://openalex.org/W6804496974"],"related_works":["https://openalex.org/W2084595058","https://openalex.org/W7133267422","https://openalex.org/W4416151376","https://openalex.org/W2559858909","https://openalex.org/W3024420134","https://openalex.org/W2588873424","https://openalex.org/W6999017659","https://openalex.org/W6983167201","https://openalex.org/W2969043879","https://openalex.org/W2061326960"],"abstract_inverted_index":{"This":[0],"paper":[1],"presents":[2],"an":[3,29,53],"empirical":[4],"approach":[5,54],"for":[6],"microservice":[7,107,154],"automated":[8,17,155],"testing.":[9,156],"With":[10],"the":[11,14,33,40,44,57,60,64,67,74,79,83,98,110],"rise":[12],"of":[13,43,66,82,101,106,113,121],"agile":[15],"methodology,":[16],"testing":[18],"has":[19],"gained":[20],"momentum":[21],"in":[22,73],"software":[23,124],"development,":[24],"including":[25],"using":[26],"microservices":[27],"as":[28,92,122],"architectural":[30],"style.":[31],"However,":[32],"tests":[34],"are":[35],"not":[36],"always":[37],"related":[38],"to":[39,55,96,153],"core":[41],"specifications":[42,65,81,100,149],"system":[45],"being":[46],"developed.":[47],"In":[48],"this":[49,86],"paper,":[50],"we":[51,76,88,144],"discuss":[52],"derive":[56],"tests,":[58,62],"especially":[59],"acceptance":[61],"from":[63],"systems.":[68],"To":[69,85],"avoid":[70],"any":[71],"ambiguity":[72],"specifications,":[75],"focus":[77],"on":[78],"formal":[80,99,148],"system.":[84],"end,":[87],"introduce":[89],"intelligent":[90],"agents":[91,114],"a":[93,104,132,141],"conceptual":[94],"unit":[95],"encapsulate":[97],"services.":[102],"Indeed,":[103],"comparison":[105],"tenets":[108],"and":[109,129,135],"general":[111],"characterization":[112],"reveals":[115],"that":[116],"both":[117],"can":[118,150],"be":[119,151],"thought":[120],"autonomous":[123],"entities,":[125],"driven":[126],"by":[127],"goals":[128],"evolving":[130],"within":[131],"distributed":[133],"environment":[134],"communicating":[136],"with":[137],"one":[138],"another.":[139],"Using":[140],"real-world":[142],"application":[143],"show":[145],"how":[146],"agent":[147],"linked":[152]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":2},{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":3},{"year":2021,"cited_by_count":3},{"year":2020,"cited_by_count":1}],"updated_date":"2026-11-07T11:25:07.637180","created_date":"2018-05-17T00:00:00"}