{"id":"https://openalex.org/W1982731436","doi":"https://doi.org/10.1002/scj.4690260301","title":"Automatic process design from nonprocedural specification","display_name":"Automatic process design from nonprocedural specification","publication_year":1995,"publication_date":"1995-01-01","ids":{"openalex":"https://openalex.org/W1982731436","doi":"https://doi.org/10.1002/scj.4690260301","mag":"1982731436"},"language":"en","primary_location":{"id":"doi:10.1002/scj.4690260301","is_oa":false,"landing_page_url":"https://doi.org/10.1002/scj.4690260301","pdf_url":null,"source":{"id":"https://openalex.org/S58208175","display_name":"Systems and Computers in Japan","issn_l":"0882-1666","issn":["0882-1666","1520-684X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Systems and Computers in Japan","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"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/A5101951567","display_name":"Minoru Harada","orcid":"https://orcid.org/0000-0002-2754-1160"},"institutions":[{"id":"https://openalex.org/I131231118","display_name":"Aoyama Gakuin University","ror":"https://ror.org/002rw7y37","country_code":"JP","type":"education","lineage":["https://openalex.org/I131231118"]},{"id":"https://openalex.org/I36253440","display_name":"IEEE Computer Society","ror":"https://ror.org/05nxk6n24","country_code":"US","type":"nonprofit","lineage":["https://openalex.org/I36253440"]},{"id":"https://openalex.org/I4387930200","display_name":"Information Processing Society of Japan","ror":"https://ror.org/02v970d04","country_code":null,"type":"nonprofit","lineage":["https://openalex.org/I4387930200"]}],"countries":["JP","US"],"is_corresponding":true,"raw_author_name":"Minoru Harada","raw_affiliation_strings":["Faculty of Science and Engineering, Aoyama Gakuin University, Tokyo, Japan 157","Minoru Harada, Associate Professor of the Faculty of Science and Engineering of Aoyama Gakuin University. He received his B.S., M.S., and Ph.D. degrees from University of Tokyo in 1975, 1977, and 1980, respectively. His major research interests include automaticprogramming, software design automation, intelligent CASE, object oriented CASE, dynamic robot vision, and stock investment support expert system. Dr. Harada served on the Editorial Board for Information Processing Society of Japan and is a member of the Association for Computing Machinery; Sigsoft; and IEEE Computer Society","Minoru Harada, Associate Professor of the Faculty of Science and Engineering of Aoyama Gakuin University. He received his B.S., M.S., and Ph.D. degrees from University of Tokyo in 1975, 1977, and 1980, respectively. His major research interests include automaticprogramming, software design automation, intelligent CASE, object oriented CASE, dynamic robot vision, and stock investment support expert system. Dr. Harada served on the Editorial Board for Information Processing Society of Japan and is a member of the Association for Computing Machinery","IEEE Computer Society","Sigsoft"],"affiliations":[{"raw_affiliation_string":"Faculty of Science and Engineering, Aoyama Gakuin University, Tokyo, Japan 157","institution_ids":["https://openalex.org/I131231118"]},{"raw_affiliation_string":"Minoru Harada, Associate Professor of the Faculty of Science and Engineering of Aoyama Gakuin University. He received his B.S., M.S., and Ph.D. degrees from University of Tokyo in 1975, 1977, and 1980, respectively. His major research interests include automaticprogramming, software design automation, intelligent CASE, object oriented CASE, dynamic robot vision, and stock investment support expert system. Dr. Harada served on the Editorial Board for Information Processing Society of Japan and is a member of the Association for Computing Machinery; Sigsoft; and IEEE Computer Society","institution_ids":[]},{"raw_affiliation_string":"Minoru Harada, Associate Professor of the Faculty of Science and Engineering of Aoyama Gakuin University. He received his B.S., M.S., and Ph.D. degrees from University of Tokyo in 1975, 1977, and 1980, respectively. His major research interests include automaticprogramming, software design automation, intelligent CASE, object oriented CASE, dynamic robot vision, and stock investment support expert system. Dr. Harada served on the Editorial Board for Information Processing Society of Japan and is a member of the Association for Computing Machinery","institution_ids":["https://openalex.org/I131231118","https://openalex.org/I4387930200"]},{"raw_affiliation_string":"IEEE Computer Society","institution_ids":["https://openalex.org/I36253440"]},{"raw_affiliation_string":"Sigsoft","institution_ids":[]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5046523037","display_name":"Junichi Nishimurae","orcid":null},"institutions":[{"id":"https://openalex.org/I131231118","display_name":"Aoyama Gakuin University","ror":"https://ror.org/002rw7y37","country_code":"JP","type":"education","lineage":["https://openalex.org/I131231118"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Junichi Nishimurae","raw_affiliation_strings":["Junichi Nishimura received his B.Eng. degree in Industrial Engineering from Aoyama Gakuin University in 1994, where he is currently a graduate student. His areas of interest include automatic programming and automatic software design","Undergraduate School of Science and Engineering, Aoyama Gakuin University, Tokyo, Japan 157"],"affiliations":[{"raw_affiliation_string":"Junichi Nishimura received his B.Eng. degree in Industrial Engineering from Aoyama Gakuin University in 1994, where he is currently a graduate student. His areas of interest include automatic programming and automatic software design","institution_ids":[]},{"raw_affiliation_string":"Undergraduate School of Science and Engineering, Aoyama Gakuin University, Tokyo, Japan 157","institution_ids":["https://openalex.org/I131231118"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5057689148","display_name":"Yoshiyuki Nakamura","orcid":"https://orcid.org/0000-0003-0166-2658"},"institutions":[{"id":"https://openalex.org/I4210122684","display_name":"Sony Computer Science Laboratories","ror":"https://ror.org/02nc46417","country_code":"JP","type":"facility","lineage":["https://openalex.org/I4210122684"]}],"countries":["JP"],"is_corresponding":false,"raw_author_name":"Yoshiyuki Nakamura","raw_affiliation_strings":["Management and Engineering Information Systems Group, Sony Corporation, Yokohama, Japan 240","Yoshiyuki Nakamura received his B. Eng. and M.B. degrees in Industrial Engineering all from Aoyama Gakuin University in 1991 and 1993, respectively. He currently is with the Management and Engineering Information Systems Group, Sony Corporation"],"affiliations":[{"raw_affiliation_string":"Management and Engineering Information Systems Group, Sony Corporation, Yokohama, Japan 240","institution_ids":["https://openalex.org/I4210122684"]},{"raw_affiliation_string":"Yoshiyuki Nakamura received his B. Eng. and M.B. degrees in Industrial Engineering all from Aoyama Gakuin University in 1991 and 1993, respectively. He currently is with the Management and Engineering Information Systems Group, Sony Corporation","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5101951567"],"corresponding_institution_ids":["https://openalex.org/I131231118","https://openalex.org/I36253440","https://openalex.org/I4387930200"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.16253555,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"26","issue":"3","first_page":"1","last_page":"16"},"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.9995999932289124,"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.9995999932289124,"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/T10317","display_name":"Advanced Database Systems and Queries","score":0.9984999895095825,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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/T10679","display_name":"Service-Oriented Architecture and Web Services","score":0.9970999956130981,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8200417160987854},{"id":"https://openalex.org/keywords/cobol","display_name":"COBOL","score":0.7812949419021606},{"id":"https://openalex.org/keywords/identifier","display_name":"Identifier","score":0.6071574091911316},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.5786932706832886},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.543006956577301},{"id":"https://openalex.org/keywords/dependency","display_name":"Dependency (UML)","score":0.5135519504547119},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.48690950870513916},{"id":"https://openalex.org/keywords/transformation","display_name":"Transformation (genetics)","score":0.4601396322250366},{"id":"https://openalex.org/keywords/software","display_name":"Software","score":0.41933396458625793},{"id":"https://openalex.org/keywords/software-engineering","display_name":"Software engineering","score":0.3940037488937378},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.3609046936035156}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8200417160987854},{"id":"https://openalex.org/C128595289","wikidata":"https://www.wikidata.org/wiki/Q131140","display_name":"COBOL","level":2,"score":0.7812949419021606},{"id":"https://openalex.org/C154504017","wikidata":"https://www.wikidata.org/wiki/Q853614","display_name":"Identifier","level":2,"score":0.6071574091911316},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.5786932706832886},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.543006956577301},{"id":"https://openalex.org/C19768560","wikidata":"https://www.wikidata.org/wiki/Q320727","display_name":"Dependency (UML)","level":2,"score":0.5135519504547119},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.48690950870513916},{"id":"https://openalex.org/C204241405","wikidata":"https://www.wikidata.org/wiki/Q461499","display_name":"Transformation (genetics)","level":3,"score":0.4601396322250366},{"id":"https://openalex.org/C2777904410","wikidata":"https://www.wikidata.org/wiki/Q7397","display_name":"Software","level":2,"score":0.41933396458625793},{"id":"https://openalex.org/C115903868","wikidata":"https://www.wikidata.org/wiki/Q80993","display_name":"Software engineering","level":1,"score":0.3940037488937378},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.3609046936035156},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1002/scj.4690260301","is_oa":false,"landing_page_url":"https://doi.org/10.1002/scj.4690260301","pdf_url":null,"source":{"id":"https://openalex.org/S58208175","display_name":"Systems and Computers in Japan","issn_l":"0882-1666","issn":["0882-1666","1520-684X"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320595","host_organization_name":"Wiley","host_organization_lineage":["https://openalex.org/P4310320595"],"host_organization_lineage_names":["Wiley"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Systems and Computers in Japan","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Industry, innovation and infrastructure","id":"https://metadata.un.org/sdg/9","score":0.44999998807907104}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":12,"referenced_works":["https://openalex.org/W41320362","https://openalex.org/W2012436850","https://openalex.org/W2056892625","https://openalex.org/W2066929280","https://openalex.org/W2144192824","https://openalex.org/W2160823258","https://openalex.org/W2165467455","https://openalex.org/W2185907055","https://openalex.org/W2341823064","https://openalex.org/W2566001905","https://openalex.org/W2945526390","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W1840931092","https://openalex.org/W2991765713","https://openalex.org/W4251738056","https://openalex.org/W568969596","https://openalex.org/W2500262580","https://openalex.org/W2139603995","https://openalex.org/W2336409323","https://openalex.org/W825067173","https://openalex.org/W1980886828","https://openalex.org/W277324147"],"abstract_inverted_index":{"Abstract":[0],"There":[1],"are":[2,71,80,164,173,179],"very":[3],"few":[4],"systems":[5],"for":[6,21,129],"automatic":[7,45,198,204],"process":[8,24,46,115,155],"designing":[9,22],"despite":[10],"its":[11],"importance":[12],"in":[13,121,167,181],"the":[14,28,36,39,63,113,118,125,138,142,159],"middle":[15],"software":[16],"development":[17],"phase.":[18],"A":[19],"theory":[20],"a":[23,32,55,74,150],"flow":[25],"depending":[26],"on":[27],"functional":[29],"dependency":[30],"between":[31,65],"data":[33,40,60],"item":[34],"and":[35,43,69,87,141,177,203],"structure":[37],"of":[38,58,67,76,85,98,102,109,152],"was":[41,50],"postulated":[42],"an":[44],"design":[47,200],"system":[48,201,206],"ECS/P":[49],"then":[51,145],"developed.":[52],"EOS/P":[53,103,127],"inputs":[54],"nonprocedural":[56],"specification":[57,163],"business":[59],"processing,":[61],"wherein":[62],"relationship":[64],"attributes":[66,79],"entities":[68,86],"associations":[70],"represented":[72],"as":[73],"set":[75],"equations.":[77],"These":[78,89],"modified":[81,143,154,162],"here":[82],"by":[83,96,146,194],"identifiers":[84],"associations.":[88,99],"modifications":[90],"may":[91],"be":[92,188],"single\u2010step":[93,153],"or":[94],"multistep":[95,131,161],"way":[97],"The":[100,183],"purpose":[101],"is":[104],"to":[105,158],"generate":[106],"specifications,":[107],"each":[108,130],"which":[110],"can":[111,187],"perform":[112],"required":[114],"without":[116],"storing":[117],"intermediate":[119,171],"results":[120],"outer":[122],"files.":[123,182],"Therefore,":[124],"first":[126],"creates":[128],"modification":[132],"merged":[133],"files":[134,149,172],"that":[135],"include":[136],"both":[137],"modifier":[139],"entity":[140],"entity;":[144],"using":[147],"these":[148],"series":[151],"specifications":[156,186],"equivalent":[157],"given":[160],"generated.":[165],"Furthermore,":[166],"this":[168],"transformation,":[169],"appropriate":[170],"created":[174],"when":[175],"order\u2010clash":[176],"structure\u2010clash":[178],"detected":[180],"finally":[184],"generated":[185],"transformed":[189],"automatically":[190],"into":[191],"COBOL":[192],"programs":[193],"our":[195],"previously":[196],"proposed":[197],"module":[199],"EOS/M":[202],"programming":[205],"SPACE.":[207]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}