{"id":"https://openalex.org/W2092488655","doi":"https://doi.org/10.2298/csis110210045v","title":"Using lightweight formal methods to model class and object diagrams","display_name":"Using lightweight formal methods to model class and object diagrams","publication_year":2011,"publication_date":"2011-10-05","ids":{"openalex":"https://openalex.org/W2092488655","doi":"https://doi.org/10.2298/csis110210045v","mag":"2092488655"},"language":"en","primary_location":{"id":"doi:10.2298/csis110210045v","is_oa":true,"landing_page_url":"https://doi.org/10.2298/csis110210045v","pdf_url":"http://www.doiserbia.nb.rs/ft.aspx?id=1820-02141100045V","source":{"id":"https://openalex.org/S206939107","display_name":"Computer Science and Information Systems","issn_l":"1820-0214","issn":["1820-0214","2406-1018"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310321031","host_organization_name":"ComSIS Consortium","host_organization_lineage":["https://openalex.org/P4310321031"],"host_organization_lineage_names":["ComSIS Consortium"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Computer Science and Information Systems","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"http://www.doiserbia.nb.rs/ft.aspx?id=1820-02141100045V","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5081644906","display_name":"Fernando Valles-Barajas","orcid":null},"institutions":[{"id":"https://openalex.org/I152909475","display_name":"Universidad Regiomontana","ror":"https://ror.org/04s65rw96","country_code":"MX","type":"education","lineage":["https://openalex.org/I152909475"]}],"countries":["MX"],"is_corresponding":true,"raw_author_name":"Fernando Valles-Barajas","raw_affiliation_strings":["Department of Information Technology, Faculty of Engineering, Universidad Regiomontana de Mayo Pte., C.P. Colonia Centro, Monterrey, Nuevo Le\u00f3n, M\u00e9xico"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Department of Information Technology, Faculty of Engineering, Universidad Regiomontana de Mayo Pte., C.P. Colonia Centro, Monterrey, Nuevo Le\u00f3n, M\u00e9xico","institution_ids":["https://openalex.org/I152909475"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5081644906"],"corresponding_institution_ids":["https://openalex.org/I152909475"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":4,"citation_normalized_percentile":{"value":0.19713678,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"9","issue":"1","first_page":"411","last_page":"429"},"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.9979000091552734,"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.9979000091552734,"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/T10260","display_name":"Software Engineering Research","score":0.9933000206947327,"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/T11986","display_name":"Scientific Computing and Data Management","score":0.9725000262260437,"subfield":{"id":"https://openalex.org/subfields/1802","display_name":"Information Systems and Management"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"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.8856403827667236},{"id":"https://openalex.org/keywords/class-diagram","display_name":"Class diagram","score":0.7048541903495789},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.599695086479187},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5760797262191772},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.5155851244926453},{"id":"https://openalex.org/keywords/object","display_name":"Object (grammar)","score":0.5137808918952942},{"id":"https://openalex.org/keywords/formal-methods","display_name":"Formal methods","score":0.4962480664253235},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.42441874742507935},{"id":"https://openalex.org/keywords/object-model","display_name":"Object model","score":0.4165571928024292},{"id":"https://openalex.org/keywords/object-oriented-programming","display_name":"Object-oriented programming","score":0.39751899242401123},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.38750946521759033},{"id":"https://openalex.org/keywords/unified-modeling-language","display_name":"Unified Modeling Language","score":0.34908339381217957},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.22306570410728455}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8856403827667236},{"id":"https://openalex.org/C202446494","wikidata":"https://www.wikidata.org/wiki/Q664166","display_name":"Class diagram","level":4,"score":0.7048541903495789},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.599695086479187},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5760797262191772},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.5155851244926453},{"id":"https://openalex.org/C2781238097","wikidata":"https://www.wikidata.org/wiki/Q175026","display_name":"Object (grammar)","level":2,"score":0.5137808918952942},{"id":"https://openalex.org/C75606506","wikidata":"https://www.wikidata.org/wiki/Q1049183","display_name":"Formal methods","level":2,"score":0.4962480664253235},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.42441874742507935},{"id":"https://openalex.org/C20894473","wikidata":"https://www.wikidata.org/wiki/Q1116105","display_name":"Object model","level":3,"score":0.4165571928024292},{"id":"https://openalex.org/C73752529","wikidata":"https://www.wikidata.org/wiki/Q79872","display_name":"Object-oriented programming","level":2,"score":0.39751899242401123},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.38750946521759033},{"id":"https://openalex.org/C145644426","wikidata":"https://www.wikidata.org/wiki/Q169411","display_name":"Unified Modeling Language","level":3,"score":0.34908339381217957},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.22306570410728455}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.2298/csis110210045v","is_oa":true,"landing_page_url":"https://doi.org/10.2298/csis110210045v","pdf_url":"http://www.doiserbia.nb.rs/ft.aspx?id=1820-02141100045V","source":{"id":"https://openalex.org/S206939107","display_name":"Computer Science and Information Systems","issn_l":"1820-0214","issn":["1820-0214","2406-1018"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310321031","host_organization_name":"ComSIS Consortium","host_organization_lineage":["https://openalex.org/P4310321031"],"host_organization_lineage_names":["ComSIS Consortium"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Computer Science and Information Systems","raw_type":"journal-article"},{"id":"pmh:oai:doiserbia:1820-02141100045V","is_oa":false,"landing_page_url":"http://doi.org/10.2298/CSIS110210045V","pdf_url":null,"source":{"id":"https://openalex.org/S4306400515","display_name":"Digital Object Identifier (DOI) Repository Serbia (National Library of Serbia)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210142455","host_organization_name":"National Library of Serbia","host_organization_lineage":["https://openalex.org/I4210142455"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":". 9(1) 411-429"}],"best_oa_location":{"id":"doi:10.2298/csis110210045v","is_oa":true,"landing_page_url":"https://doi.org/10.2298/csis110210045v","pdf_url":"http://www.doiserbia.nb.rs/ft.aspx?id=1820-02141100045V","source":{"id":"https://openalex.org/S206939107","display_name":"Computer Science and Information Systems","issn_l":"1820-0214","issn":["1820-0214","2406-1018"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310321031","host_organization_name":"ComSIS Consortium","host_organization_lineage":["https://openalex.org/P4310321031"],"host_organization_lineage_names":["ComSIS Consortium"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Computer Science and Information Systems","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2092488655.pdf","grobid_xml":"https://content.openalex.org/works/W2092488655.grobid-xml"},"referenced_works_count":42,"referenced_works":["https://openalex.org/W8871596","https://openalex.org/W76241139","https://openalex.org/W83226528","https://openalex.org/W168126392","https://openalex.org/W175551733","https://openalex.org/W1508005281","https://openalex.org/W1524763139","https://openalex.org/W1571307003","https://openalex.org/W1596101456","https://openalex.org/W1601957077","https://openalex.org/W1602650507","https://openalex.org/W1626513099","https://openalex.org/W1757960057","https://openalex.org/W1792544192","https://openalex.org/W1817859439","https://openalex.org/W1895387792","https://openalex.org/W1923262203","https://openalex.org/W1928896584","https://openalex.org/W1977901513","https://openalex.org/W1981565634","https://openalex.org/W1984007424","https://openalex.org/W1998017916","https://openalex.org/W1998400029","https://openalex.org/W1998775761","https://openalex.org/W2000117114","https://openalex.org/W2003090438","https://openalex.org/W2047394821","https://openalex.org/W2060169151","https://openalex.org/W2106770798","https://openalex.org/W2107155927","https://openalex.org/W2119284483","https://openalex.org/W2131538533","https://openalex.org/W2140527460","https://openalex.org/W2142346010","https://openalex.org/W2155102375","https://openalex.org/W2159765281","https://openalex.org/W2162455108","https://openalex.org/W2182935951","https://openalex.org/W2224417275","https://openalex.org/W2587548577","https://openalex.org/W2615300779","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W2385744953","https://openalex.org/W940661043","https://openalex.org/W621544819","https://openalex.org/W2149906442","https://openalex.org/W2155849432","https://openalex.org/W2890872911","https://openalex.org/W2407139891","https://openalex.org/W1510078815","https://openalex.org/W3016740592","https://openalex.org/W2384267374"],"abstract_inverted_index":{"In":[0,53],"this":[1],"paper":[2],"a":[3,23,26,33],"formal":[4,34],"model":[5,16,56],"for":[6],"class":[7,61],"and":[8,43,62],"object":[9,63],"diagrams":[10],"is":[11,22],"presented.":[12],"To":[13],"make":[14],"the":[15,17,38,54,57,68],"author":[18],"used":[19],"Alloy,":[20],"which":[21],"threein-one":[24],"package:":[25],"modeling":[27],"language":[28],"that":[29,36,46,59,70],"constructs":[30],"software":[31,41,51],"models,":[32],"method":[35],"guides":[37],"construction":[39],"of":[40],"models":[42],"an":[44],"analyzer":[45],"helps":[47],"find":[48],"inconsistencies":[49],"in":[50],"models.":[52],"proposed":[55],"entities":[58],"form":[60],"diagrams,":[64],"as":[65,67],"well":[66],"rules":[69],"govern":[71],"how":[72],"these":[73],"elements":[74],"can":[75],"be":[76],"connected,":[77],"are":[78],"specified.":[79]},"counts_by_year":[{"year":2020,"cited_by_count":1},{"year":2018,"cited_by_count":1},{"year":2017,"cited_by_count":1},{"year":2015,"cited_by_count":1}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}