Engineering Commons^™

Development Of A Message Model To Support Integrated Design And Manufacturing, Venkat Allada, Steven Ray

Steven R Ray

Mere sharing of information between engineering design systems and manufacturing systems does not represent an ideal integrated system. While information sharing represents an important aspect of an integrated design and manufacturing environment, an equally critical aspect is the "interaction" capability of the two systems. This interaction could be in the form of feedback and request messages between the design and manufacturing systems. The goal of this study is to investigate the issues involved in the development of a conceptual message model that will facilitate an "upstream" and a "downstream" communication between the design activities and process planning activities. The development …

Singular And Plural Non-Deterministic Parameters, Sigurd Meldal, M. A. Walicki

Sigurd Meldal

The article defines algebraic semantics of singular (call-time-choice) and plural (run-time-choice) nondeterministic parameter passing and presents a specification language in which operations with both kinds of parameters can be defined simultaneously. Sound and complete calculi for both semantics are introduced. We study the relations between the two semantics and point out that axioms for operations with plural arguments may be considered as axiom schemata for operations with singular arguments.

Using Process Requirements As The Basis For The Creation And Evaluation Of Process Ontologies For Enterprise Modeling, Michael Gruninger, Craig Schlenoff, Amy Knutilla, Steven Ray

Steven R Ray

No abstract provided.

Proceedings Of The First Process Specification Language (Psl) Roundtable, Craig Schlenoff, Amy Knutilla, Steven Ray

Steven R Ray

In April, 1997, the Process Specification Language (PSL) Project held a Roundtable discussion at the National Institute of Standards and Technology (NIST). The goals of the Roundtable was to assemble key champions and stakeholders of various approaches towards process representation in order to discuss the relative merits to reach consensus on a language architecture and to establish a technical approach for proceeding. It was agreed that the language architecture should be based upon a formal semantic foundation, upon which would be layered a number of syntactic mappings, each with one or more presentations.

In discussions about principal concepts of any …

Computer System For Simulating Physical Processes Using Multiple Integer State Vectors Us:5594671, Hudong Chen, Peter Churchill, Robert Iannucci, Kim Molvig, Gregory Papadopoulos, Stephen Remondi, Christopher Teixeira, Kenneth Traub

Robert A Iannucci

No abstract provided.

Test Selection For Object-Oriented Software Based On Formal Specifications, Cécile Péraire, StéPhane Barbey, Didier Buchs

Cécile Péraire

No abstract provided.

English-Chinese Bilingual Database And The Compilation Of Dictionary, Gan Ye

Gan Ye (Grace Ye, 叶敢 ）

No abstract provided.