Skip to Main Content. IEEE.org | IEEE Xplore Digital Library | IEEE Standards Association | Spect... more Skip to Main Content. IEEE.org | IEEE Xplore Digital Library | IEEE Standards Association | Spectrum Online | More IEEE Sites. IEEE Xplore Digital Library. Search Term(s). Advanced Search | Preferences | Search Tips. Browse. ...
The Internet of Things (IoT) is creating a network of cyber-physical devices – sensors, actuators... more The Internet of Things (IoT) is creating a network of cyber-physical devices – sensors, actuators, and other devices, which monitor and control physical systems, such as manufacturing facilities operating with the Industry 4.0 paradigm, while collecting and sharing massive data globally over the internet. As the IoT security landscape evolves, so does the “cyber mafia,” which targets cyber-physical systems from the corporate level all the way to Industry 4.0 floor-shop control systems, in which IoT is a key component. IoT devices are becoming ubiquitous and controllable from hand-held devices, raising the potential to disrupt or destroy large industrial complexes in a touch of a screen if not protected properly. This growing risk mandates the adoption of new approaches to incorporating rigorous security standards into IoT systems as early as possible in their system lifecycle. A methodology is presented for incorporating into IoT systems security as a bona fide, quantifiable attribu...
As system complexity is on the rise, there is a growing need for standardized building blocks to ... more As system complexity is on the rise, there is a growing need for standardized building blocks to increase the likelihood of systems’ success. Conceptual modeling is the primary activity required for engineering systems to be understood, designed, and managed. Modern modeling languages enable describing the requirements and design of systems in a formal yet understandable way. These languages use stereotypes to standardize, clarify the model semantics, and extend the meaning of model elements. An Internet of things (IoT) system serves as an example to show the significant contributions of stereotypes to model construction, comprehension, error reduction, and increased productivity during design, simulation, and combined hardware–software system execution. This research emphasizes stereotype features that are unique to Object-Process Methodology (OPM) ISO 19450, differentiating it from stereotypes in other conceptual modeling languages. We present the implementation of stereotypes in ...
Web applications can be classified as hybrids between hypermedia and information systems. They ha... more Web applications can be classified as hybrids between hypermedia and information systems. They have a relatively simple distributed architecture from the user viewpoint, but a complex dynamic architecture from the designer viewpoint. They need to respond to operation by an unlimited number of heterogeneously skilled users, address security and privacy concerns, access heterogeneous, up-to-date information sources, and exhibit dynamic behaviors that involve such processes as code transferring. Common system development methods can model some of these aspects, but none of them is sufficient to specify the large spectrum of Web application concepts and requirements. This paper introduces OPM/Web, an extension to the Object-Process Methodology (OPM) that satisfies the functional, structural and behavioral Web-based information system requirements. The main extensions of OPM/Web are adding properties of links to express requirements, such as those related to encryption; extending the zoo...
The field of computational synthesis is emerging is an inter-disciplinary effort that encompasses... more The field of computational synthesis is emerging is an inter-disciplinary effort that encompasses applications in a variety of knowledge domains. Each domain has its own ontology, modeling methods, set of symbols, and syntax. The cross-cutting commonalities among the various implementation domains, which make computational synthesis a research do-main in its own right, are articulated for the most part only in natural language. The computational synthesis community may greatly benefit from an agreement on a domain-independent paradigm and modeling methodology that are shared among the various fields of knowledge in which com-putational synthesis is or will be applied. This paper proposes Object-Process Methodology (OPM) as a unifying framework for modeling in a balanced and transparent way how the ar-chitecture, i.e., the combination of structure (objects) and be-havior (processes) of the system being evolved fulfill the functional requirements (measured by fitness) for its survival...
Abstract. The Visual Semantic Web (ViSWeb) is a new paradigm for enhancing the current Semantic W... more Abstract. The Visual Semantic Web (ViSWeb) is a new paradigm for enhancing the current Semantic Web technol-ogy. Based on Object-Process Methodology (OPM), which enables modeling of systems in a single graphic and textual model,ViSWeb provides for representation of knowledge over the Web in a unified way that caters to human perceptions while also being machine processable. The advantages of the ViSWeb approach include equivalent graphic-text knowledge representation, visual navigability, semantic sentence inter-pretation, specification of system dynamics, and complexity management. Arguing against the claim that humans and ma-chines need to look at different knowledge representation for-mats, the principles and basics of various graphic and textual knowledge representations are presented and examined as can-didates for ViSWeb foundation. Since OPM is shown to be most adequate for the task, ViSWeb is developed as an OPM-based layer on top of XML/RDF/OWL to express knowledge visually...
The Machine Drawing Understanding System (MDUS) is an experimental CAD conversion system aimed at... more The Machine Drawing Understanding System (MDUS) is an experimental CAD conversion system aimed at realizing the entire process of understanding mechanical engineering drawings, from scanning to three-dimensional (3-D) reconstruction. This paper describes the structure, algorithms and current performance of MDUS. The modular structure of the system provides for further improvements and makes it an ideal workbench for researchers wishing to test their own algorithms and incorporate them into the system.
In Chapter 2, we started developing the ATM system, and were exposed to OPDs, the graphic facet o... more In Chapter 2, we started developing the ATM system, and were exposed to OPDs, the graphic facet of OPM. Spoken or written language is the modality of OPM that is complementary to the graphics. Winograd and Flores (1987) noted: “Nothing exists except through language. In saying that some “thing” exists (or that it has some property) we have brought it into a domain of articulated objects and qualities that exist in language.” Indeed, language greatly enhances our ability to understand systems and communicate our understanding to others. In this chapter, we introduce the Object-Process Language (OPL) and show the equivalence between graphic specification through OPDs and natural language specification through OPL sentences and paragraphs. We will add the language element to the set of OPDs we started developing in Chapter 2. We will then proceed with the ATM case study, adding more detailed OPDs and their corresponding OPL paragraphs.
... In gure 1 we show an ideal line-drawings generated using Autocad and an arti cially degraded ... more ... In gure 1 we show an ideal line-drawings generated using Autocad and an arti cially degraded version of the same drawing. The degradation was produced using our document degradation model KHP94]. References Ald83] B. Aldefeld. ... PLJ91] D. Pao, F. Li, and R. Jayakumar. ...
Our study is of a pioneering nature, in which we develop assessment techniques, based on Transact... more Our study is of a pioneering nature, in which we develop assessment techniques, based on Transactional Distance (TD) theory to assess the distance among peer students who participated and collaborated in a PBLand visualization-based undergraduate course. About 20 students, who participated in a Mini-Project course in Industrial Engineering, constructed conceptual models, expressed in terms of an Object Process Methodology (OPM) for analysis of real projects. The students worked in two groups and had to collaborate with their peers and with an international project team. We used a mixed method and research tools included web-based questionnaires, semi-structured interviews, reflection reports and project summary reports. The findings confirm and reinforce the choice of TD as a theoretical framework for constructing assessment techniques for collaborative project base learning (PBL) involving advanced visualization and distance technologies. Additionally, our undergraduate students ex...
Modeling languages have been evolving at a high pace, encouraging the use of automatic code gener... more Modeling languages have been evolving at a high pace, encouraging the use of automatic code generators for transforming models to programs. Automatic code generators should enable mechanical and repetitive coding operations to be performed quickly, reliably and uniformly, yielding higher productivity and quality of the developed systems. One way to evaluate modeling languages is to examine their code generation capabilities. In this paper, we compare the code generated from Rhapsody by ILogix to the code generated from OPCAT, an Object-Process Methodology (OPM) CASE tool. We found that UML consistency problems and its distributed representation of system behavior are reflected in the code, yielding partial code that is mostly structureoriented. OPM models, which capture the static and dynamic aspects of a system in a single view, enable the generation of potentially complete application logic rather than just skeleton code. We also explain the unique architecture and functionality o...
The World-Wide-Web is now a ubiquitous, global tool, used for finding information, communicating ... more The World-Wide-Web is now a ubiquitous, global tool, used for finding information, communicating ideas, carrying out distributed computation, and conducting business, learning and science. Web services and the Semantic Web are emerging as a powerful infrastructure for distributed computing. However, even though standard methods that define semantics of Web services, such as OWL-S, may aid in the development and deployment of these services, they are hardly designed to be easily understandable and usable by developers. Complexity and lack of accessibility of Web services and the Semantic Web hinders their usage by the information industry. OPM/S, which is based on ObjectProcess Methodology (OPM), offers a bi-modal visuallingual representation that is both intuitive for humans and formal for machines. Utilization of ontologies and interoperability are two issues addressed by the OPM/S modeling environment. Ontologies are expressed as meta-libraries, which are specified in OPM or OWL, ...
The generation of bimodal formal system specification documents that bi-directionally complement ... more The generation of bimodal formal system specification documents that bi-directionally complement graphics from natural language and vice versa through ObjectProcess Methodology (OPM) is presented. A sample of free text paragraphs from a document that describes the concept of Free Flight as part of the National Airspace System are converted to OPM specification. We then discuss the requirements of porting the OPM application to a Web environment, the challenges and the expected benefits.
Skip to Main Content. IEEE.org | IEEE Xplore Digital Library | IEEE Standards Association | Spect... more Skip to Main Content. IEEE.org | IEEE Xplore Digital Library | IEEE Standards Association | Spectrum Online | More IEEE Sites. IEEE Xplore Digital Library. Search Term(s). Advanced Search | Preferences | Search Tips. Browse. ...
The Internet of Things (IoT) is creating a network of cyber-physical devices – sensors, actuators... more The Internet of Things (IoT) is creating a network of cyber-physical devices – sensors, actuators, and other devices, which monitor and control physical systems, such as manufacturing facilities operating with the Industry 4.0 paradigm, while collecting and sharing massive data globally over the internet. As the IoT security landscape evolves, so does the “cyber mafia,” which targets cyber-physical systems from the corporate level all the way to Industry 4.0 floor-shop control systems, in which IoT is a key component. IoT devices are becoming ubiquitous and controllable from hand-held devices, raising the potential to disrupt or destroy large industrial complexes in a touch of a screen if not protected properly. This growing risk mandates the adoption of new approaches to incorporating rigorous security standards into IoT systems as early as possible in their system lifecycle. A methodology is presented for incorporating into IoT systems security as a bona fide, quantifiable attribu...
As system complexity is on the rise, there is a growing need for standardized building blocks to ... more As system complexity is on the rise, there is a growing need for standardized building blocks to increase the likelihood of systems’ success. Conceptual modeling is the primary activity required for engineering systems to be understood, designed, and managed. Modern modeling languages enable describing the requirements and design of systems in a formal yet understandable way. These languages use stereotypes to standardize, clarify the model semantics, and extend the meaning of model elements. An Internet of things (IoT) system serves as an example to show the significant contributions of stereotypes to model construction, comprehension, error reduction, and increased productivity during design, simulation, and combined hardware–software system execution. This research emphasizes stereotype features that are unique to Object-Process Methodology (OPM) ISO 19450, differentiating it from stereotypes in other conceptual modeling languages. We present the implementation of stereotypes in ...
Web applications can be classified as hybrids between hypermedia and information systems. They ha... more Web applications can be classified as hybrids between hypermedia and information systems. They have a relatively simple distributed architecture from the user viewpoint, but a complex dynamic architecture from the designer viewpoint. They need to respond to operation by an unlimited number of heterogeneously skilled users, address security and privacy concerns, access heterogeneous, up-to-date information sources, and exhibit dynamic behaviors that involve such processes as code transferring. Common system development methods can model some of these aspects, but none of them is sufficient to specify the large spectrum of Web application concepts and requirements. This paper introduces OPM/Web, an extension to the Object-Process Methodology (OPM) that satisfies the functional, structural and behavioral Web-based information system requirements. The main extensions of OPM/Web are adding properties of links to express requirements, such as those related to encryption; extending the zoo...
The field of computational synthesis is emerging is an inter-disciplinary effort that encompasses... more The field of computational synthesis is emerging is an inter-disciplinary effort that encompasses applications in a variety of knowledge domains. Each domain has its own ontology, modeling methods, set of symbols, and syntax. The cross-cutting commonalities among the various implementation domains, which make computational synthesis a research do-main in its own right, are articulated for the most part only in natural language. The computational synthesis community may greatly benefit from an agreement on a domain-independent paradigm and modeling methodology that are shared among the various fields of knowledge in which com-putational synthesis is or will be applied. This paper proposes Object-Process Methodology (OPM) as a unifying framework for modeling in a balanced and transparent way how the ar-chitecture, i.e., the combination of structure (objects) and be-havior (processes) of the system being evolved fulfill the functional requirements (measured by fitness) for its survival...
Abstract. The Visual Semantic Web (ViSWeb) is a new paradigm for enhancing the current Semantic W... more Abstract. The Visual Semantic Web (ViSWeb) is a new paradigm for enhancing the current Semantic Web technol-ogy. Based on Object-Process Methodology (OPM), which enables modeling of systems in a single graphic and textual model,ViSWeb provides for representation of knowledge over the Web in a unified way that caters to human perceptions while also being machine processable. The advantages of the ViSWeb approach include equivalent graphic-text knowledge representation, visual navigability, semantic sentence inter-pretation, specification of system dynamics, and complexity management. Arguing against the claim that humans and ma-chines need to look at different knowledge representation for-mats, the principles and basics of various graphic and textual knowledge representations are presented and examined as can-didates for ViSWeb foundation. Since OPM is shown to be most adequate for the task, ViSWeb is developed as an OPM-based layer on top of XML/RDF/OWL to express knowledge visually...
The Machine Drawing Understanding System (MDUS) is an experimental CAD conversion system aimed at... more The Machine Drawing Understanding System (MDUS) is an experimental CAD conversion system aimed at realizing the entire process of understanding mechanical engineering drawings, from scanning to three-dimensional (3-D) reconstruction. This paper describes the structure, algorithms and current performance of MDUS. The modular structure of the system provides for further improvements and makes it an ideal workbench for researchers wishing to test their own algorithms and incorporate them into the system.
In Chapter 2, we started developing the ATM system, and were exposed to OPDs, the graphic facet o... more In Chapter 2, we started developing the ATM system, and were exposed to OPDs, the graphic facet of OPM. Spoken or written language is the modality of OPM that is complementary to the graphics. Winograd and Flores (1987) noted: “Nothing exists except through language. In saying that some “thing” exists (or that it has some property) we have brought it into a domain of articulated objects and qualities that exist in language.” Indeed, language greatly enhances our ability to understand systems and communicate our understanding to others. In this chapter, we introduce the Object-Process Language (OPL) and show the equivalence between graphic specification through OPDs and natural language specification through OPL sentences and paragraphs. We will add the language element to the set of OPDs we started developing in Chapter 2. We will then proceed with the ATM case study, adding more detailed OPDs and their corresponding OPL paragraphs.
... In gure 1 we show an ideal line-drawings generated using Autocad and an arti cially degraded ... more ... In gure 1 we show an ideal line-drawings generated using Autocad and an arti cially degraded version of the same drawing. The degradation was produced using our document degradation model KHP94]. References Ald83] B. Aldefeld. ... PLJ91] D. Pao, F. Li, and R. Jayakumar. ...
Our study is of a pioneering nature, in which we develop assessment techniques, based on Transact... more Our study is of a pioneering nature, in which we develop assessment techniques, based on Transactional Distance (TD) theory to assess the distance among peer students who participated and collaborated in a PBLand visualization-based undergraduate course. About 20 students, who participated in a Mini-Project course in Industrial Engineering, constructed conceptual models, expressed in terms of an Object Process Methodology (OPM) for analysis of real projects. The students worked in two groups and had to collaborate with their peers and with an international project team. We used a mixed method and research tools included web-based questionnaires, semi-structured interviews, reflection reports and project summary reports. The findings confirm and reinforce the choice of TD as a theoretical framework for constructing assessment techniques for collaborative project base learning (PBL) involving advanced visualization and distance technologies. Additionally, our undergraduate students ex...
Modeling languages have been evolving at a high pace, encouraging the use of automatic code gener... more Modeling languages have been evolving at a high pace, encouraging the use of automatic code generators for transforming models to programs. Automatic code generators should enable mechanical and repetitive coding operations to be performed quickly, reliably and uniformly, yielding higher productivity and quality of the developed systems. One way to evaluate modeling languages is to examine their code generation capabilities. In this paper, we compare the code generated from Rhapsody by ILogix to the code generated from OPCAT, an Object-Process Methodology (OPM) CASE tool. We found that UML consistency problems and its distributed representation of system behavior are reflected in the code, yielding partial code that is mostly structureoriented. OPM models, which capture the static and dynamic aspects of a system in a single view, enable the generation of potentially complete application logic rather than just skeleton code. We also explain the unique architecture and functionality o...
The World-Wide-Web is now a ubiquitous, global tool, used for finding information, communicating ... more The World-Wide-Web is now a ubiquitous, global tool, used for finding information, communicating ideas, carrying out distributed computation, and conducting business, learning and science. Web services and the Semantic Web are emerging as a powerful infrastructure for distributed computing. However, even though standard methods that define semantics of Web services, such as OWL-S, may aid in the development and deployment of these services, they are hardly designed to be easily understandable and usable by developers. Complexity and lack of accessibility of Web services and the Semantic Web hinders their usage by the information industry. OPM/S, which is based on ObjectProcess Methodology (OPM), offers a bi-modal visuallingual representation that is both intuitive for humans and formal for machines. Utilization of ontologies and interoperability are two issues addressed by the OPM/S modeling environment. Ontologies are expressed as meta-libraries, which are specified in OPM or OWL, ...
The generation of bimodal formal system specification documents that bi-directionally complement ... more The generation of bimodal formal system specification documents that bi-directionally complement graphics from natural language and vice versa through ObjectProcess Methodology (OPM) is presented. A sample of free text paragraphs from a document that describes the concept of Free Flight as part of the National Airspace System are converted to OPM specification. We then discuss the requirements of porting the OPM application to a Web environment, the challenges and the expected benefits.
Uploads
Papers by Dov Dori