David W. Flater

Learn More
The Object Management Group™ (the consortium that issues the Common Object Request Broker Architecture (CORBA®) and Unified Modeling Language™ standards) is making the transition from a standards architecture in which only interface definitions are normative to one in which the model is the primary normative artifact. This paper discusses the impact of this(More)
SUMMARY The acceptance of the C programming language by academia and industry is partially responsible for the 'software crisis'. The simple, trusting semantics of C mask many common faults, such as range violations, which would be detected and reported at run-time by programs coded in a robust language such as Ada.* This needlessly complicates the(More)
The Contract Net protocol is a general-purpose protocol for distributed problem solving. Many modern agent infrastructures facilitate the generation of agents supporting Contract Net. We used one such infrastructure to simulate a Contract Net-based approach to job scheduling and found that some jobs failed to get scheduled even though the resources were(More)
New software standards supporting integration of manufacturing and engineering systems are emerging at a rapid pace. Two groups, the OMG (the Object Management Group) 1 and the community producing STEP (formally known as ISO 10303: the Standard for the Exchange of Product Model Data), dominate in the production of standards for manufacturing and engineering(More)
Our high technology society continues to rely more and more upon sophisticated measurements, technical standards, and associated testing activities. This was true for the industrial society of the 20th century and remains true for the information society of the 21st century. Over the last half of the 20th century, information technology (IT) has been a(More)
  • David Flater
  • 2003
Conceptual integrity is required for the result of data integration to be cohesive and sensible. Compromised conceptual integrity results in "semantic faults," which are commonly blamed for latent integration bugs. A logical model of conceptual integrity in data integration and a simple example application are presented. Unlike constructive models that(More)