Jan DeMeer - Academia.edu (original) (raw)

Papers by Jan DeMeer

Research paper thumbnail of 28. September - 2. Oktober 2020

In the realm of 'Smart Manufacturing' the 'SemNorm' Project addresses the questio... more In the realm of 'Smart Manufacturing' the 'SemNorm' Project addresses the question of how to at derive an executable Digital Twin (DT) from standards. A Digital Twin is a virtual representation that embodies an asset of any type {[}IOSB18{]}. In that sense a DT is compared to the Asset Administration Shell (AAS). Smart Manufacturing is a real thing of a factory represented by its structure and behavior of inter-connected things that generate real-time data {[}IOSB18{]}. By combining Smart Manufacturing processes with a Digital Twin it is intended to validate operations of a production systems in real-time. In general the properties of inter-operating things respectively systems, and especially the properties of energy transportation between systems are considered to be the 'Prove of Concepts' (PoC) of semantics. When The Information Technology (IT) that processes data and up to some extend information, is compared to the technology that enables communication ...

Research paper thumbnail of Guest Editors' introduction

Distributed Systems Engineering, Mar 1, 1997

Quality of Service (QoS) has emerged in the last few years as a topical and challenging research ... more Quality of Service (QoS) has emerged in the last few years as a topical and challenging research area in distributed systems. For a broad definition of QoS we refer to the ISO's Reference Model for Open Distributed Processing (ISO/IEC IS 10746-2): `The notion of QoS is a system or object property, and consists of a set of quality requirements on

Research paper thumbnail of Protocol Test Systems

Research paper thumbnail of Kommunikation

PIK - Praxis der Informationsverarbeitung und Kommunikation, 1991

Research paper thumbnail of Kritikalitätsbewertung von technischen Prozessen in Kritischen Infrastrukturen

Research paper thumbnail of Proceedings of the IFIP TC6/WG6.4 International Workshop on Open Distributed Processing

Research paper thumbnail of Testmodelle f�r Systeme Kommunizierender Prozesse

Research paper thumbnail of On the Specification of EtE QoS Control

Building QoS into Distributed Systems, 1997

Research paper thumbnail of OSI Transport Service Considered as an Abstract Data Type

Informatik-Fachberichte, 1985

Due to the widespread use a precise definition of (the semantics of) services and protocols used ... more Due to the widespread use a precise definition of (the semantics of) services and protocols used in Open Systems Interconnections (OSI) is highly desirable. This paper reports on the experience gained in developing an algebraic specification of a transport service. A pragmatic guideline for the development of a specification based on an abstract model of the transport service is demonstrated and the relation of the algebraic specification to other specification concepts used in the field is discussed. We show especially how properties can be derived from the specification and expressed in terms of OSI concepts. Finally benefits and limitations of the algebraic specification with respect to the general requirements for specifications in the field of Open Systems Interconnections are reviewed.

Research paper thumbnail of Data Specifications in Modular Lotos

LOTOSphere: Software Development with LOTOS, 1995

Within LOTOSPHERE, enhancements for the specification language LOTOS were developed. The enhancem... more Within LOTOSPHERE, enhancements for the specification language LOTOS were developed. The enhancements defined modular concepts for LOTOS (chapter 22) and introduced new features for data specifications. This chapter will concentrate on the proposed changes concerning data specifications. The objective of the chapter is to introduce to the new concepts and to show their application by examples. For clarity we will use the term Modular LOTOS to refer to the new language proposals in distinction to ISO LOTOS, as it is defined in the ISO Standard 8807.

Research paper thumbnail of The quality of service (QoS) binding model

1998 Sixth International Workshop on Quality of Service (IWQoS'98) (Cat. No.98EX136), 1998

Introduces the concepts and components of TINA and CORBA which are related to QoS and binding. We... more Introduces the concepts and components of TINA and CORBA which are related to QoS and binding. We then introduce certain points of QoS concerns. These points represent specialized flow behaviour to show the causality chain of QoS control operations to be instantiated during binding. Elements of the binding procedure and the points of QoS concerns are represented by a suggested modelling notation extending TINA's ODL (Object Definition Language). A QoS-extended binding model has been elaborated by augmenting the binding concepts of the ODP (Open Distributed Processing) framework with the QoS points of concern, which comprise the declaration of continuous stream behaviour at end-points, observations, conformance, control, steering and negotiation. The suitability of the extended binding model has been validated by several examples, e.g. the specification of a video system which is bound by an ATM network. The QoS binding model provides a way of mapping QoS from an application level to the component and networking levels. The application level is where the objects of the application community are grouped and their interfaces are contracted. The negotiated QoS characteristics are mapped to the component level by the binding process which instantiates components accordingly. Hence, QoS mapping is part of the extended binding model. For example, the potential QoS of an ATM network, as it might be required by a video user, must be mapped to the observation and conformance points at the interface between the end user and the network access point

Research paper thumbnail of Proceedings of the Industrial Track of the 13th ACM/IFIP/USENIX International Middleware Conference

We are pleased to provide an industrial track program that we hope the Middleware community gathe... more We are pleased to provide an industrial track program that we hope the Middleware community gathering in Montreal this year will find interesting. We had 22 submissions, with a variety of strengths. With careful deliberation and vigorous debate by the program committee of this track, we have selected six papers addressing middleware issues in the power grid, web service robustness, multimodal multiparty collaboration, and infrastructure clouds.

Research paper thumbnail of Presentation of the Programme of the 6th GI/ACM Standardization Workshop on Industrial Automation and Control Systems

One of the important basic objectives of the 6th IACS WS'21 is to contribute to Sustainabilit... more One of the important basic objectives of the 6th IACS WS'21 is to contribute to Sustainability achieved by standardization that is based on new I4.0 technologies such as Smart Manufacturing, Digital Twin, AI-based Robotics, Industrial Internet of Things and more.

Research paper thumbnail of Introduction into the ODP Reference Model, 2/14/96 The ISO Reference Model for Open Distributed Processing

The ISO Reference Model of Open Distributed Processing (RM-ODP) consists of four parts-an Overvie... more The ISO Reference Model of Open Distributed Processing (RM-ODP) consists of four parts-an Overview of the reference model, the Descriptive Model, the Prescriptive Model, and the Architectural Semantics. The four parts provide the concepts and rules of distributed processing to ensure openness between interacting distributed application components. Openness is a combination of characteristics, i.e. scalability, accessibility, heterogeneity, autonomy and distribution. The RM-ODP introduces the concept of viewpoint to describe a system from a particular set of concerns, and hence to deal with the complexity of distributed systems. .

Research paper thumbnail of Tools for the formal description language LOTOS

Systems Analysis Modelling Simulation, 1991

Research paper thumbnail of Semantics for I4.0 Smart Manufacturing

Research paper thumbnail of Proceedings of the IFIP TC6/WG6.1 International Conference on Open Distributed Processing II

Research paper thumbnail of Informatik 2017 Ws#13

Der 2te internationale GI/ACM I4.0 Security Standardisation (ISS) Workshop auf der GI Jahrestagun... more Der 2te internationale GI/ACM I4.0 Security Standardisation (ISS) Workshop auf der GI Jahrestagung 2017, fasst Sicherheits-gepaart mit Zuverlässigkeitsaspekten von Produktionsanlagen, z.B. in einer Smart Factory, die den Anforderungen der Multi-Teile-Norm IEC 62443[IEC14] für Industrielle Automatisierungs-und Kontrollsysteme (IACS) entspricht, genauer ins Auge. Industrieanlagen haben eine eigene inhärente Struktur, die in dem Referenz-Architekturmodell RAMI4.0 [ZVEI15], erstellt von einem Verbandskonsortium, geführt von ZVEI, skizziert ist. Diese Struktur fällt ins Gewicht, wenn ein Security-by-Design-Ansatz für verbundene, verteilte Industrieanlagen gewählt wird. Unter Sicherheit für IAC-Systemen werden hierbei im weitesten Sinne Systemeigenschaften und -fähigkeiten verstanden, die im sog. 'Pentagon of Trust' [JdM16] genannt werden, nämlich Vertrauen in vernetzte Produktionsanlagen und -geräten, Geheimhaltung von Fabrikationsdatensätzen, prüfbare Beachtung von Regulierungen und Gesetzen, Garantierung der Funktionalität von Produktionsanlagen und die einsichtige Anwendbarkeit von Anlagen und Geräten, was in ähnlicher Weise auch für vernetzte Geräte im sog. Internetz der Dinge (IoT -Internet of Things) gilt. Der 2te GI/ACM I4.0 WS strukturiert sich in die Handlungsgebiete: Architektur und Frameworks, Industrielle Erfahrung -Best Practice, Formalisierung und IACS Semantiken.

Research paper thumbnail of A Theory on Big Data

CLAIRE the 'initiative of a pan-EU confederation of AI Research Labs'[Cl18] anticipates a... more CLAIRE the 'initiative of a pan-EU confederation of AI Research Labs'[Cl18] anticipates a humane AI which is based on ethical and trustworthy tenets empowering citizens and society. Hence in order to achieve a human AI, new semantic categories of standards must be written enabling stakeholders to implement a responsible AI. Communication however generates lots of unstructured data sets to be classified and structured into data types. AI-based algorithms are suitable to derive - from data sets and data types - more sophisticated and implicitly given information that can further be enriched to knowledge about autonomous communicating processes or even autonomous behaving humans. The knowledge gained from applying data enrichment algorithms in turn may be used for reasoning and prediction purposes, thus improving applications a lot. The aim of this project is to find a common unified tool able to handle big data flows and types that allows the recognition of hidden information from both data flows and data types. The hidden information is sometimes also called meta-data, thus being implicitly existing but by tools becoming explicitly seen.

Research paper thumbnail of 4th GI/ACMWorkshop on Standardization of I4.0 Automation and Control Systems

Research paper thumbnail of 28. September - 2. Oktober 2020

In the realm of 'Smart Manufacturing' the 'SemNorm' Project addresses the questio... more In the realm of 'Smart Manufacturing' the 'SemNorm' Project addresses the question of how to at derive an executable Digital Twin (DT) from standards. A Digital Twin is a virtual representation that embodies an asset of any type {[}IOSB18{]}. In that sense a DT is compared to the Asset Administration Shell (AAS). Smart Manufacturing is a real thing of a factory represented by its structure and behavior of inter-connected things that generate real-time data {[}IOSB18{]}. By combining Smart Manufacturing processes with a Digital Twin it is intended to validate operations of a production systems in real-time. In general the properties of inter-operating things respectively systems, and especially the properties of energy transportation between systems are considered to be the 'Prove of Concepts' (PoC) of semantics. When The Information Technology (IT) that processes data and up to some extend information, is compared to the technology that enables communication ...

Research paper thumbnail of Guest Editors' introduction

Distributed Systems Engineering, Mar 1, 1997

Quality of Service (QoS) has emerged in the last few years as a topical and challenging research ... more Quality of Service (QoS) has emerged in the last few years as a topical and challenging research area in distributed systems. For a broad definition of QoS we refer to the ISO's Reference Model for Open Distributed Processing (ISO/IEC IS 10746-2): `The notion of QoS is a system or object property, and consists of a set of quality requirements on

Research paper thumbnail of Protocol Test Systems

Research paper thumbnail of Kommunikation

PIK - Praxis der Informationsverarbeitung und Kommunikation, 1991

Research paper thumbnail of Kritikalitätsbewertung von technischen Prozessen in Kritischen Infrastrukturen

Research paper thumbnail of Proceedings of the IFIP TC6/WG6.4 International Workshop on Open Distributed Processing

Research paper thumbnail of Testmodelle f�r Systeme Kommunizierender Prozesse

Research paper thumbnail of On the Specification of EtE QoS Control

Building QoS into Distributed Systems, 1997

Research paper thumbnail of OSI Transport Service Considered as an Abstract Data Type

Informatik-Fachberichte, 1985

Due to the widespread use a precise definition of (the semantics of) services and protocols used ... more Due to the widespread use a precise definition of (the semantics of) services and protocols used in Open Systems Interconnections (OSI) is highly desirable. This paper reports on the experience gained in developing an algebraic specification of a transport service. A pragmatic guideline for the development of a specification based on an abstract model of the transport service is demonstrated and the relation of the algebraic specification to other specification concepts used in the field is discussed. We show especially how properties can be derived from the specification and expressed in terms of OSI concepts. Finally benefits and limitations of the algebraic specification with respect to the general requirements for specifications in the field of Open Systems Interconnections are reviewed.

Research paper thumbnail of Data Specifications in Modular Lotos

LOTOSphere: Software Development with LOTOS, 1995

Within LOTOSPHERE, enhancements for the specification language LOTOS were developed. The enhancem... more Within LOTOSPHERE, enhancements for the specification language LOTOS were developed. The enhancements defined modular concepts for LOTOS (chapter 22) and introduced new features for data specifications. This chapter will concentrate on the proposed changes concerning data specifications. The objective of the chapter is to introduce to the new concepts and to show their application by examples. For clarity we will use the term Modular LOTOS to refer to the new language proposals in distinction to ISO LOTOS, as it is defined in the ISO Standard 8807.

Research paper thumbnail of The quality of service (QoS) binding model

1998 Sixth International Workshop on Quality of Service (IWQoS'98) (Cat. No.98EX136), 1998

Introduces the concepts and components of TINA and CORBA which are related to QoS and binding. We... more Introduces the concepts and components of TINA and CORBA which are related to QoS and binding. We then introduce certain points of QoS concerns. These points represent specialized flow behaviour to show the causality chain of QoS control operations to be instantiated during binding. Elements of the binding procedure and the points of QoS concerns are represented by a suggested modelling notation extending TINA's ODL (Object Definition Language). A QoS-extended binding model has been elaborated by augmenting the binding concepts of the ODP (Open Distributed Processing) framework with the QoS points of concern, which comprise the declaration of continuous stream behaviour at end-points, observations, conformance, control, steering and negotiation. The suitability of the extended binding model has been validated by several examples, e.g. the specification of a video system which is bound by an ATM network. The QoS binding model provides a way of mapping QoS from an application level to the component and networking levels. The application level is where the objects of the application community are grouped and their interfaces are contracted. The negotiated QoS characteristics are mapped to the component level by the binding process which instantiates components accordingly. Hence, QoS mapping is part of the extended binding model. For example, the potential QoS of an ATM network, as it might be required by a video user, must be mapped to the observation and conformance points at the interface between the end user and the network access point

Research paper thumbnail of Proceedings of the Industrial Track of the 13th ACM/IFIP/USENIX International Middleware Conference

We are pleased to provide an industrial track program that we hope the Middleware community gathe... more We are pleased to provide an industrial track program that we hope the Middleware community gathering in Montreal this year will find interesting. We had 22 submissions, with a variety of strengths. With careful deliberation and vigorous debate by the program committee of this track, we have selected six papers addressing middleware issues in the power grid, web service robustness, multimodal multiparty collaboration, and infrastructure clouds.

Research paper thumbnail of Presentation of the Programme of the 6th GI/ACM Standardization Workshop on Industrial Automation and Control Systems

One of the important basic objectives of the 6th IACS WS'21 is to contribute to Sustainabilit... more One of the important basic objectives of the 6th IACS WS'21 is to contribute to Sustainability achieved by standardization that is based on new I4.0 technologies such as Smart Manufacturing, Digital Twin, AI-based Robotics, Industrial Internet of Things and more.

Research paper thumbnail of Introduction into the ODP Reference Model, 2/14/96 The ISO Reference Model for Open Distributed Processing

The ISO Reference Model of Open Distributed Processing (RM-ODP) consists of four parts-an Overvie... more The ISO Reference Model of Open Distributed Processing (RM-ODP) consists of four parts-an Overview of the reference model, the Descriptive Model, the Prescriptive Model, and the Architectural Semantics. The four parts provide the concepts and rules of distributed processing to ensure openness between interacting distributed application components. Openness is a combination of characteristics, i.e. scalability, accessibility, heterogeneity, autonomy and distribution. The RM-ODP introduces the concept of viewpoint to describe a system from a particular set of concerns, and hence to deal with the complexity of distributed systems. .

Research paper thumbnail of Tools for the formal description language LOTOS

Systems Analysis Modelling Simulation, 1991

Research paper thumbnail of Semantics for I4.0 Smart Manufacturing

Research paper thumbnail of Proceedings of the IFIP TC6/WG6.1 International Conference on Open Distributed Processing II

Research paper thumbnail of Informatik 2017 Ws#13

Der 2te internationale GI/ACM I4.0 Security Standardisation (ISS) Workshop auf der GI Jahrestagun... more Der 2te internationale GI/ACM I4.0 Security Standardisation (ISS) Workshop auf der GI Jahrestagung 2017, fasst Sicherheits-gepaart mit Zuverlässigkeitsaspekten von Produktionsanlagen, z.B. in einer Smart Factory, die den Anforderungen der Multi-Teile-Norm IEC 62443[IEC14] für Industrielle Automatisierungs-und Kontrollsysteme (IACS) entspricht, genauer ins Auge. Industrieanlagen haben eine eigene inhärente Struktur, die in dem Referenz-Architekturmodell RAMI4.0 [ZVEI15], erstellt von einem Verbandskonsortium, geführt von ZVEI, skizziert ist. Diese Struktur fällt ins Gewicht, wenn ein Security-by-Design-Ansatz für verbundene, verteilte Industrieanlagen gewählt wird. Unter Sicherheit für IAC-Systemen werden hierbei im weitesten Sinne Systemeigenschaften und -fähigkeiten verstanden, die im sog. 'Pentagon of Trust' [JdM16] genannt werden, nämlich Vertrauen in vernetzte Produktionsanlagen und -geräten, Geheimhaltung von Fabrikationsdatensätzen, prüfbare Beachtung von Regulierungen und Gesetzen, Garantierung der Funktionalität von Produktionsanlagen und die einsichtige Anwendbarkeit von Anlagen und Geräten, was in ähnlicher Weise auch für vernetzte Geräte im sog. Internetz der Dinge (IoT -Internet of Things) gilt. Der 2te GI/ACM I4.0 WS strukturiert sich in die Handlungsgebiete: Architektur und Frameworks, Industrielle Erfahrung -Best Practice, Formalisierung und IACS Semantiken.

Research paper thumbnail of A Theory on Big Data

CLAIRE the 'initiative of a pan-EU confederation of AI Research Labs'[Cl18] anticipates a... more CLAIRE the 'initiative of a pan-EU confederation of AI Research Labs'[Cl18] anticipates a humane AI which is based on ethical and trustworthy tenets empowering citizens and society. Hence in order to achieve a human AI, new semantic categories of standards must be written enabling stakeholders to implement a responsible AI. Communication however generates lots of unstructured data sets to be classified and structured into data types. AI-based algorithms are suitable to derive - from data sets and data types - more sophisticated and implicitly given information that can further be enriched to knowledge about autonomous communicating processes or even autonomous behaving humans. The knowledge gained from applying data enrichment algorithms in turn may be used for reasoning and prediction purposes, thus improving applications a lot. The aim of this project is to find a common unified tool able to handle big data flows and types that allows the recognition of hidden information from both data flows and data types. The hidden information is sometimes also called meta-data, thus being implicitly existing but by tools becoming explicitly seen.

Research paper thumbnail of 4th GI/ACMWorkshop on Standardization of I4.0 Automation and Control Systems