{"id":"https://openalex.org/W2992623561","doi":null,"title":"Slicing Based Verification Approach for the Validation of SysML Activity Diagrams","display_name":"Slicing Based Verification Approach for the Validation of SysML Activity Diagrams","publication_year":2017,"publication_date":"2017-09-13","ids":{"openalex":"https://openalex.org/W2992623561","mag":"2992623561"},"language":"en","primary_location":{"id":"pmh:oai:HAL:hal-02392675v1","doi":null,"is_oa":false,"landing_page_url":"https://hal.science/hal-02392675","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":"International Symposium on Theoretical Aspects of Software Engineering, Sep 2017, Nice, France","raw_type":"info:eu-repo/semantics/conferenceObject"},"volume":null,"type":"conference-paper","is_traditional":true,"indexed_in":[],"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/A5022221007","display_name":"Messaoud Rahim","orcid":"https://orcid.org/0000-0001-8655-1740","observed_orcids":["https://orcid.org/0000-0001-8655-1740"]},"institutions":[{"id":"https://openalex.org/I4210128965","display_name":"University Yahia Fares of Medea","ror":"https://ror.org/02e2yc259","country_code":"DZ","type":"education","lineage":["https://openalex.org/I4210128965"]}],"countries":["DZ"],"is_corresponding":false,"raw_author_name":"Rahim, Messaoud","raw_affiliation_strings":["Universit\u00e9 Yahia Far\u00e8s de M\u00e9d\u00e9a"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universit\u00e9 Yahia Far\u00e8s de M\u00e9d\u00e9a","institution_ids":["https://openalex.org/I4210128965"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5110502477","display_name":"Malika Boukala","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I157169809","display_name":"University of Sciences and Technology Houari Boumediene","ror":"https://ror.org/02kb89c09","country_code":"DZ","type":"education","lineage":["https://openalex.org/I157169809"]}],"countries":["DZ"],"is_corresponding":false,"raw_author_name":"Boukala, Malika","raw_affiliation_strings":["Universit\u00e9 des Sciences et de la Technologie Houari Boumediene = University of Sciences and Technology Houari Boumediene [Alger]"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Universit\u00e9 des Sciences et de la Technologie Houari Boumediene = University of Sciences and Technology Houari Boumediene [Alger]","institution_ids":["https://openalex.org/I157169809"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5111110835","display_name":"Ahmed Hammad","orcid":"https://orcid.org/0000-0003-3739-1650","observed_orcids":["https://orcid.org/0000-0003-3739-1650"]},"institutions":[{"id":"https://openalex.org/I2802759292","display_name":"Franche-Comt\u00e9 \u00c9lectronique M\u00e9canique Thermique et Optique - Sciences et Technologies","ror":"https://ror.org/004fmxv66","country_code":"FR","type":"facility","lineage":["https://openalex.org/I1294671590","https://openalex.org/I2802759292","https://openalex.org/I37553959","https://openalex.org/I4210095849","https://openalex.org/I4405256580","https://openalex.org/I53262699"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Hammad, Ahmed","raw_affiliation_strings":["Franche-Comt\u00e9 \u00c9lectronique M\u00e9canique, Thermique et Optique - Sciences et Technologies (UMR 6174)"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Franche-Comt\u00e9 \u00c9lectronique M\u00e9canique, Thermique et Optique - Sciences et Technologies (UMR 6174)","institution_ids":["https://openalex.org/I2802759292"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.21921623,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.7749000191688538,"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.7749000191688538,"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/T10142","display_name":"Formal Methods in Verification","score":0.14480000734329224,"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"}},{"id":"https://openalex.org/T10743","display_name":"Software Testing and Debugging Techniques","score":0.030899999663233757,"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/slicing","display_name":"slicing","score":0.6499999761581421},{"id":"https://openalex.org/keywords/model-based-verification","display_name":"model-based verification","score":0.6000000238418579},{"id":"https://openalex.org/keywords/sysml","display_name":"SysML","score":0.949999988079071},{"id":"https://openalex.org/keywords/activity-diagrams","display_name":"activity diagrams","score":0.9980000257492065},{"id":"https://openalex.org/keywords/model-validation","display_name":"model validation","score":0.9200000166893005},{"id":"https://openalex.org/keywords/model-checking","display_name":"model checking","score":0.4000000059604645}],"concepts":[{"id":"https://openalex.org/C21285288","wikidata":"https://www.wikidata.org/wiki/Q2117885","display_name":"Systems Modeling Language","level":4,"score":0.8135015964508057},{"id":"https://openalex.org/C2776190703","wikidata":"https://www.wikidata.org/wiki/Q488148","display_name":"Slicing","level":2,"score":0.7932355403900146},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7922827005386353},{"id":"https://openalex.org/C38677869","wikidata":"https://www.wikidata.org/wiki/Q724168","display_name":"Petri net","level":2,"score":0.666768491268158},{"id":"https://openalex.org/C91071405","wikidata":"https://www.wikidata.org/wiki/Q1413145","display_name":"Program slicing","level":3,"score":0.5643371939659119},{"id":"https://openalex.org/C64219723","wikidata":"https://www.wikidata.org/wiki/Q423262","display_name":"Activity diagram","level":4,"score":0.5639030933380127},{"id":"https://openalex.org/C111498074","wikidata":"https://www.wikidata.org/wiki/Q173326","display_name":"Formal verification","level":2,"score":0.5328465104103088},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5015931129455566},{"id":"https://openalex.org/C62460635","wikidata":"https://www.wikidata.org/wiki/Q5508853","display_name":"Functional verification","level":3,"score":0.44882187247276306},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.4449229836463928},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.3573535084724426},{"id":"https://openalex.org/C145644426","wikidata":"https://www.wikidata.org/wiki/Q169411","display_name":"Unified Modeling Language","level":3,"score":0.2950400710105896},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.0},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"pmh:oai:HAL:hal-02392675v1","doi":null,"is_oa":false,"landing_page_url":"https://hal.science/hal-02392675","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":"International Symposium on Theoretical Aspects of Software Engineering, Sep 2017, Nice, France","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":0,"referenced_works":[],"related_works":["https://openalex.org/W3130845591","https://openalex.org/W2401210658","https://openalex.org/W4300561310","https://openalex.org/W2028605530","https://openalex.org/W2397806183","https://openalex.org/W2047987805","https://openalex.org/W2942526555","https://openalex.org/W4391919835","https://openalex.org/W2179734355","https://openalex.org/W2993068985"],"abstract_inverted_index":{"In":[0],"this":[1],"paper,":[2],"we":[3,104,107],"focus":[4],"on":[5,12],"the":[6,19,29,57,65,75,83,93],"verification":[7,25,43,58],"of":[8,21,74],"SysML":[9,30],"functional":[10],"requirements":[11],"activity":[13,84],"diagrams.":[14],"Our":[15,95],"contribution":[16],"consists":[17,67],"in":[18,68],"proposition":[20],"a":[22,42,62,70,100,109],"slicing":[23,53,66],"based":[24],"approach":[26,96],"guided":[27],"by":[28,99],"relationships":[31],"between":[32],"requirements,":[33],"blocks,":[34],"and":[35,89,106],"activities.":[36],"The":[37,51],"objective":[38],"is":[39,87,97],"to":[40,55,91],"provide":[41],"methodology":[44],"for":[45,113],"complex":[46],"systems":[47],"with":[48],"many":[49],"components.":[50],"proposed":[52],"permits":[54],"alleviate":[56],"process.":[59],"For":[60],"verifying":[61],"given":[63],"requirement,":[64],"extracting":[69],"minimized":[71],"fragment":[72],"(slice)":[73],"hierarchical":[76],"coloured":[77],"Petri":[78],"net":[79],"model":[80],"(translated":[81],"from":[82],"diagram)":[85],"which":[86],"sound":[88],"sufficient":[90],"realize":[92],"verification.":[94],"illustrated":[98],"case":[101],"study,":[102],"where":[103],"specify":[105],"verify":[108],"fire":[110],"protection":[111],"system":[112],"computer":[114],"rooms.":[115]},"counts_by_year":[],"updated_date":"2026-10-25T09:29:13.331239","created_date":"2019-12-13T00:00:00"}