{"id":"https://openalex.org/W15487747","doi":null,"title":"Towards Automated Checking of Component-Oriented Enterprise Applications","display_name":"Towards Automated Checking of Component-Oriented Enterprise Applications","publication_year":2002,"publication_date":"2002-01-01","ids":{"openalex":"https://openalex.org/W15487747","mag":"15487747"},"language":"en","primary_location":{"id":"pmh:oai:CiteSeerX.psu:10.1.1.20.5651","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.20.5651","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.tcs.hut.fi/Publications/msmakela/mola.pdf","raw_type":"text"},"volume":null,"type":"article","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/A5054216396","display_name":"Jukka J\u00e4rvenp\u00e4\u00e4","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Jukka J\u00e4rvenp\u00e4\u00e4","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":null,"display_name":"Marko M. M\u00e4kel\u00e4","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Marko M. M\u00e4kel\u00e4","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"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.00273973,"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/T10142","display_name":"Formal Methods in Verification","score":0.8765000104904175,"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.8765000104904175,"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.08060000091791153,"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.019999999552965164,"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/component-based-software-engineering","display_name":"component-based software engineering","score":0.6759999990463257},{"id":"https://openalex.org/keywords/enterprise-software","display_name":"enterprise software","score":0.9589999914169312},{"id":"https://openalex.org/keywords/automated-verification","display_name":"automated verification","score":0.6069999933242798},{"id":"https://openalex.org/keywords/formal-methods","display_name":"formal methods","score":0.6430000066757202},{"id":"https://openalex.org/keywords/state-space-explosion","display_name":"state space explosion","score":0.6830000281333923},{"id":"https://openalex.org/keywords/model-extraction","display_name":"model extraction","score":0.5770000219345093},{"id":"https://openalex.org/keywords/component-interconnection","display_name":"component interconnection","score":0.375},{"id":"https://openalex.org/keywords/data-centric-applications","display_name":"data-centric applications","score":0.6759999990463257},{"id":"https://openalex.org/keywords/model-parameters","display_name":"model parameters","score":0.3370000123977661}],"concepts":[{"id":"https://openalex.org/C168167062","wikidata":"https://www.wikidata.org/wiki/Q1117970","display_name":"Component (thermodynamics)","level":2,"score":0.8014445304870605},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7125256657600403},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.6426729559898376},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.45457902550697327},{"id":"https://openalex.org/C2776760102","wikidata":"https://www.wikidata.org/wiki/Q5139990","display_name":"Code (set theory)","level":3,"score":0.4255754053592682},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.42138510942459106},{"id":"https://openalex.org/C174683762","wikidata":"https://www.wikidata.org/wiki/Q609588","display_name":"Component-based software engineering","level":4,"score":0.42007049918174744},{"id":"https://openalex.org/C110251889","wikidata":"https://www.wikidata.org/wiki/Q1569697","display_name":"Model checking","level":2,"score":0.41202133893966675},{"id":"https://openalex.org/C201995342","wikidata":"https://www.wikidata.org/wiki/Q682496","display_name":"Systems engineering","level":1,"score":0.407431960105896},{"id":"https://openalex.org/C529173508","wikidata":"https://www.wikidata.org/wiki/Q638608","display_name":"Software development","level":3,"score":0.32221516966819763},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.31497102975845337},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.1941777765750885},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.0},{"id":"https://openalex.org/C97355855","wikidata":"https://www.wikidata.org/wiki/Q11473","display_name":"Thermodynamics","level":1,"score":0.0},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"pmh:oai:CiteSeerX.psu:10.1.1.20.5651","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.20.5651","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.tcs.hut.fi/Publications/msmakela/mola.pdf","raw_type":"text"},{"id":"mag:15487747","doi":null,"is_oa":false,"landing_page_url":"http://lib.tkk.fi/Diss/2003/isbn9512267926/article5.pdf","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":17,"referenced_works":["https://openalex.org/W1543180705","https://openalex.org/W1552119515","https://openalex.org/W1582795455","https://openalex.org/W1583775158","https://openalex.org/W1598754349","https://openalex.org/W1974940962","https://openalex.org/W1992810975","https://openalex.org/W1996832037","https://openalex.org/W2058934337","https://openalex.org/W2080401291","https://openalex.org/W2089139117","https://openalex.org/W2116685080","https://openalex.org/W2126255055","https://openalex.org/W2135274583","https://openalex.org/W2162621793","https://openalex.org/W2162648777","https://openalex.org/W2163646799"],"related_works":["https://openalex.org/W1581163656","https://openalex.org/W7096400865","https://openalex.org/W2571739046","https://openalex.org/W7096666222","https://openalex.org/W7006642619","https://openalex.org/W302833485","https://openalex.org/W7095343683","https://openalex.org/W153423538","https://openalex.org/W7098526406","https://openalex.org/W7099742987"],"abstract_inverted_index":{"Building":[0],"enterprise":[1],"applications":[2,28],"using":[3],"component-based":[4],"frameworks":[5],"has":[6],"been":[7],"suggested":[8],"as":[9],"a":[10,38],"way":[11],"to":[12,75],"help":[13],"companies":[14],"manage":[15,76],"their":[16],"software":[17],"assets.":[18],"We":[19],"propose":[20,83],"tool":[21],"support":[22],"for":[23,60,68],"managing":[24],"these":[25],"high-level":[26],"data-centric":[27],"with":[29],"formal":[30],"methods.":[31],"Our":[32],"method":[33],"is":[34,58],"based":[35],"on":[36],"extracting":[37],"system":[39],"model":[40,57],"from":[41,47],"the":[42,48,53,77,85,92],"models":[43],"of":[44,91],"components":[45,54],"and":[46],"application":[49,86],"code":[50],"which":[51],"glues":[52],"together.":[55],"This":[56],"used":[59],"generating":[61],"state":[62,78],"spaces":[63],"that":[64,84],"can":[65],"be":[66],"checked":[67],"desired":[69],"or":[70],"undesired":[71],"properties.":[72],"In":[73],"order":[74],"space":[79],"explosion":[80],"problem":[81],"we":[82],"developer":[87],"controls":[88],"some":[89],"parameters":[90],"model.":[93]},"counts_by_year":[],"updated_date":"2026-11-04T10:54:05.112534","created_date":"2016-06-24T00:00:00"}