Mark S. Fox

Last updated

Mark Stephen Fox (born 1952) is a Canadian computer scientist, Professor of Industrial Engineering and Distinguished Professor of Urban Systems Engineering at the University of Toronto, known for the development of Constraint Directed Scheduling in the 1980s [1] [2] and the TOVE Project to develop an ontological framework for enterprise modeling and enterprise integration in the 1990s. [3] [4]

Contents

Biography

Fox received his B.Sc. in Computer Science from the University of Toronto in 1975, and his PhD in Computer Science from the Carnegie Mellon University in 1983 with the thesis "Constraint-directed search: a case-study of job-shop scheduling."

Fox started his academic career at Carnegie Mellon University as Associate Professor of Computer Science and Robotics, where he also headed the Center for Integrated Manufacturing Systems of The Robotics Institute. In 1991 he returned to the University of Toronto, where he was appointed Professor of Industrial Engineering at the University of Toronto. He is also Senior Fellow in the Global Cities Institute at the University of Toronto. [5]

He is elected Fellow of the Association for the Advancement of Artificial Intelligence, and elected fellow of the Canadian Institute for Advance Research. [5]

Work

Fox's current research interests concern smart cities, in particular "ontologies for modelling cities and their performance, causal analysis of crowd sourced data (e.g., analysis of reports provided by citizens to the city), and process mapping and analysis of city services (e.g., social services)." [5]

In the past he has been particularly interested the fields of "enterprise engineering (i.e., information technology for business process engineering), constrained-directed reasoning, a unified theory of scheduling, enterprise modelling (i.e., TOVE) and coordination theory." [5]

TOVE project

Toronto Virtual Enterprise Ontologies, Fox and Gruninger (1998). Toronto Virtual Enterprise Ontologies.svg
Toronto Virtual Enterprise Ontologies, Fox and Gruninger (1998).

The TOVE project, acronym of TOronto Virtual Enterprise project is a project to develop an ontological framework for enterprise integration (EI) based on and suited for enterprise modeling. [6] In the beginning of the 1990s it was initiated by Mark S. Fox and others at the University of Toronto . [7] Initially the project had defined four goals: [8]

  1. provides a shared terminology for the enterprise that each agent can jointly understand and use,
  2. defines the meaning of each term (aka semantics) in a precise and as unambiguous manner as possible
  3. implements the semantics in a set of axioms that will enable TOVE to automatically deduce the answer to many "common sense" questions about the enterprise, and
  4. defines a symbology for depicting a term or the concept constructed thereof in a graphical context. [9]

The TOVE framework wants to support reasoning about enterprises, and therefore "provides a characterisation of classes of enterprises by sets of assumptions over their processes, goals, and organization constraints." [10] It has been further developed in the fields of concurrent engineering, supply chain management and business process re-engineering. [5]

Enterprise modeling

In the 1995 seminal article "Methodology for the Design and Evaluation of Ontologies" (1995) Grüninger and Fox outline the definition and scope of enterprise modelling, stating:

In enterprise modelling, we want to define the actions performed within an enterprise, and define constraints for plans and schedules which are constructed to satisfy the goals of the enterprise. This leads to the following set of informal competency questions:
  • Temporal projection - Given a set of actions that occur at different points in the future, what are the properties of resources and activities at arbitrary points in time?
  • Planning and scheduling - what sequence of activities must be completed to achieve some goal? At what times must these activities be initiated and terminated?
  • Execution monitoring and external events - What are the effects of the occurrence of external and unexpected events (such as machine breakdown or the unavailability of resources) on a plan or schedule?
  • Time-based competition - we want to design an enterprise that minimizes the cycle time for a product. This is essentially the task of finding a minimum duration plan that minimizes action occurrences and maximizes concurrency of activities. [11]

Publications

Fox published some books and numerous articles on Artificial Intelligence, Scheduling, Ontologies, and Enterprise Modelling. [12] A selection. Books:

Articles, a selection

Related Research Articles

In information science, an ontology encompasses a representation, formal naming, and definitions of the categories, properties, and relations between the concepts, data, or entities that pertain to one, many, or all domains of discourse. More simply, an ontology is a way of showing the properties of a subject area and how they are related, by defining a set of terms and relational expressions that represent the entities in that subject area. The field which studies ontologies so conceived is sometimes referred to as applied ontology.

<span class="mw-page-title-main">IDEF</span> Family of modeling languages

IDEF, initially an abbreviation of ICAM Definition and renamed in 1999 as Integration Definition, is a family of modeling languages in the field of systems and software engineering. They cover a wide range of uses from functional modeling to data, simulation, object-oriented analysis and design, and knowledge acquisition. These definition languages were developed under funding from U.S. Air Force and, although still most commonly used by them and other military and United States Department of Defense (DoD) agencies, are in the public domain.

<span class="mw-page-title-main">Scott Fahlman</span> American computer scientist (born 1948)

Scott Elliott Fahlman is an American computer scientist and Professor Emeritus at Carnegie Mellon University's Language Technologies Institute and Computer Science Department. He is notable for early work on automated planning and scheduling in a blocks world, on semantic networks, on neural networks, on the programming languages Dylan, and Common Lisp, and he was one of the founders of Lucid Inc. During the period when it was standardized, he was recognized as "the leader of Common Lisp." From 2006 to 2015, Fahlman was engaged in developing a knowledge base named Scone, based in part on his thesis work on the NETL Semantic Network. He also is credited with coining the use of the emoticon.

<span class="mw-page-title-main">CIMOSA</span> Enterprise modeling framework

CIMOSA, standing for "Computer Integrated Manufacturing Open System Architecture", is an enterprise modeling framework, which aims to support the enterprise integration of machines, computers and people. The framework is based on the system life cycle concept, and offers a modelling language, methodology and supporting technology to support these goals.

The Personal Software Process (PSP) is a structured software development process that is designed to help software engineers better understand and improve their performance by bringing discipline to the way they develop software and tracking their predicted and actual development of the code. It clearly shows developers how to manage the quality of their products, how to make a sound plan, and how to make commitments. It also offers them the data to justify their plans. They can evaluate their work and suggest improvement direction by analyzing and reviewing development time, defects, and size data. The PSP was created by Watts Humphrey to apply the underlying principles of the Software Engineering Institute's (SEI) Capability Maturity Model (CMM) to the software development practices of a single developer. It claims to give software engineers the process skills necessary to work on a team software process (TSP) team.

The philosophy of information (PI) is a branch of philosophy that studies topics relevant to information processing, representational system and consciousness, cognitive science, computer science, information science and information technology.

<span class="mw-page-title-main">Enterprise modelling</span>

Enterprise modelling is the abstract representation, description and definition of the structure, processes, information and resources of an identifiable business, government body, or other large organization.

Virtual design and construction (VDC) is the management of integrated multi-disciplinary performance models of design–construction projects, including the product (facilities), work processes, and organization of the design – construction – operation team to support explicit and public business objectives. This is usually achieved creating a digital twin of the project, in where to manage the information.

<span class="mw-page-title-main">TOVE Project</span> Tove project

The TOVE project is a project to develop an ontological framework for enterprise integration (EI) based on and suited for enterprise modeling. In the beginning of the 1990s it was initiated by Mark S. Fox and others at the University of Toronto.

<span class="mw-page-title-main">Ontology engineering</span> Field that studies the methods and methodologies for building ontologies

In computer science, information science and systems engineering, ontology engineering is a field which studies the methods and methodologies for building ontologies, which encompasses a representation, formal naming and definition of the categories, properties and relations between the concepts, data and entities of a given domain of interest. In a broader sense, this field also includes a knowledge construction of the domain using formal ontology representations such as OWL/RDF. A large-scale representation of abstract concepts such as actions, time, physical objects and beliefs would be an example of ontological engineering. Ontology engineering is one of the areas of applied ontology, and can be seen as an application of philosophical ontology. Core ideas and objectives of ontology engineering are also central in conceptual modeling.

<span class="mw-page-title-main">Generalised Enterprise Reference Architecture and Methodology</span>

Generalised Enterprise Reference Architecture and Methodology (GERAM) is a generalised enterprise architecture framework for enterprise integration and business process engineering. It identifies the set of components recommended for use in enterprise engineering.

Peter Bernus is a Hungarian Australian scientist and Associate Professor of Enterprise Architecture at the School of Information and Communication Technology, Griffith University, Brisbane, Australia.

<span class="mw-page-title-main">James G. Nell</span> American engineer (born 1938)

James G. "Jim" Nell is an American engineer. He was the principal investigator of the Manufacturing Enterprise Integration Project at the National Institute of Standards and Technology (NIST), and is known for his work on enterprise integration.

There is a large body of knowledge that designers call upon and use during the design process to match the ever-increasing complexity of design problems. Design knowledge can be classified into two categories: product knowledge and design process knowledge.

In philosophy, a process ontology refers to a universal model of the structure of the world as an ordered wholeness. Such ontologies are fundamental ontologies, in contrast to the so-called applied ontologies. Fundamental ontologies do not claim to be accessible to any empirical proof in itself but to be a structural design pattern, out of which empirical phenomena can be explained and put together consistently. Throughout Western history, the dominating fundamental ontology is the so-called substance theory. However, fundamental process ontologies have become more important in recent times, because the progress in the discovery of the foundations of physics has spurred the development of a basic concept able to integrate such boundary notions as "energy," "object", and those of the physical dimensions of space and time.

Knowledge-based configuration, also referred to as product configuration or product customization, is an activity of customising a product to meet the needs of a particular customer. The product in question may consist of mechanical parts, services, and software. Knowledge-based configuration is a major application area for artificial intelligence (AI), and it is based on modelling of the configurations in a manner that allows the utilisation of AI techniques for searching for a valid configuration to meet the needs of a particular customer.

<span class="mw-page-title-main">Purdue Enterprise Reference Architecture</span> Reference model for enterprise architecture

Purdue Enterprise Reference Architecture (PERA), or the Purdue model, is a 1990s reference model for enterprise architecture, developed by Theodore J. Williams and members of the Industry-Purdue University Consortium for Computer Integrated Manufacturing.

<span class="mw-page-title-main">Michael Gruninger</span> Canadian computer scientist

Michael Gruninger is a Canadian computer scientist and Professor of Industrial Engineering at the University of Toronto, known for his work on Ontologies in information science. particularly with the Process Specification Language, and in enterprise modelling on the TOVE Project with Mark S. Fox.

<span class="mw-page-title-main">Michael Uschold</span> American computer scientist

Michael F. Uschold is an American computer scientist, Artificial Intelligence researcher, and consultant, known for his work on knowledge representation and ontology.

References

  1. Katia P. Sycara (1990) Innovative Approaches to Planning, Scheduling and Control: Proceedings of a Workshop Held at San Diego, California, November 5–8, 1990. p. 413
  2. Gert Smolka (1997) Principles and Practice of Constraint Programming - CP97: Third International Conference, CP97, Linz, Austria, October 29 - November 1, 1997, Volume 3. p. 401.
  3. Eldon Yu-zen Li, Timon C. Du (2007) Advances in Electronic Business: Volume II. p. 313
  4. Angelika C. Bullinger (2009) Innovation and Ontologies: Structuring the Early Stages of Innovation Management. p. 146
  5. 1 2 3 4 5 Mark S. Fox Faculty profile, University of Toronto. Accessed September 19, 2013
  6. Terje Totland (1997). 5.2.3 Toronto Virtual Enterprise (TOVE) Thesis, Norwegian University of Science and Technology (NTNU), Trondheim.
  7. Mark S. Fox and Michael Gruninger (1998) "Enterprise Modeling". American Association for Artificial Intelligence.
  8. Fox, M.S., (1992), "The TOVE Project: Towards A Common-sense Model of the Enterprise", Enterprise Integration Laboratory Technical Report.
  9. Chapter 1: A Common-Sense Model of the Enterprise: The TOVE Project at eil.utoronto.ca. Accessed September 17, 2013
  10. Uschold, Mike, and Michael Gruninger. "Ontologies: Principles, methods and applications." Knowledge engineering review 11.2 (1996): 131.
  11. Michael Grüninger and Mark S. Fox (1995) "Methodology for the Design and Evaluation of Ontologies." p. 3−4
  12. Mark S. Fox publications indexed by Google Scholar OOjs UI icon edit-ltr-progressive.svg