dominik schmitz - Academia.edu (original) (raw)

Uploads

Papers by dominik schmitz

Research paper thumbnail of Analog and digital performance of MISFETs on p- and n-GaInAs

GaInAs MISFETs with pyrolytic SiO2 isolator on n- and p-GaInAs have been investigated with regard... more GaInAs MISFETs with pyrolytic SiO2 isolator on n- and p-GaInAs have been investigated with regard to analog and digital performance. The 1.7-μm gate length MISFETs on n-GaInAs and p-GaInAs have transconductances of 100 mS/mm and 40 mS/mm, cutoff frequencies ( fT) of 14 GHz and 2 GHz, and maximum frequencies of oscillation (fmax) of 18 GHz and 6 GHz, respectively.

Research paper thumbnail of Tomographic imaging of transient multiphase flow in bubble columns

Chemical Engineering Journal, 2000

Vessels filled with liquid mixtures under high pressure and at high temperatures are used in many... more Vessels filled with liquid mixtures under high pressure and at high temperatures are used in many chemical processes. In the case of a process-breakdown, a sudden decrease of the pressure can occur. As a result, the liquid level inside the vessel swells and a blowdown of liquid and gas from the vessel occurs. For the operation of the plant, the design of the apparatus has to be safe and has to avoid similar states of operation. Therefore, the hydrodynamic phenomena occurring inside the vessel during the blowdown have to be known. Using electrical tomography it is possible to measure the distribution of the void fraction in each cross section of the vessel during the blowdown operation.

Research paper thumbnail of Requirements Engineering for Control Systems Development in Small and Medium-Sized Enterprises

Research paper thumbnail of SNet Reloaded: Roles, Monitoring and Agent Evolution

In previous work, we proposed the prototype environment SNet for the representation and dynamic e... more In previous work, we proposed the prototype environment SNet for the representation and dynamic evaluation of agent-based designs for inter-organizational networks. A key feature of SNet is the automatic translation of extended i* models into the action language ConGolog. In order to run realistic simulations, the resulting agents are deliberative in that they can choose between different courses of action according to some utility measure. When applying SNet to modelling an existing entrepreneurship network, we discovered a number of deficiencies of our current proposal, in particular, the lack of a role concept, the ability to monitor the execution of plans that depend on other agents’ contributions and the ability to model agents that evolve over time. In this paper we will sketch the example domain and discuss how these new features can be incorporated in the SNet framework.

Research paper thumbnail of Telos: Representing Knowledge about Control Systems

Telos is a formal knowledge representation language designed for the development of information s... more Telos is a formal knowledge representation language designed for the development of information systems. It has been successfully applied in many different software development projects. Although the development of control systems also includes software development, it constitutes a completely different application domain. An in-depth analysis of the development process results in a set of key characteristics of this domain. Based on this set we investigate in this paper whether the features of Telos and its implementation ConceptBase are also valuable to support the development of control systems. We first review the existing application of the Telosbased, agent- and goal-oriented language i* to requirements modelling for control systems. Then we examine carefully each single feature of Telos and ConceptBase regarding the support of the identified key characteristics. This investigation shows that nearly all characteristics are well supported and only very few require further enhancements of Telos and ConceptBase.

Research paper thumbnail of Modelling Trust Relationships in a Healthcare Network: Experiences with the TCD Framework

We report on the application of the Trust-Confidence-Distrust (TCD) framework of to the task of m... more We report on the application of the Trust-Confidence-Distrust (TCD) framework of to the task of modeling trust relationships in a large metropolitan health service. We investigated the relationships between an acute stroke ward and a specialist stroke rehabilitation ward by examining the patient handover process that links each ward's activities. The case study provided evidence that the model works in real-life settings. In addition, we gained valuable insights in the applicability of the framework in a formal organizational, rather than more loosely connected network setting.

Research paper thumbnail of Deliberation in a Modeling and Simulation Environment for Inter-organizational Networks

Inter-organizational networks of people, information and communication systems are often describe... more Inter-organizational networks of people, information and communication systems are often described by the interplay between individual goals and actions and the strategic dependencies among individuals and subgroups. Our research aims at improving requirements engineering for such networks by not just representing these goals and dependencies statically, but also by studying the dynamic interactions between both. In previous work, we proposed the prototype environment SNet for the representation and dynamic evaluation of agent-based designs for inter-organizational networks. A key feature of SNet was the automatic translation of extended i* models into the action language ConGolog. While this allowed the simulation of agent networks specified in i*, the resulting agents were purely reactive, which limits the usefulness of the system, in particular as a decision-support tool for network members, who need to evaluate the utility of different courses of action. In this paper we propose to remedy the situation by explicitly incorporating deliberation into the agent design of SNet. At the level of i*, deliberation is represented in terms of goals which are satis.able by different tasks or agents. Utilities are modeled, in part, using the existing concept of softgoals, which are given a quantitative interpretation. At the level of ConGolog, decision-theoretic features are built into the interpreter, which drives the simulations, and the process of delegating tasks to other agents is explicitly represented.

Research paper thumbnail of Deliberation in a metadata-based modeling and simulation environment for inter-organizational networks

Information Systems, 2005

In the emerging field of database centric business process management, interorganizational networ... more In the emerging field of database centric business process management, interorganizational networks of people, information and communication systems are often described by the interplay between individual goals and actions and the strategic dependencies among individuals and subgroups. Our research aims at improving requirements engineering for such networks by not just representing these goals and dependencies statically, but also by studying the dynamic interactions between both. In previous work, we proposed the prototype environment SNet for the representation and dynamic simulation of agent-based designs for inter-organizational networks. A key feature of SNet was the automatic translation of extended i* models into the action language ConGolog. While this allowed the simulation of agent networks specified in i*, the resulting agents were purely reactive. In this paper we explicitly incorporate deliberation into the agent design of SNet. At the level of i*, deliberation is represented in terms of goals which are satisfiable by different tasks or agents. Utilities are modeled, in part, using the existing concept of softgoals, which are given a quantitative interpretation. At the level of ConGolog, decisiontheoretic features are built into the interpreter, which drives the simulations, and the process of delegating tasks to other agents is explicitly represented.

Research paper thumbnail of A Model Driven Approach to Engineering of Flexible Manufacturing System Control Software

Increasing the performance and flexibility of automated manufacturing systems is a key success fa... more Increasing the performance and flexibility of automated manufacturing systems is a key success factor for today’s production companies. Flexible Manufacturing Systems (FMS) have proven to be particularly suitable in this regard since they support small lot sizes and high numbers of variants at the same time. The most important problems facing FMS are the huge expenditure of time and the high costs for “engineering” its control software. Engineering in this context refers to all aspects from planning the concrete production process, to assigning machines to control programs, to implementing software modules, and to testing the whole configuration. In this paper, we describe a model driven approach to support consistent engineering of FMS control software. It makes use of UML and customized UML metamodels for FMS-specific features, and includes a prototype implementation based on open source. We report on first experiences with a real FMS running cosmos 4, a distributed, agent-oriented FMS control software.

Research paper thumbnail of Modellbasierte Anforderungserfassung für softwarebasierte Regelungen

Regelungstechnik und Softwaretechnik haben sichüber lange Zeit getrennt voneinander entwickelt. A... more Regelungstechnik und Softwaretechnik haben sichüber lange Zeit getrennt voneinander entwickelt. Aber immer häufiger werden heute Reglerfunktionen, etwa im Fahrzeug, in Software realisiert. Im Projekt ZAMOMO wird versucht, die immer noch getrennten Entwicklungsprozesse besser miteinander zu verzahnen. In diesem Beitrag wird dazu ein zielorientiertes Rahmenwerk zur Erfassung vonAnforderungen aus der Softwaretechnik, i*, auf seine Eignung für die Erfassung regelungstechnischer Probleme untersucht. Des Weiteren werden resultierende Herausforderungen für die Werkzeugunterstützung diskutiert. Insgesamt ermöglicht der Ansatz, die bereits weitreichend modellbasierte Reglerentwicklung auch in der Anforderungserfassung modellbasiert zu unterstützen und zugleich den Wegfür eine gemeinsame Betrachtung regelungstechnischer und softwaretechnischer Anforderungen zu ebnen.

Research paper thumbnail of Analog and digital performance of MISFETs on p- and n-GaInAs

GaInAs MISFETs with pyrolytic SiO2 isolator on n- and p-GaInAs have been investigated with regard... more GaInAs MISFETs with pyrolytic SiO2 isolator on n- and p-GaInAs have been investigated with regard to analog and digital performance. The 1.7-μm gate length MISFETs on n-GaInAs and p-GaInAs have transconductances of 100 mS/mm and 40 mS/mm, cutoff frequencies ( fT) of 14 GHz and 2 GHz, and maximum frequencies of oscillation (fmax) of 18 GHz and 6 GHz, respectively.

Research paper thumbnail of Tomographic imaging of transient multiphase flow in bubble columns

Chemical Engineering Journal, 2000

Vessels filled with liquid mixtures under high pressure and at high temperatures are used in many... more Vessels filled with liquid mixtures under high pressure and at high temperatures are used in many chemical processes. In the case of a process-breakdown, a sudden decrease of the pressure can occur. As a result, the liquid level inside the vessel swells and a blowdown of liquid and gas from the vessel occurs. For the operation of the plant, the design of the apparatus has to be safe and has to avoid similar states of operation. Therefore, the hydrodynamic phenomena occurring inside the vessel during the blowdown have to be known. Using electrical tomography it is possible to measure the distribution of the void fraction in each cross section of the vessel during the blowdown operation.

Research paper thumbnail of Requirements Engineering for Control Systems Development in Small and Medium-Sized Enterprises

Research paper thumbnail of SNet Reloaded: Roles, Monitoring and Agent Evolution

In previous work, we proposed the prototype environment SNet for the representation and dynamic e... more In previous work, we proposed the prototype environment SNet for the representation and dynamic evaluation of agent-based designs for inter-organizational networks. A key feature of SNet is the automatic translation of extended i* models into the action language ConGolog. In order to run realistic simulations, the resulting agents are deliberative in that they can choose between different courses of action according to some utility measure. When applying SNet to modelling an existing entrepreneurship network, we discovered a number of deficiencies of our current proposal, in particular, the lack of a role concept, the ability to monitor the execution of plans that depend on other agents’ contributions and the ability to model agents that evolve over time. In this paper we will sketch the example domain and discuss how these new features can be incorporated in the SNet framework.

Research paper thumbnail of Telos: Representing Knowledge about Control Systems

Telos is a formal knowledge representation language designed for the development of information s... more Telos is a formal knowledge representation language designed for the development of information systems. It has been successfully applied in many different software development projects. Although the development of control systems also includes software development, it constitutes a completely different application domain. An in-depth analysis of the development process results in a set of key characteristics of this domain. Based on this set we investigate in this paper whether the features of Telos and its implementation ConceptBase are also valuable to support the development of control systems. We first review the existing application of the Telosbased, agent- and goal-oriented language i* to requirements modelling for control systems. Then we examine carefully each single feature of Telos and ConceptBase regarding the support of the identified key characteristics. This investigation shows that nearly all characteristics are well supported and only very few require further enhancements of Telos and ConceptBase.

Research paper thumbnail of Modelling Trust Relationships in a Healthcare Network: Experiences with the TCD Framework

We report on the application of the Trust-Confidence-Distrust (TCD) framework of to the task of m... more We report on the application of the Trust-Confidence-Distrust (TCD) framework of to the task of modeling trust relationships in a large metropolitan health service. We investigated the relationships between an acute stroke ward and a specialist stroke rehabilitation ward by examining the patient handover process that links each ward's activities. The case study provided evidence that the model works in real-life settings. In addition, we gained valuable insights in the applicability of the framework in a formal organizational, rather than more loosely connected network setting.

Research paper thumbnail of Deliberation in a Modeling and Simulation Environment for Inter-organizational Networks

Inter-organizational networks of people, information and communication systems are often describe... more Inter-organizational networks of people, information and communication systems are often described by the interplay between individual goals and actions and the strategic dependencies among individuals and subgroups. Our research aims at improving requirements engineering for such networks by not just representing these goals and dependencies statically, but also by studying the dynamic interactions between both. In previous work, we proposed the prototype environment SNet for the representation and dynamic evaluation of agent-based designs for inter-organizational networks. A key feature of SNet was the automatic translation of extended i* models into the action language ConGolog. While this allowed the simulation of agent networks specified in i*, the resulting agents were purely reactive, which limits the usefulness of the system, in particular as a decision-support tool for network members, who need to evaluate the utility of different courses of action. In this paper we propose to remedy the situation by explicitly incorporating deliberation into the agent design of SNet. At the level of i*, deliberation is represented in terms of goals which are satis.able by different tasks or agents. Utilities are modeled, in part, using the existing concept of softgoals, which are given a quantitative interpretation. At the level of ConGolog, decision-theoretic features are built into the interpreter, which drives the simulations, and the process of delegating tasks to other agents is explicitly represented.

Research paper thumbnail of Deliberation in a metadata-based modeling and simulation environment for inter-organizational networks

Information Systems, 2005

In the emerging field of database centric business process management, interorganizational networ... more In the emerging field of database centric business process management, interorganizational networks of people, information and communication systems are often described by the interplay between individual goals and actions and the strategic dependencies among individuals and subgroups. Our research aims at improving requirements engineering for such networks by not just representing these goals and dependencies statically, but also by studying the dynamic interactions between both. In previous work, we proposed the prototype environment SNet for the representation and dynamic simulation of agent-based designs for inter-organizational networks. A key feature of SNet was the automatic translation of extended i* models into the action language ConGolog. While this allowed the simulation of agent networks specified in i*, the resulting agents were purely reactive. In this paper we explicitly incorporate deliberation into the agent design of SNet. At the level of i*, deliberation is represented in terms of goals which are satisfiable by different tasks or agents. Utilities are modeled, in part, using the existing concept of softgoals, which are given a quantitative interpretation. At the level of ConGolog, decisiontheoretic features are built into the interpreter, which drives the simulations, and the process of delegating tasks to other agents is explicitly represented.

Research paper thumbnail of A Model Driven Approach to Engineering of Flexible Manufacturing System Control Software

Increasing the performance and flexibility of automated manufacturing systems is a key success fa... more Increasing the performance and flexibility of automated manufacturing systems is a key success factor for today’s production companies. Flexible Manufacturing Systems (FMS) have proven to be particularly suitable in this regard since they support small lot sizes and high numbers of variants at the same time. The most important problems facing FMS are the huge expenditure of time and the high costs for “engineering” its control software. Engineering in this context refers to all aspects from planning the concrete production process, to assigning machines to control programs, to implementing software modules, and to testing the whole configuration. In this paper, we describe a model driven approach to support consistent engineering of FMS control software. It makes use of UML and customized UML metamodels for FMS-specific features, and includes a prototype implementation based on open source. We report on first experiences with a real FMS running cosmos 4, a distributed, agent-oriented FMS control software.

Research paper thumbnail of Modellbasierte Anforderungserfassung für softwarebasierte Regelungen

Regelungstechnik und Softwaretechnik haben sichüber lange Zeit getrennt voneinander entwickelt. A... more Regelungstechnik und Softwaretechnik haben sichüber lange Zeit getrennt voneinander entwickelt. Aber immer häufiger werden heute Reglerfunktionen, etwa im Fahrzeug, in Software realisiert. Im Projekt ZAMOMO wird versucht, die immer noch getrennten Entwicklungsprozesse besser miteinander zu verzahnen. In diesem Beitrag wird dazu ein zielorientiertes Rahmenwerk zur Erfassung vonAnforderungen aus der Softwaretechnik, i*, auf seine Eignung für die Erfassung regelungstechnischer Probleme untersucht. Des Weiteren werden resultierende Herausforderungen für die Werkzeugunterstützung diskutiert. Insgesamt ermöglicht der Ansatz, die bereits weitreichend modellbasierte Reglerentwicklung auch in der Anforderungserfassung modellbasiert zu unterstützen und zugleich den Wegfür eine gemeinsame Betrachtung regelungstechnischer und softwaretechnischer Anforderungen zu ebnen.