Research Initiation:  Formal Modeling of Parallel           Computations for Improvements  of the Parallel Software     Development Process
{'Code': '05010500', 'Directorate': {'Abbreviation': 'CSE', 'LongName': 'Direct For Computer & Info Scie & Enginr'}, 'Division': {'Abbreviation': 'CCF', 'LongName': 'Division of Computing and Communication Foundations'}}
{'SignBlockName': 'Janet L. Gatton', 'PO_EMAI': None, 'PO_PHON': None}
Large-scale distributed-memory machine designs represent a very                 attractive possibility for low-cost massively-parallel computation              power.  This work provides mathematical foundations of computing and            computation theory by developing new models for designing, structuring,         and analyzing software for such machines.                                                                                                                       The main objective of this research is to develop and refine modeling           methodologies for parallel/distributed computations.  These techniques          will be based on the modeling and analysis capabilities of Extended             Petri Nets and Communicating Finite Automata.  In addition to the well-         known properties of these modeling mechanisms, new properties of                parallel computation behavior will be investigated, primarily                   influenced by relevant analytical properties from the field of control          theory.                                                                                                                                                         This work forms a basis for new software development methodologies for          parallel computers.  Most significant will be its impact on improving           the usability of the class of easy-to-build, but difficult-to-use, non-         shared memory MIMD systems.
{'FirstName': 'Thomas', 'LastName': 'Casavant', 'PI_MID_INIT': 'L', 'PI_SUFX_NAME': None, 'PI_FULL_NAME': 'Thomas L Casavant', 'EmailAddress': 'tomc@eng.uiowa.edu', 'NSF_ID': '000391686', 'StartDate': '07/01/1988', 'EndDate': None, 'RoleCode': 'Principal Investigator'}
{'Name': 'Purdue Research Foundation', 'CityName': 'WEST LAFAYETTE', 'ZipCode': '479064353', 'PhoneNumber': '3174946200', 'StreetAddress': '1281 WIN HENTSCHEL BLVD STE 2500', 'StreetAddress2': None, 'CountryName': 'United States', 'StateName': 'Indiana', 'StateCode': 'IN', 'CONGRESSDISTRICT': '04', 'CONGRESS_DISTRICT_ORG': 'IN04', 'ORG_UEI_NUM': 'C1G1LGYJF5G5', 'ORG_LGL_BUS_NAME': 'PURDUE RESEARCH FOUNDATION', 'ORG_PRNT_UEI_NUM': 'YRXVL4JYCEF5'}
{'Name': None, 'CityName': None, 'StateCode': None, 'ZipCode': None, 'StreetAddress': None, 'CountryCode': None, 'CountryName': None, 'StateName': None, 'CountryFlag': None, 'CONGRESSDISTRICT': None, 'CONGRESS_DISTRICT_PERF': '""'}
{'Code': '2880', 'Text': 'SOFTWARE ENGINEERING AND LANGU'}
{'url': 'https://www.nsf.gov/awardsearch/download?DownloadFileName=1988&All=true', 'xml': '8809600.xml'}