Experience:
Trained at Stanford, Mr. Bock began his career developing parts of a best-of-breed expert system shell, and applying it to the domains of gene-splicing, nuclear power, and truck configuration. While one of these applications was spun off in a separate company, he participated in government research in knowledge systems, inventing new techniques and languages that were later included in commercial products. Based on these products, he led a group producing a tool for a major process and object-oriented method. This attracted investment from SAP, and he joined methodologists from SAP and Microsoft in developing unified business process models.
Mr. Bock is at the U.S. National Institute of Standards and Technology in the Systems Integration Division as:
Past project leader for systems engineering standards, and co-chair of the Object Management Group Revision Task Force for the Systems Modeling Language, versions 1.3 and 1.4. SysML facilitates specification and interchange of requirements and high-level designs for hardware, software, and human systems. He led work on the SysML 1.3 upgrade for modularity, the SysML 1.4 upgrade for variability. He was also the lead for process modeling extensions in all SysML versions, and contributes to requirements and allocation models.
Significant contributor to the Business Process Model and Notation 2 (BPMN 2), a major upgrade to BPMN with improvements for modeling interaction between businesses or parts of a business. He led the development of semantics for public process modeling, and integrating interactions with internal business processes. He also led development of a UML extension for BPMN.
Specialist in modeling language formalization, focusing on representation of processes and composite objects, and facilitating the capture of implicit knowledge. His work leverages ontology-based language development, and the Process Specification Language (PSL), a first-order axiomitization of processes supporting automated consistency checking of rules against processes, as well as RDF/S and OWL. He used PSL to develop the first standard formalization of UML.
One of the primary contributors to the Unified Modeling Language at the Object Management Group. He was the founding workgroup lead for process models in UML 2, for driving business process and enterprise integration systems. He was also the founding workgroup lead for UML 2/UML 1.5 actions, for modeling the coded parts of a system, and enabling UML to completely describe an executable system and support retargetable compilation (MDA).
Currently project leader for integrating systems and engineering analysis models, leading research in interoperability between models used in systems engineering and specialized engineering disciplines, such as 1D simulation and logical formalization in SysML 2. This is expected to increase efficiency of systems development and operations by reducing time and cost for coordinating results from multiple engineering analyses in overall system models.
Mr. Bock received two U.S. Department of Commerce Bronze Medals and an International Council on Systems Engineering Outstanding Service Award for the work in the first and fourth bullets above.