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: Conrad Bock (Fed)

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

Verifying Executability of SysML Behavior Models Using Alloy Analyzer

August 24, 2021
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

Model of Operational Control of Discrete Event Logistics Systems (DELS)

July 8, 2021
Author(s)
Timothy A. Sprock, Conrad Bock
Operations management systems manage flows of work, resources, and information through production and logistics systems, ensuring the correct and efficient execution of requested work. These systems can leverage recent advances in data availability

SysML Models for Discrete Event Logistics Systems

July 29, 2020
Author(s)
Timothy A. Sprock, Conrad E. Bock
System models and model-based engineering methods have the promise of transforming the way that industrial engineers interact with production and logistics systems. Model-based methods play a role in improving communication between stakeholders

Theory of Discrete Event Logistics Systems (DELS) Specification

June 12, 2020
Author(s)
Timothy A. Sprock, George Thiers, Leon F. McGinnis, Conrad E. Bock
System models and model-based engineering methods have the promise of transforming the way that industrial engineers interact with production and logistics systems. Model-based methods play a role in improving communication between stakeholders

Integrating four-dimensional ontology and systems requirements modelling

July 18, 2019
Author(s)
Conrad E. Bock, Charles Galey
Ontology has many applications to engineering but is not easily taken up by engineers. For example, specifying products in space and time together (four dimensions) enables more reliable modelling and analysis, but this work is primarily ontological and

FEA solver integration framework

June 20, 2019
Author(s)
Conrad E. Bock, Jerome Szarazi
Integrating finite element analysis (FEA) with systems engineering (SE) would improve traceability, consistency, and interoperability between SE and FEA activities in multiple engineering disciplines. The first step in achieving this is a software

Conceptual Modeling

August 19, 2017
Author(s)
Conrad E. Bock, Fatma Dandashi, Sanford Friedenthal, Natalie Harrison, Steven Jenkins, Leon McGinnis, Janos Sztipanovits, Adelinde Uhrmacher, Eric Weisel, Lin Zhang
Understanding and developing complex systems requires collaboration between individuals with widely varying expertise. Communication between these individuals is facilitated by conceptual models. Conceptual models are early stage artifacts that integrate

Integrating Finite Element Analysis with Systems Engineering Models

June 11, 2017
Author(s)
Jerome Szarazi, Axel Reichwein, Conrad Bock
In order to promote traceability, consistency, interoperability and better collaboration between systems engineering and Finite Element Analysis (FEA)-based simulation activities, we propose a tool-independent description of FEA models that integrates with

STANDARDS SUPPORTING SIMULATIONS OF SMART MANUFACTURING SYSTEMS

December 12, 2016
Author(s)
Conrad Bock, Guodong Shao, Kevin W. Lyons, Ronay Ak, KC Morris, Bjoern J. Johansson
Manufacturing standards provide the means for industries to effectively and consistently deploy methodologies and technologies to assess process performance. These assessments set the stage for controlling the manufacturing systems and processes and

Reusing Metamodels and Notation with Diagram Definition

June 28, 2016
Author(s)
Conrad E. Bock, Maged Elaasar
It is increasingly common for language specifications to separate visual forms (concrete syntax) from underlying concepts (abstract syntax), enabling languages to define multiple visual forms for the same underlying concepts, and for the same visual form

Feasibility of Integrating OAGIS and BPMN

October 22, 2014
Author(s)
Denis Gagne, Conrad Bock
Engineering and enterprise processes overlap in their concerns, for example, coordinating product design and customer relations. Integration of these processes provides more efficient communication and higher quality results than leaving them separated

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

Componentization in the Systems Modeling Language

November 20, 2013
Author(s)
Conrad E. Bock
This paper describes new capabilities in the Systems Modeling Language that reduce the complexity of specifying systems through componentization, and increase the range of systems that can be specified. Modelers can identify portions of components

Engineering Change Management Concepts for Systems Modeling

April 22, 2013
Author(s)
Conrad E. Bock, Allison Barnard Feeney
A significant cost of manufactured systems arises in changing system specifications after they have been built and delivered to customers. This might be due to errors in the original specifications, feedback from customers, competition from other producers

SysML extension for dynamical system simulation tools

October 26, 2012
Author(s)
Ion Matei, Conrad E. Bock
Computer-interpretable representations of system structure and behavior are at the center of designing today’s complex systems. Engineers create and review such representations using graphical modeling languages that support specification, analysis, design

Modeling Methodologies and Simulation for Dynamical Systems

August 27, 2012
Author(s)
Ion Matei, Conrad E. Bock
Computer-interpretable representations of system structure and behavior are at the center of designing today’s complex systems. Engineers create and review such representations using graphical modeling languages that support specification, analysis, design

An Analysis of Solver-Based Simulation Tools

March 7, 2012
Author(s)
Ion Matei, Conrad E. Bock
Computer-interpretable representations of systems’ structure and behavior are at the center of designing today’s complex systems. Engineers create and review such representations using (graphical) modeling languages that support specification, analysis

New Capabilities for Interaction Modeling in BPMN 2.0

January 15, 2012
Author(s)
Conrad E. Bock, Stephen White
Interaction models capture how businesses interact with customers and each other to provide products and services. The trend toward combinations of products and services increases the complexity of interactions beyond the capacity of conventional business