{"id":"https://openalex.org/W1976111119","doi":"https://doi.org/10.1007/s00165-007-0042-7","title":"Integrating a formal method into a software engineering process with UML and Java","display_name":"Integrating a formal method into a software engineering process with UML and Java","publication_year":2007,"publication_date":"2007-07-18","ids":{"openalex":"https://openalex.org/W1976111119","doi":"https://doi.org/10.1007/s00165-007-0042-7","mag":"1976111119"},"language":"en","primary_location":{"id":"doi:10.1007/s00165-007-0042-7","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s00165-007-0042-7","pdf_url":"https://dl.acm.org/doi/pdf/10.1007/s00165-007-0042-7","source":{"id":"https://openalex.org/S128250343","display_name":"Formal Aspects of Computing","issn_l":"0934-5043","issn":["0934-5043","1433-299X"],"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":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formal Aspects of Computing","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://dl.acm.org/doi/pdf/10.1007/s00165-007-0042-7","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5103423226","display_name":"Michael M\u00f6ller","orcid":null},"institutions":[{"id":"https://openalex.org/I129877168","display_name":"Carl von Ossietzky Universit\u00e4t Oldenburg","ror":"https://ror.org/033n9gh91","country_code":"DE","type":"education","lineage":["https://openalex.org/I129877168"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Michael M\u00f6ller","raw_affiliation_strings":["Department of Computing Science, University of Oldenburg, 26111, Oldenburg, Germany","University of Oldenburg, Department of Computing Science, 26111, Oldenburg, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computing Science, University of Oldenburg, 26111, Oldenburg, Germany","institution_ids":["https://openalex.org/I129877168"]},{"raw_affiliation_string":"University of Oldenburg, Department of Computing Science, 26111, Oldenburg, Germany","institution_ids":["https://openalex.org/I129877168"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5084773409","display_name":"Ernst-R\u00fcdiger Olderog","orcid":"https://orcid.org/0000-0002-3600-2046"},"institutions":[{"id":"https://openalex.org/I129877168","display_name":"Carl von Ossietzky Universit\u00e4t Oldenburg","ror":"https://ror.org/033n9gh91","country_code":"DE","type":"education","lineage":["https://openalex.org/I129877168"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Ernst-R\u00fcdiger Olderog","raw_affiliation_strings":["Department of Computing Science, University of Oldenburg, 26111, Oldenburg, Germany","University of Oldenburg, Department of Computing Science, 26111, Oldenburg, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computing Science, University of Oldenburg, 26111, Oldenburg, Germany","institution_ids":["https://openalex.org/I129877168"]},{"raw_affiliation_string":"University of Oldenburg, Department of Computing Science, 26111, Oldenburg, Germany","institution_ids":["https://openalex.org/I129877168"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5031868503","display_name":"Holger Rasch","orcid":null},"institutions":[{"id":"https://openalex.org/I206945453","display_name":"Paderborn University","ror":"https://ror.org/058kzsd48","country_code":"DE","type":"education","lineage":["https://openalex.org/I206945453"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Holger Rasch","raw_affiliation_strings":["Department of Computer Science, University of Paderborn, 33098, Paderborn, Germany","University of Paderborn, Department of Computer Science, 33098, Paderborn, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Paderborn, 33098, Paderborn, Germany","institution_ids":["https://openalex.org/I206945453"]},{"raw_affiliation_string":"University of Paderborn, Department of Computer Science, 33098, Paderborn, Germany","institution_ids":["https://openalex.org/I206945453"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5046915601","display_name":"Heike Wehrheim","orcid":"https://orcid.org/0000-0002-2385-7512"},"institutions":[{"id":"https://openalex.org/I206945453","display_name":"Paderborn University","ror":"https://ror.org/058kzsd48","country_code":"DE","type":"education","lineage":["https://openalex.org/I206945453"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Heike Wehrheim","raw_affiliation_strings":["Department of Computer Science, University of Paderborn, 33098, Paderborn, Germany","University of Paderborn, Department of Computer Science, 33098, Paderborn, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Computer Science, University of Paderborn, 33098, Paderborn, Germany","institution_ids":["https://openalex.org/I206945453"]},{"raw_affiliation_string":"University of Paderborn, Department of Computer Science, 33098, Paderborn, Germany","institution_ids":["https://openalex.org/I206945453"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":{"value":2780,"currency":"USD","value_usd":2780},"apc_paid":{"value":2780,"currency":"USD","value_usd":2780},"fwci":5.4185,"has_fulltext":true,"cited_by_count":28,"citation_normalized_percentile":{"value":0.9564299,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":"20","issue":"2","first_page":"161","last_page":"204"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9997000098228455,"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"}},"topics":[{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9997000098228455,"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9983999729156494,"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/T10126","display_name":"Logic, programming, and type systems","score":0.9962999820709229,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8187767267227173},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.7543525695800781},{"id":"https://openalex.org/keywords/java-modeling-language","display_name":"Java Modeling Language","score":0.5946294069290161},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.5288875102996826},{"id":"https://openalex.org/keywords/formal-specification","display_name":"Formal specification","score":0.5049496293067932},{"id":"https://openalex.org/keywords/unified-modeling-language","display_name":"Unified Modeling Language","score":0.497847318649292},{"id":"https://openalex.org/keywords/java","display_name":"Java","score":0.46689093112945557},{"id":"https://openalex.org/keywords/specification-language","display_name":"Specification language","score":0.4172566533088684},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.3660048842430115},{"id":"https://openalex.org/keywords/java-annotation","display_name":"Java annotation","score":0.29193782806396484},{"id":"https://openalex.org/keywords/real-time-java","display_name":"Real time Java","score":0.2848539352416992},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.2147345244884491}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8187767267227173},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.7543525695800781},{"id":"https://openalex.org/C60945770","wikidata":"https://www.wikidata.org/wiki/Q2517517","display_name":"Java Modeling Language","level":5,"score":0.5946294069290161},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.5288875102996826},{"id":"https://openalex.org/C116253237","wikidata":"https://www.wikidata.org/wiki/Q1437424","display_name":"Formal specification","level":2,"score":0.5049496293067932},{"id":"https://openalex.org/C145644426","wikidata":"https://www.wikidata.org/wiki/Q169411","display_name":"Unified Modeling Language","level":3,"score":0.497847318649292},{"id":"https://openalex.org/C548217200","wikidata":"https://www.wikidata.org/wiki/Q251","display_name":"Java","level":2,"score":0.46689093112945557},{"id":"https://openalex.org/C201677973","wikidata":"https://www.wikidata.org/wiki/Q1209840","display_name":"Specification language","level":2,"score":0.4172566533088684},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.3660048842430115},{"id":"https://openalex.org/C168702491","wikidata":"https://www.wikidata.org/wiki/Q567345","display_name":"Java annotation","level":4,"score":0.29193782806396484},{"id":"https://openalex.org/C132106392","wikidata":"https://www.wikidata.org/wiki/Q1373903","display_name":"Real time Java","level":3,"score":0.2848539352416992},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.2147345244884491}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/s00165-007-0042-7","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s00165-007-0042-7","pdf_url":"https://dl.acm.org/doi/pdf/10.1007/s00165-007-0042-7","source":{"id":"https://openalex.org/S128250343","display_name":"Formal Aspects of Computing","issn_l":"0934-5043","issn":["0934-5043","1433-299X"],"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":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formal Aspects of Computing","raw_type":"journal-article"}],"best_oa_location":{"id":"doi:10.1007/s00165-007-0042-7","is_oa":true,"landing_page_url":"https://doi.org/10.1007/s00165-007-0042-7","pdf_url":"https://dl.acm.org/doi/pdf/10.1007/s00165-007-0042-7","source":{"id":"https://openalex.org/S128250343","display_name":"Formal Aspects of Computing","issn_l":"0934-5043","issn":["0934-5043","1433-299X"],"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":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Formal Aspects of Computing","raw_type":"journal-article"},"sustainable_development_goals":[{"score":0.4399999976158142,"display_name":"Partnerships for the goals","id":"https://metadata.un.org/sdg/17"}],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W1976111119.pdf","grobid_xml":"https://content.openalex.org/works/W1976111119.grobid-xml"},"referenced_works_count":64,"referenced_works":["https://openalex.org/W123523327","https://openalex.org/W168248273","https://openalex.org/W175551733","https://openalex.org/W1487405315","https://openalex.org/W1487672899","https://openalex.org/W1489858443","https://openalex.org/W1489862800","https://openalex.org/W1505722265","https://openalex.org/W1507195521","https://openalex.org/W1514639330","https://openalex.org/W1528309244","https://openalex.org/W1534869992","https://openalex.org/W1535836754","https://openalex.org/W1544240048","https://openalex.org/W1544646281","https://openalex.org/W1559958463","https://openalex.org/W1564637213","https://openalex.org/W1571075905","https://openalex.org/W1571365490","https://openalex.org/W1582068322","https://openalex.org/W1592055490","https://openalex.org/W1593065203","https://openalex.org/W1593874741","https://openalex.org/W1604959559","https://openalex.org/W1605548288","https://openalex.org/W1782795672","https://openalex.org/W1977237988","https://openalex.org/W1985804037","https://openalex.org/W1987407870","https://openalex.org/W1998017916","https://openalex.org/W1998490923","https://openalex.org/W2004442217","https://openalex.org/W2020034474","https://openalex.org/W2035529004","https://openalex.org/W2038167407","https://openalex.org/W2048327004","https://openalex.org/W2052957797","https://openalex.org/W2057835515","https://openalex.org/W2069865621","https://openalex.org/W2077325003","https://openalex.org/W2084998880","https://openalex.org/W2094160561","https://openalex.org/W2102097307","https://openalex.org/W2105142318","https://openalex.org/W2118962824","https://openalex.org/W2119402699","https://openalex.org/W2119494075","https://openalex.org/W2119965246","https://openalex.org/W2121759723","https://openalex.org/W2122303816","https://openalex.org/W2124313270","https://openalex.org/W2128111779","https://openalex.org/W2129384397","https://openalex.org/W2139601508","https://openalex.org/W2144545266","https://openalex.org/W2144973245","https://openalex.org/W2162669339","https://openalex.org/W2183699365","https://openalex.org/W2292263783","https://openalex.org/W2613165855","https://openalex.org/W3000560506","https://openalex.org/W3144368627","https://openalex.org/W3144771442","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W2034589735","https://openalex.org/W2049993111","https://openalex.org/W2238880588","https://openalex.org/W2607268704","https://openalex.org/W2204176978","https://openalex.org/W2044067585","https://openalex.org/W1520778375","https://openalex.org/W2138411133","https://openalex.org/W2156223462","https://openalex.org/W2230261480"],"abstract_inverted_index":{"Abstract":[0],"We":[1],"describe":[2],"how":[3],"CSP-OZ,":[4],"a":[5,31,104,130,141],"formal":[6,50,136,155],"method":[7,137,215],"combining":[8],"the":[9,14,28,46,49,54,57,63,72,92,126,135,145,149,159,162,169,175,180,185,191,198,229,232,237],"process":[10,26],"algebra":[11],"CSP":[12,205],"with":[13,134],"specification":[15,147,156],"language":[16,210],"Object-Z,":[17],"can":[18,224],"be":[19,225],"integrated":[20],"into":[21],"an":[22,36,208],"object-oriented":[23],"software":[24],"engineering":[25],"employing":[27],"UML":[29,106,152],"as":[30,35],"modelling":[32,116],"and":[33,60,76,120,125],"Java":[34,199,234],"implementation":[37,235],"language.":[38],"The":[39,84,111,132,154],"benefit":[40],"of":[41,48,56,65,69,80,88,94,129,144,168,219,231],"this":[42,100],"integration":[43,133],"lies":[44],"in":[45,71,197],"rigour":[47],"method,":[51],"which":[52],"improves":[53],"precision":[55],"constructed":[58],"models":[59,70],"opens":[61],"up":[62],"possibility":[64],"(1)":[66],"verifying":[67,166],"properties":[68,167],"early":[73],"design":[74,93],"phases,":[75],"(2)":[77],"checking":[78,223],"adherence":[79,230],"implementations":[81],"to":[82,227,236],"models.":[83],"envisaged":[85],"application":[86],"area":[87],"our":[89],"approach":[90],"is":[91,157,184],"distributed":[95],"reactive":[96,109],"systems":[97],".":[98],"To":[99],"end,":[101],"we":[102],"propose":[103],"specific":[105],"profile":[107,112],"for":[108,115,165,171,187,190,211,221],"systems.":[110],"contains":[113],"facilities":[114],"components,":[117],"their":[118],"interfaces":[119],"interconnections":[121],"via":[122],"synchronous/broadcast":[123],"communication,":[124],"overall":[127],"architecture":[128],"system.":[131],"proceeds":[138],"by":[139,173,204],"generating":[140,188],"significant":[142],"part":[143],"CSP-OZ":[146],"from":[148],"initially":[150],"developed":[151],"model.":[153],"on":[158],"one":[160],"hand":[161],"starting":[163],"point":[164],"model,":[170],"instance":[172],"using":[174],"FDR":[176],"model":[177],"checker.":[178],"On":[179],"other":[181],"hand,":[182],"it":[183],"basis":[186],"contracts":[189],"final":[192,233],"implementation.":[193],"Contracts":[194],"are":[195],"written":[196],"Modeling":[200],"Language":[201],"(JML)":[202],"complemented":[203],"jassda":[206],",":[207],"assertion":[209],"specifying":[212],"orderings":[213],"between":[214],"invocations.":[216],"A":[217],"set":[218],"tools":[220],"runtime":[222],"used":[226],"supervise":[228],"generated":[238],"contracts.":[239]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2016,"cited_by_count":2},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":2},{"year":2013,"cited_by_count":2},{"year":2012,"cited_by_count":2}],"updated_date":"2026-07-23T08:03:31.855105","created_date":"2025-10-10T00:00:00"}