{"id":"https://openalex.org/W4221162397","doi":"https://doi.org/10.1007/978-3-030-99429-7_9","title":"SMC4PEP: Stochastic Model Checking of Product Engineering Processes","display_name":"SMC4PEP: Stochastic Model Checking of Product Engineering Processes","publication_year":2022,"publication_date":"2022-01-01","ids":{"openalex":"https://openalex.org/W4221162397","doi":"https://doi.org/10.1007/978-3-030-99429-7_9"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-030-99429-7_9","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-030-99429-7_9","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-030-99429-7_9.pdf","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-chapter"},"type":"conference-paper","indexed_in":["arxiv","crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007/978-3-030-99429-7_9.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5082806136","display_name":"Hassan Hage","orcid":"https://orcid.org/0000-0001-9701-8108"},"institutions":[{"id":"https://openalex.org/I1322300227","display_name":"Audi (Germany)","ror":"https://ror.org/02aykj333","country_code":"DE","type":"company","lineage":["https://openalex.org/I1322300227"]},{"id":"https://openalex.org/I190134885","display_name":"Helmut Schmidt University","ror":"https://ror.org/04e8jbs38","country_code":"DE","type":"education","lineage":["https://openalex.org/I190134885"]}],"countries":["DE"],"is_corresponding":true,"raw_author_name":"Hassan Hage","raw_affiliation_strings":["AUDI AG, Auto-Union-Stra\u00dfe 1, 85057, Ingolstadt, Germany","Helmut-Schmidt-University, Holstenhofweg 85, 22043, Hamburg, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"AUDI AG, Auto-Union-Stra\u00dfe 1, 85057, Ingolstadt, Germany","institution_ids":["https://openalex.org/I1322300227"]},{"raw_affiliation_string":"Helmut-Schmidt-University, Holstenhofweg 85, 22043, Hamburg, Germany","institution_ids":["https://openalex.org/I190134885"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5079747716","display_name":"Emmanouil Seferis","orcid":null},"institutions":[{"id":"https://openalex.org/I190134885","display_name":"Helmut Schmidt University","ror":"https://ror.org/04e8jbs38","country_code":"DE","type":"education","lineage":["https://openalex.org/I190134885"]},{"id":"https://openalex.org/I62916508","display_name":"Technical University of Munich","ror":"https://ror.org/02kkvpp62","country_code":"DE","type":"education","lineage":["https://openalex.org/I62916508"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Emmanouil Seferis","raw_affiliation_strings":["Helmut-Schmidt-University, Holstenhofweg 85, 22043, Hamburg, Germany","Technical University of Munich, Arcisstra\u00dfe 21, 80333, Munich, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Helmut-Schmidt-University, Holstenhofweg 85, 22043, Hamburg, Germany","institution_ids":["https://openalex.org/I190134885"]},{"raw_affiliation_string":"Technical University of Munich, Arcisstra\u00dfe 21, 80333, Munich, Germany","institution_ids":["https://openalex.org/I62916508"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5027802245","display_name":"Vahid Hashemi","orcid":"https://orcid.org/0000-0002-9167-7417"},"institutions":[{"id":"https://openalex.org/I1322300227","display_name":"Audi (Germany)","ror":"https://ror.org/02aykj333","country_code":"DE","type":"company","lineage":["https://openalex.org/I1322300227"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Vahid Hashemi","raw_affiliation_strings":["AUDI AG, Auto-Union-Stra\u00dfe 1, 85057, Ingolstadt, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"AUDI AG, Auto-Union-Stra\u00dfe 1, 85057, Ingolstadt, Germany","institution_ids":["https://openalex.org/I1322300227"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5085935587","display_name":"Frank Mantwill","orcid":"https://orcid.org/0000-0002-1587-4726"},"institutions":[{"id":"https://openalex.org/I190134885","display_name":"Helmut Schmidt University","ror":"https://ror.org/04e8jbs38","country_code":"DE","type":"education","lineage":["https://openalex.org/I190134885"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Frank Mantwill","raw_affiliation_strings":["Helmut-Schmidt-University, Holstenhofweg 85, 22043, Hamburg, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Helmut-Schmidt-University, Holstenhofweg 85, 22043, Hamburg, Germany","institution_ids":["https://openalex.org/I190134885"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5082806136"],"corresponding_institution_ids":["https://openalex.org/I1322300227","https://openalex.org/I190134885"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":{"value":5000,"currency":"EUR","value_usd":5392},"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.04456825,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"155","last_page":"162"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10703","display_name":"Business Process Modeling and Analysis","score":0.6388999819755554,"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/T10703","display_name":"Business Process Modeling and Analysis","score":0.6388999819755554,"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.07020000368356705,"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/T10142","display_name":"Formal Methods in Verification","score":0.05979999899864197,"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/business-process-model-and-notation","display_name":"Business Process Model and Notation","score":0.7908036708831787},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7187883853912354},{"id":"https://openalex.org/keywords/business-process-modeling","display_name":"Business process modeling","score":0.636811375617981},{"id":"https://openalex.org/keywords/business-process","display_name":"Business process","score":0.5836344361305237},{"id":"https://openalex.org/keywords/process-modeling","display_name":"Process modeling","score":0.5692824125289917},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.49238312244415283},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.4699321687221527},{"id":"https://openalex.org/keywords/abstraction","display_name":"Abstraction","score":0.4526921212673187},{"id":"https://openalex.org/keywords/syntax","display_name":"Syntax","score":0.4478257894515991},{"id":"https://openalex.org/keywords/avionics","display_name":"Avionics","score":0.44330787658691406},{"id":"https://openalex.org/keywords/notation","display_name":"Notation","score":0.43732452392578125},{"id":"https://openalex.org/keywords/model-checking","display_name":"Model checking","score":0.4340030252933502},{"id":"https://openalex.org/keywords/product","display_name":"Product (mathematics)","score":0.4231751561164856},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.37332189083099365},{"id":"https://openalex.org/keywords/work-in-process","display_name":"Work in process","score":0.2253153920173645},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.17837220430374146},{"id":"https://openalex.org/keywords/engineering","display_name":"Engineering","score":0.1414768099784851},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.09628534317016602}],"concepts":[{"id":"https://openalex.org/C179299601","wikidata":"https://www.wikidata.org/wiki/Q1017605","display_name":"Business Process Model and Notation","level":5,"score":0.7908036708831787},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7187883853912354},{"id":"https://openalex.org/C207505557","wikidata":"https://www.wikidata.org/wiki/Q4374012","display_name":"Business process modeling","level":4,"score":0.636811375617981},{"id":"https://openalex.org/C85345410","wikidata":"https://www.wikidata.org/wiki/Q851587","display_name":"Business process","level":3,"score":0.5836344361305237},{"id":"https://openalex.org/C76956256","wikidata":"https://www.wikidata.org/wiki/Q27610560","display_name":"Process modeling","level":3,"score":0.5692824125289917},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.49238312244415283},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.4699321687221527},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.4526921212673187},{"id":"https://openalex.org/C60048249","wikidata":"https://www.wikidata.org/wiki/Q37437","display_name":"Syntax","level":2,"score":0.4478257894515991},{"id":"https://openalex.org/C15792166","wikidata":"https://www.wikidata.org/wiki/Q221329","display_name":"Avionics","level":2,"score":0.44330787658691406},{"id":"https://openalex.org/C45357846","wikidata":"https://www.wikidata.org/wiki/Q2001982","display_name":"Notation","level":2,"score":0.43732452392578125},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.4340030252933502},{"id":"https://openalex.org/C90673727","wikidata":"https://www.wikidata.org/wiki/Q901718","display_name":"Product (mathematics)","level":2,"score":0.4231751561164856},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.37332189083099365},{"id":"https://openalex.org/C174998907","wikidata":"https://www.wikidata.org/wiki/Q357662","display_name":"Work in process","level":2,"score":0.2253153920173645},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.17837220430374146},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.1414768099784851},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.09628534317016602},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C94375191","wikidata":"https://www.wikidata.org/wiki/Q11205","display_name":"Arithmetic","level":1,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C21547014","wikidata":"https://www.wikidata.org/wiki/Q1423657","display_name":"Operations management","level":1,"score":0.0},{"id":"https://openalex.org/C146978453","wikidata":"https://www.wikidata.org/wiki/Q3798668","display_name":"Aerospace engineering","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1007/978-3-030-99429-7_9","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-030-99429-7_9","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-030-99429-7_9.pdf","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-chapter"},{"id":"pmh:oai:arXiv.org:2203.06974","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2203.06974","pdf_url":"https://arxiv.org/pdf/2203.06974","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"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":"text"},{"id":"doi:10.48550/arxiv.2203.06974","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2203.06974","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"doi:10.1007/978-3-030-99429-7_9","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-030-99429-7_9","pdf_url":"https://link.springer.com/content/pdf/10.1007/978-3-030-99429-7_9.pdf","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-chapter"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4221162397.pdf","grobid_xml":"https://content.openalex.org/works/W4221162397.grobid-xml"},"referenced_works_count":14,"referenced_works":["https://openalex.org/W106195609","https://openalex.org/W275084143","https://openalex.org/W1744589267","https://openalex.org/W1898469110","https://openalex.org/W2055822229","https://openalex.org/W2060306993","https://openalex.org/W2082695788","https://openalex.org/W2177617373","https://openalex.org/W2402642317","https://openalex.org/W2479720986","https://openalex.org/W2488527493","https://openalex.org/W2889439452","https://openalex.org/W3090597186","https://openalex.org/W4244123356"],"related_works":["https://openalex.org/W258746","https://openalex.org/W14536511","https://openalex.org/W13107629","https://openalex.org/W12744259","https://openalex.org/W6914752","https://openalex.org/W7746361","https://openalex.org/W11414001","https://openalex.org/W10649876","https://openalex.org/W13082497","https://openalex.org/W8069348"],"abstract_inverted_index":{"Abstract":[0],"Product":[1],"Engineering":[2],"Processes":[3],"(PEPs)":[4],"are":[5],"used":[6,30],"for":[7,148],"describing":[8],"complex":[9],"product":[10],"developments":[11],"in":[12,38,83,156],"big":[13],"enterprises":[14],"such":[15,39,165],"as":[16,47,166],"automotive":[17],"and":[18,151],"avionics":[19],"industries.":[20],"The":[21],"Business":[22],"Process":[23,72],"Model":[24],"Notation":[25],"(BPMN)":[26],"is":[27,95,112],"a":[28,48,55,89,146,174],"widely":[29],"language":[31],"to":[32,50,62,87,127,160,179],"encode":[33],"interactions":[34],"among":[35],"several":[36],"participants":[37],"PEPs.":[40],"In":[41,103],"this":[42,75],"paper,":[43],"we":[44,77],"present":[45],"SMC4PEPl":[46,122,144],"tool":[49,140],"convert":[51],"graphical":[52],"representations":[53],"of":[54,98,110,135,153],"business":[56,92,154],"process":[57,68,93,126],"using":[58],"the":[59,80,100,105,124,133,136,185],"BPMN":[60,188],"standard":[61],"an":[63,84,128],"equivalent":[64,91],"discrete-time":[65],"stochastic":[66],"control":[67],"called":[69],"Markov":[70],"Decision":[71],"(MDP).":[73],"To":[74],"aim,":[76],"first":[78],"follow":[79],"approach":[81],"described":[82,131],"earlier":[85],"investigation":[86],"generate":[88],"semantically":[90],"which":[94],"more":[96],"capable":[97],"handling":[99],"PEP":[101],"complexity.":[102],"particular,":[104],"interaction":[106],"between":[107],"different":[108],"levels":[109],"abstraction":[111],"realized":[113],"by":[114,132],"events":[115],"rather":[116],"than":[117],"direct":[118],"message":[119],"flows.":[120],"Afterwards,":[121],"converts":[123],"generated":[125,183],"MDP":[129,181],"model":[130,138],"syntax":[134],"probabilistic":[137],"checking":[139],"PRISM.":[141],"As":[142],"such,":[143],"provides":[145],"framework":[147],"automatic":[149],"verification":[150,176],"validation":[152],"processes":[155],"particular":[157],"with":[158],"respect":[159],"requirements":[161],"from":[162,184],"legal":[163],"standards":[164],"Automotive":[167],"SPICE.":[168],"Moreover,":[169],"our":[170],"experimental":[171],"results":[172],"confirm":[173],"faster":[175],"routine":[177],"due":[178],"smaller":[180],"models":[182],"alternative":[186],"event-based":[187],"models.":[189]},"counts_by_year":[],"updated_date":"2026-08-26T07:47:46.906454","created_date":"2022-04-03T00:00:00"}