{"id":"https://openalex.org/W4288660580","doi":"https://doi.org/10.1007/978-3-030-21290-2","title":"Advanced Information Systems Engineering","display_name":"Advanced Information Systems Engineering","publication_year":2019,"publication_date":"2019-01-01","ids":{"openalex":"https://openalex.org/W4288660580","doi":"https://doi.org/10.1007/978-3-030-21290-2"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-030-21290-2","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-030-21290-2","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book"},"type":"book","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://doi.org/10.1007/978-3-030-21290-2","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Guarino,\u00a0N","orcid":null},"institutions":[{"id":"https://openalex.org/I193223587","display_name":"University of Trento","ror":"https://ror.org/05trd4x28","country_code":"IT","type":"education","lineage":["https://openalex.org/I193223587"]}],"countries":["IT"],"is_corresponding":true,"raw_author_name":"Guarino,\u00a0N","raw_affiliation_strings":["University of Trento, Trento, Italy"],"affiliations":[{"raw_affiliation_string":"University of Trento, Trento, Italy","institution_ids":["https://openalex.org/I193223587"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Guizzardi,\u00a0Giancarlo","orcid":null},"institutions":[{"id":"https://openalex.org/I202963720","display_name":"University of St.Gallen","ror":"https://ror.org/0561a3s31","country_code":"CH","type":"education","lineage":["https://openalex.org/I202963720"]}],"countries":["CH"],"is_corresponding":false,"raw_author_name":"Guizzardi,\u00a0Giancarlo","raw_affiliation_strings":["University of St. Gallen, St. Gallen, Switzerland"],"affiliations":[{"raw_affiliation_string":"University of St. Gallen, St. Gallen, Switzerland","institution_ids":["https://openalex.org/I202963720"]}]},{"author_position":"last","author":{"id":null,"display_name":"Porello,\u00a0D","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Porello,\u00a0D","raw_affiliation_strings":[],"affiliations":[]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I193223587"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":{"value":5000,"currency":"EUR","value_usd":5392},"fwci":2.3908,"has_fulltext":false,"cited_by_count":20,"citation_normalized_percentile":{"value":0.90120746,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11891","display_name":"Big Data and Business Intelligence","score":0.4966000020503998,"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/T11891","display_name":"Big Data and Business Intelligence","score":0.4966000020503998,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.822860598564148},{"id":"https://openalex.org/keywords/information-engineering","display_name":"Information engineering","score":0.6355783939361572},{"id":"https://openalex.org/keywords/information-system","display_name":"Information system","score":0.5562708377838135},{"id":"https://openalex.org/keywords/domain","display_name":"Domain (mathematical analysis)","score":0.5525587797164917},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.46431517601013184},{"id":"https://openalex.org/keywords/method-engineering","display_name":"Method engineering","score":0.4395025372505188},{"id":"https://openalex.org/keywords/data-science","display_name":"Data science","score":0.41004693508148193},{"id":"https://openalex.org/keywords/systems-engineering","display_name":"Systems engineering","score":0.3769550025463104},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.08681708574295044}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.822860598564148},{"id":"https://openalex.org/C5283578","wikidata":"https://www.wikidata.org/wiki/Q60596709","display_name":"Information engineering","level":3,"score":0.6355783939361572},{"id":"https://openalex.org/C180198813","wikidata":"https://www.wikidata.org/wiki/Q121182","display_name":"Information system","level":2,"score":0.5562708377838135},{"id":"https://openalex.org/C36503486","wikidata":"https://www.wikidata.org/wiki/Q11235244","display_name":"Domain (mathematical analysis)","level":2,"score":0.5525587797164917},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.46431517601013184},{"id":"https://openalex.org/C185041570","wikidata":"https://www.wikidata.org/wiki/Q6823697","display_name":"Method engineering","level":2,"score":0.4395025372505188},{"id":"https://openalex.org/C2522767166","wikidata":"https://www.wikidata.org/wiki/Q2374463","display_name":"Data science","level":1,"score":0.41004693508148193},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.3769550025463104},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.08681708574295044},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.0},{"id":"https://openalex.org/C119599485","wikidata":"https://www.wikidata.org/wiki/Q43035","display_name":"Electrical engineering","level":1,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1007/978-3-030-21290-2","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-030-21290-2","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book"},{"id":"pmh:oai:jupiter.its.unimelb.edu.au:11343/221857","is_oa":true,"landing_page_url":"http://polyvyanyy.com/","pdf_url":"http://hdl.handle.net/11343/221857","source":{"id":"https://openalex.org/S4377196259","display_name":"Minerva Access (University of Melbourne)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I165779595","host_organization_name":"The University of Melbourne","host_organization_lineage":["https://openalex.org/I165779595"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"International Conference on Advanced Information Systems Engineering","raw_type":"Conference Paper"},{"id":"pmh:oai:alma.39UBZ_INST:11282015300001241","is_oa":false,"landing_page_url":"https://link.springer.com/book/10.1007/978-3-030-21290-2#about-this-book","pdf_url":null,"source":{"id":"https://openalex.org/S4210197018","display_name":"View","issn_l":"2688-268X","issn":["2688-268X","2688-3988"],"is_oa":false,"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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"text"},{"id":"pmh:oai:iris.unitn.it:11572/252362","is_oa":false,"landing_page_url":"http://hdl.handle.net/11572/252362","pdf_url":null,"source":{"id":"https://openalex.org/S4306401913","display_name":"Institutional Research Information System (Universit\u00e0 degli Studi di Trento)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I193223587","host_organization_name":"University of Trento","host_organization_lineage":["https://openalex.org/I193223587"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/other"}],"best_oa_location":{"id":"doi:10.1007/978-3-030-21290-2","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-030-21290-2","pdf_url":null,"source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"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":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":4,"referenced_works":["https://openalex.org/W37241258","https://openalex.org/W2106625078","https://openalex.org/W2804558854","https://openalex.org/W4233925548"],"related_works":["https://openalex.org/W1820800726","https://openalex.org/W2000553295","https://openalex.org/W3026688915","https://openalex.org/W2037115657","https://openalex.org/W2384715407","https://openalex.org/W2118868603","https://openalex.org/W2417448911","https://openalex.org/W2139407283","https://openalex.org/W2494158964","https://openalex.org/W2072763587"],"abstract_inverted_index":{"Information":[0,177],"and":[1,63,72,85,94,129,169,172],"processes":[2,46],"are":[3,88,110],"both":[4],"important":[5],"aspects":[6,116],"of":[7,51,65,96,101,117,139,156,176],"information":[8,16,29,36,66,70,140],"systems.":[9,119],"Nevertheless,":[10],"most":[11],"existing":[12],"languages":[13,42],"for":[14,61,148],"modeling":[15,30,62,168],"systems":[17,67],"focus":[18,27,44],"either":[19],"on":[20,28,45],"one":[21],"or":[22],"the":[23,33,49,52,92,114,118,154,157],"other.":[24],"Languages":[25],"that":[26,35,43,68],"often":[31],"neglect":[32],"fact":[34],"is":[37],"manipulated":[38],"by":[39],"processes,":[40],"while":[41,98,146],"abstract":[47],"from":[48],"structure":[50,93],"information.":[53],"In":[54,80],"this":[55],"paper,":[56],"we":[57],"present":[58],"an":[59,76],"approach":[60,122,161],"veri\ufb01cation":[64],"combines":[69],"models":[71,74],"process":[73],"using":[75],"automated":[77,149],"theorem":[78],"prover.":[79],"our":[81],"approach,":[82],"set":[83],"theory":[84],"\ufb01rst-order":[86],"logic":[87],"used":[89,111,173],"to":[90,112],"express":[91],"constraints":[95],"information,":[97],"Petri":[99,106],"nets":[100,107],"a":[102,124,136,165],"special":[103],"kind,":[104],"called":[105],"with":[108],"identi\ufb01ers,":[109],"capture":[113],"dynamic":[115],"The":[120,160],"proposed":[121],"exhibits":[123],"unique":[125],"balance":[126],"between":[127],"expressiveness":[128],"formal":[130],"foundation,":[131],"as":[132,151],"it":[133,152],"allows":[134],"capturing":[135],"wide":[137],"range":[138],"systems,":[141,145],"including":[142],"in\ufb01nite":[143],"state":[144],"allowing":[147],"veri\ufb01cation,":[150],"ensures":[153],"decidability":[155],"reachability":[158],"problem.":[159],"was":[162],"implemented":[163],"in":[164,174],"publicly":[166],"available":[167],"simulation":[170],"tool":[171],"teaching":[175],"Systems":[178],"students.":[179]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":6},{"year":2022,"cited_by_count":5},{"year":2021,"cited_by_count":4},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":1}],"updated_date":"2026-03-25T23:56:10.502304","created_date":"2022-07-30T00:00:00"}