U.S. flag

An official website of the United States government

Official websites use .gov
A .gov website belongs to an official government organization in the United States.

Secure .gov websites use HTTPS
A lock ( ) or https:// means you’ve safely connected to the .gov website. Share sensitive information only on official, secure websites.

Search Publications by: Raphael Barbau (Assoc)

Search Title, Abstract, Conference, Citation, Keyword or Author
Displaying 1 - 17 of 17

Physical Component Libraries for SysPhS Modeling and Simulation in Manufacturing

October 10, 2023
Author(s)
Charles Manion, Conrad Bock, Raphael Barbau
Computer-interpretable representations of system structure and behavior are at the center of developing today's complex systems. Systems engineers create and review these representations using graphical languages and information models that capture

Verifying Executability of SysML Behavior Models Using Alloy Analyzer

February 24, 2022
Author(s)
Jeremy Doerr, Conrad Bock, Raphael Barbau
This report presents an approach to verifying executability of system behavior models by treating them as logical constraint problems solved using Alloy Analyzer, a non-proprietary software tool supporting a textual language for logical constraints and

Platform-Independent Debugging of Physical Interaction and Signal Flow Models

September 16, 2019
Author(s)
Mehdi Dadfarnia, Raphael Barbau
Systems engineering tools are used to organize development activities of a wide variety ofen gineers, many of which develop their own discipline-specific simulation models. To increase the efficiency of this process, systems modeling tools have been

BPMN Profile for Operational Requirements

June 2, 2014
Author(s)
Conrad E. Bock, Raphael Barbau, Anantha Narayanan Narayanan
An important aspect of systems and products is how they interact with their environment, including how they are operated. Behaviors external to systems usually involve people not trained in the details of how systems are designed and built, but who need to

Towards a Reference Architecture for Archival Systems: Use Case With Product Data

April 28, 2014
Author(s)
Raphael Barbau, Joshua Lubell, Sudarsan Rachuri, Sebti Foufou
Long-term preservation of product data is imperative for many organizations. A product data archive should be designed to ensure information accessibility and understanding over time. Approaches such as the Open Archival Information System (OAIS) Reference

Toward a reference architecture for archival systems

July 10, 2013
Author(s)
Raphael Barbau, Joshua Lubell, Sudarsan Rachuri, Sebti Foufou
Long-term preservation of product data is imperative for many organizations. A product data archive should be designed to ensure information accessibility and understanding over time. Approaches such as the Open Archival Information System (OAIS) Reference

OntoSTEP: Enriching Product Model Data Using Ontologies

August 31, 2010
Author(s)
Raphael Barbau, Sylvere I. Krima, Xenia Fiorentini, Sudarsan Rachuri, Anantha Narayanan Narayanan, Sebti Foufou, Ram D. Sriram
The representation and management of product lifecycle information is critical to the success of any manufacturing organization. Different modeling languages are adopted to represent different product information, for example EXPRESS for geometry as seen

OntoSTEP: OWL-DL Ontology for STEP

June 15, 2009
Author(s)
Sylvere Krima, Raphael Barbau, Xenia Fiorentini, Sudarsan Rachuri, sebti foufou, Ram D. Sriram
The Standard for the Exchange of Product model data (STEP) [1] contains product information mainly related to geometry. The modeling language used to develop this standard, EXPRESS, does not have logical formalism that will enable rigorous semantics. In

OntoSTEP: OWL-DL Ontology for STEP

May 4, 2009
Author(s)
Sylvere Krima, Raphael Barbau, Xenia Fiorentini, Sudarsan Rachuri, Ram D. Sriram
The Standard for the Exchange of Product model data (STEP) [1] contains product information mainly related to geometry. The modeling language used to develop this standard, EXPRESS, does not have logical formalism that will enable rigorous semantics. In