There is an abundancy of systems characterized by parabolic PDEs in science and engineering, especially in chemistry and physics. These systems have a scalar variable, we generally call time, defining the evolution of the system under consideration. The governing equation(s) involves the unknown(s) and their first order partial derivative(s) with respect to this variable. Time variant Schrodinger equations where the unknown is the wavefunction which is responsible for the probability density for the system and Liouville equations for the statistical mechanics where the unknown is somehow responsible for a density in the systems’ phase space (here we use the plurality since both case may differ from Hamiltonian to Hamiltonian). Certain PDE(s), depending on so-called spatial coordinates, govern the behavior of the system in these and similar cases even though the partial differential equation nature is not necessarily needed. Hence we give the following equation for more

MATHEMATICAL MODELS and METHODS in APPLIED SCIENCES

This paper provides a literature review on zero defect manufacturing based on the content analysis performed for 280 research articles published from 1987 to 2018 in a variety of academic journals ...

Zero defect manufacturing: state-of-the-art review, shortcomings and future directions in research

We introduce a calculus of Mobile Resources (MR) tailored for the design and analysis of systems containing mobile, possibly nested, computing devices that may have resource and access constraints, and which are not copyable nor modifiable per se. We provide a reduction as well as a labelled transition semantics and prove a correspondence between barbed bisimulation congruence and a higher-order bisimulation. We provide examples of the expressiveness of the calculus, and apply the theory to prove one of its characteristic properties.

A calculus of Mobile Resources

Internet of Things (IoT) is an emerging technology that has the promising power to change our future. Due to the market pressure, IoT systems may be released without sufficient testing. However, it ...

/pdf/aspects-of-quality-in-internet-of-things-iot-solutions-a-2bh67xi4kh.pdf

Aspects of Quality in Internet of Things (IoT) Solutions: A Systematic Mapping Study

Vehicular ad hoc network (VANET) is a wireless ad hoc network that operates in a vehicular environment to provide communication between vehicles. VANET can be used by a diverse range of applications to improve road safety. Cooperative collision warning system (CCWS) is one of the safety applications that can provide situational awareness and warning to drivers by exchanging safety messages between cooperative vehicles. Currently, the routing strategies for safety message dissemination in CCWS are scoped broadcast. However, the broadcast schemes are not efficient as a warning message is sent to a large number of vehicles in the area, rather than only the endangered vehicles. They also cannot prioritize the receivers based on their critical time to avoid collision. This paper presents a more efficient multicast routing scheme that can reduce unnecessary transmissions and also use adaptive transmission range. The multicast scheme involves methods to identify an abnormal vehicle, the vehicles that may be endangered by the abnormal vehicle, and the latest time for each endangered vehicle to receive the warning message in order to avoid the danger. We transform this multicast routing problem into a delay-constrained minimum Steiner tree problem. Therefore, we can use existing algorithms to solve the problem. The advantages of our multicast routing scheme are mainly its potential to support various road traffic scenarios, to optimize the wireless channel utilization, and to prioritize the receivers.

/pdf/a-multicast-routing-scheme-for-efficient-safety-message-3r572ix2l3.pdf

A Multicast Routing Scheme for Efficient Safety Message Dissemination in VANET

This paper motivates, describes, demonstrates in use, and evaluates the Open Models Laboratory (OMiLAB) - an open digital ecosystem designed to support conceptualization and operationalization of conceptual modeling methods. The OMiLAB ecosystem is motivated by a generalized understanding of "model value" and is targeted to research and education stakeholders fulfilling various roles in a modeling method's lifecycle - modelers, domain experts, methodologists, modeling software developers, knowledge workers, model-driven software engineers etc.
While much is reported on novel modeling methods and tools for various domains, only limited knowledge is available on the conceptualization of such methods by means of a full-fledged dedicated open ecosystem and a methodology that facilitates entry points for novices, as well as an open innovation space for experienced stakeholders. This gap is maintained by the lack of an open process and platform for (a) conducting research in the field of modeling method design, (b) developing agile modeling tools and model-driven digital products, and (c) experimentation with, and dissemination of such methods & related prototypes.
OMiLAB incorporates principles, practices, procedures, tools and services required to address the forecited issues, as it aims to be the operational deployment for a conceptualization and operationalization process built on several pillars: (a) a granularly defined "Modeling Method" concept whose building blocks can be customized for the domain of choice; (b) an "Agile Modeling Method Engineering" framework supporting quick prototyping of modeling tools; (c) a model-aware “Digital Product Design Lab”; and (d) dissemination channels for reaching a global community.
Demonstration and evaluation of the OMiLAB in research is hereby carried out by two selected application cases for domains- and case-specific requirements: the iStar case for requirements engineering, and the EnterKnow case for semantic business process management systems. These two cases show the broad spectrum of modeling methods realized within the OMiLAB, ranging from conventional conceptual modeling methods (iStar) toward the model-aware development and operationalization of Digital Products (EnterKnow). Besides these exemplary cases, OMiLAB has proven to effectively satisfy requirements raised by almost 50 modeling methods, supporting researchers in designing novel modeling methods, developing tools and disseminating outcomes. The educational impact of the OMiLAB is also measured in terms of international visibility and feedback from the NEMO Summer School series, whose attendants directly interact with both the physical and virtual environments of the OMiLAB.

An Open Platform for Modeling Method Conceptualization: The OMiLAB Digital Ecosystem

This position paper introduces a Smart Innovation Environment for experimentation related to digital transformation projects, for the consolidation of a proposed “Digital Engineer” skill profile (with a business-oriented facet labelled as “Digital Innovator”). In the Internet of Things era, this profile implies the ability to perform both digital design and engineering activities, to semantically bridge multiple layers of abstraction and specificity – from business analysis down to cyber-physical engineering. In the paper’s proposal, this integration is enabled by conceptual modelling methods and interoperable modelling tools, tailored to support the creation of Digital Twins for innovative digital business models. The architecture of the proposed environment is guided by a Design Research perspective – i.e., it is a treatment to an education “design problem” regarding the Digital Engineer skill profile in the IoT era. The proposed environment encompasses workspaces and toolkits are currently evaluated in “innovation corners” deployed across the OMiLAB ecosystem.

OMiLAB: A Smart Innovation Environment for Digital Engineers

This paper presents a visual environment, called SAVE, to model IoT systems with dynamic and static properties. Firstly, the dynamic properties, such as operational requirements, of the systems are specified with a process algebra, called &#948;-Calculus, and, secondly the static properties, such as safety requirements, of the systems are specified with a first-order logic, called GTS Logic. Once specifications are done, the static properties are verified on the dynamic properties by checking whether or not the static properties are valid for the simulation of the systems based on the dynamic properties. SAVE provides a set of visual tools to specify both dynamic and static properties of the systems, simulate the systems based on the dynamic properties, and to verify the static properties on the dynamic properties from the simulation. SAVE is developed on the ADOxx meta-modeling platform. It can be considered one of the most innovative visual tools to model IoT systems for both dynamic and static properties of the systems and to verify the validity of the static properties on the dynamic properties.

SAVE: An Environment for Visual Specification and Verification of IoT

Process algebra can be considered to be one of the best methods to model IoT systems since it can represent the main properties of things in the systems: communication, movements, deadlines, etc. The best known algebras are π-calculus and mobile ambient. However, there are some limitations to model the different types of movements of the things with secure requirements. π-calculus passes the name of ports for indirect movements unrealistically, and mobile ambient uses ambient to synchronize asynchronous movements forcefully and unnaturally. This paper presents new process algebra, called δ-calculus, to model the different types of such synchronous movements for the things in IoT over some target geographical space. A process can be nested in another process, and their configuration will be changed by these movements. Any violation of the secure movements can be detected and prevented by the properties of the movements: synchrony, priority and deadline. To demonstrate the feasibility, a tool, called SAVE, was developed on the ADOxx metamodeling platform with an emergency medical system, which is one of the best suitable application domains for IoT.

Algebraic Method to Model Secure IoT

This paper introduces the idea of industrial business process management in the context of the European Commission's project GO0D MAN. It presents showcases on how the industry-domain independent, Business Process Management Toolkit ADONIS can be extended through composition and injection mechanisms to support the modelling of industrial business processes for zero-defect manufacturing and can be further enhanced with conceptual analytics techniques as a knowledge management infrastructure in the domain of advanced manufacturing.

Moonkun Lee

Papers

An Open Platform for Modeling Method Conceptualization: The OMiLAB Digital Ecosystem

OMiLAB: A Smart Innovation Environment for Digital Engineers

SAVE: An Environment for Visual Specification and Verification of IoT

Algebraic Method to Model Secure IoT

Industrial Business Process Management Using Adonis Towards a Modular Business Process Modelling Method for Zero-Defect-Manufacturing