{"id":"https://openalex.org/W2167728668","doi":"https://doi.org/10.1109/csmr.2003.1192411","title":"Web applications design and maintenance using symbolic model checking","display_name":"Web applications design and maintenance using symbolic model checking","publication_year":2003,"publication_date":"2003-12-08","ids":{"openalex":"https://openalex.org/W2167728668","doi":"https://doi.org/10.1109/csmr.2003.1192411","mag":"2167728668"},"language":"en","primary_location":{"id":"doi:10.1109/csmr.2003.1192411","is_oa":false,"landing_page_url":"https://doi.org/10.1109/csmr.2003.1192411","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Seventh European Conference onSoftware Maintenance and Reengineering, 2003. Proceedings.","raw_type":"proceedings-article"},"type":"conference-paper","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/A5051474976","display_name":"Eugenio Di Sciascio","orcid":"https://orcid.org/0000-0002-5484-9945"},"institutions":[{"id":"https://openalex.org/I68618741","display_name":"Polytechnic University of Bari","ror":"https://ror.org/03c44v465","country_code":"IT","type":"education","lineage":["https://openalex.org/I68618741"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"E. Di Sciascio","raw_affiliation_strings":["Dipartimento di Elettrotecnica ed Eletronica, Politecnico di Bari, Bari, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Dipartimento di Elettrotecnica ed Eletronica, Politecnico di Bari, Bari, Italy","institution_ids":["https://openalex.org/I68618741"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5106466740","display_name":"Francesco M. Donini","orcid":"https://orcid.org/0000-0003-0284-9625"},"institutions":[{"id":"https://openalex.org/I68618741","display_name":"Polytechnic University of Bari","ror":"https://ror.org/03c44v465","country_code":"IT","type":"education","lineage":["https://openalex.org/I68618741"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"F.M. Donini","raw_affiliation_strings":["Dipartimento di Elettrotecnica ed Eletronica, Politecnico di Bari, Bari, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Dipartimento di Elettrotecnica ed Eletronica, Politecnico di Bari, Bari, Italy","institution_ids":["https://openalex.org/I68618741"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5059683769","display_name":"Marina Mongiello","orcid":"https://orcid.org/0000-0002-1477-1434"},"institutions":[{"id":"https://openalex.org/I68618741","display_name":"Polytechnic University of Bari","ror":"https://ror.org/03c44v465","country_code":"IT","type":"education","lineage":["https://openalex.org/I68618741"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"M. Mongiello","raw_affiliation_strings":["Dipartimento di Elettrotecnica ed Eletronica, Politecnico di Bari, Bari, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Dipartimento di Elettrotecnica ed Eletronica, Politecnico di Bari, Bari, Italy","institution_ids":["https://openalex.org/I68618741"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5110453923","display_name":"G. Piscitelli","orcid":null},"institutions":[{"id":"https://openalex.org/I68618741","display_name":"Polytechnic University of Bari","ror":"https://ror.org/03c44v465","country_code":"IT","type":"education","lineage":["https://openalex.org/I68618741"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"G. Piscitelli","raw_affiliation_strings":["Dipartimento di Elettrotecnica ed Eletronica, Politecnico di Bari, Bari, Italy"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Dipartimento di Elettrotecnica ed Eletronica, Politecnico di Bari, Bari, Italy","institution_ids":["https://openalex.org/I68618741"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I68618741"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":42,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"63","last_page":"72"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12601","display_name":"Web Applications and Data Management","score":0.9987999796867371,"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/T12601","display_name":"Web Applications and Data Management","score":0.9987999796867371,"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9983999729156494,"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/T10679","display_name":"Service-Oriented Architecture and Web Services","score":0.9980000257492065,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8384566903114319},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.8018701076507568},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.7051301002502441},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6825594902038574},{"id":"https://openalex.org/keywords/computation-tree-logic","display_name":"Computation tree logic","score":0.5994248986244202},{"id":"https://openalex.org/keywords/web-application","display_name":"Web application","score":0.5216044187545776},{"id":"https://openalex.org/keywords/symbolic-trajectory-evaluation","display_name":"Symbolic trajectory evaluation","score":0.4362068772315979},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.3723924160003662},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.35727906227111816},{"id":"https://openalex.org/keywords/world-wide-web","display_name":"World Wide Web","score":0.2379131317138672}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8384566903114319},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.8018701076507568},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.7051301002502441},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6825594902038574},{"id":"https://openalex.org/C198008173","wikidata":"https://www.wikidata.org/wiki/Q1040040","display_name":"Computation tree logic","level":3,"score":0.5994248986244202},{"id":"https://openalex.org/C118643609","wikidata":"https://www.wikidata.org/wiki/Q189210","display_name":"Web application","level":2,"score":0.5216044187545776},{"id":"https://openalex.org/C23123167","wikidata":"https://www.wikidata.org/wiki/Q7661193","display_name":"Symbolic trajectory evaluation","level":3,"score":0.4362068772315979},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.3723924160003662},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.35727906227111816},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.2379131317138672}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/csmr.2003.1192411","is_oa":false,"landing_page_url":"https://doi.org/10.1109/csmr.2003.1192411","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Seventh European Conference onSoftware Maintenance and Reengineering, 2003. Proceedings.","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":18,"referenced_works":["https://openalex.org/W20002329","https://openalex.org/W953200356","https://openalex.org/W1516505746","https://openalex.org/W1574030932","https://openalex.org/W1647641001","https://openalex.org/W1867470310","https://openalex.org/W1989591429","https://openalex.org/W1996832037","https://openalex.org/W2020762806","https://openalex.org/W2048779903","https://openalex.org/W2072881690","https://openalex.org/W2086099967","https://openalex.org/W2101423475","https://openalex.org/W2107865429","https://openalex.org/W2340735175","https://openalex.org/W2913459036","https://openalex.org/W4247316974","https://openalex.org/W6634374009"],"related_works":["https://openalex.org/W2354386485","https://openalex.org/W120135115","https://openalex.org/W2038864046","https://openalex.org/W2357906634","https://openalex.org/W2362871145","https://openalex.org/W1548402307","https://openalex.org/W562266047","https://openalex.org/W1844279739","https://openalex.org/W2114309568","https://openalex.org/W4237211669"],"abstract_inverted_index":{"We":[0],"present":[1],"an":[2],"approach":[3,18,60],"to":[4,36,52,56,67,84],"automatic":[5,69],"checking":[6,24],"of":[7,10,40,74,97,116],"the":[8,20,27,34,38,54,72,80,93,101,109,112],"correctness":[9],"Web":[11,75,117,133],"applications":[12],"structure":[13],"during":[14],"their":[15],"lifecycle.":[16],"The":[17,59,77],"adopts":[19],"well-established":[21],"symbolic":[22],"model":[23,39,82,96,102],"technique":[25],"and":[26],"associated":[28],"tool":[29,66],"SMV.":[30],"A":[31],"formalism":[32],"allows":[33],"designer":[35],"describe":[37],"a":[41,65,98,128],"Web-based":[42],"system.":[43],"Computation":[44],"Tree":[45],"Logic":[46],"(CTL)":[47],"is":[48,88],"adopted":[49],"as":[50],"language":[51],"define":[53],"properties":[55,139],"be":[57],"verified.":[58],"has":[61],"been":[62],"implemented":[63],"in":[64,71,100,140],"provide":[68],"support":[70],"design":[73],"applications.":[76],"system":[78,110],"embeds":[79],"NuSMV":[81],"checker":[83,103],"perform":[85],"verification.":[86],"Verification":[87],"carried":[89],"out":[90],"after":[91],"building":[92],"finite":[94],"state":[95],"site":[99],"input":[104],"language.":[105],"To":[106],"this":[107],"purpose":[108],"parses":[111],"HTML":[113],"source":[114],"code":[115,120],"pages,":[118],"including":[119],"for":[121,132],"dynamic":[122],"pages.":[123],"Properties":[124],"are":[125],"expressed":[126],"using":[127],"user":[129],"friendly":[130],"interface":[131],"application":[134],"developers":[135],"that":[136],"automatically":[137],"translates":[138],"CTL":[141],"formulas.":[142]},"counts_by_year":[{"year":2018,"cited_by_count":1},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":2},{"year":2012,"cited_by_count":3}],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}