Search

Your search keyword '"Dingel, Juergen"' showing total 397 results
Start Over Author "Dingel, Juergen"

Refine your results

more »

more »

more »

more »
397 results on '"Dingel, Juergen"'

1. A General Architecture for Client-Agnostic Hybrid Model Editors as a Service

Author

Walsh, Liam, Dingel, Juergen, and Jahed, Karim

Subjects
Computer Science - Software Engineering
Abstract

In this paper, we propose a general architecture for designing language servers for hybrid modeling languages, that is, modeling languages that contain both textual and graphical representations. The architecture consists of a textual language server, a graphical language server, and a client that communicates with the two servers. The servers are implemented using the Language Server Protocol (LSP) and the Graphical Language Server Protocol (GLSP) and are based on a shared abstract syntax of the hybrid language. This means that only static resources need to be common between the graphical and textual language servers. The servers' separation allows each to be developed and maintained independently, while also enabling forward-compatibility with their respective dependencies. We describe a prototype implementation of our architecture in the form of a hybrid editor for the UML-RT language. The evaluation of the architecture via this prototype gives us useful insight into further generalization of the architecture and the way it is used. We then sketch a suitable extension of the architecture to enable support for multiple diagram types and, thus, multiple graphical views.

Published
2022
Full Text
View/download PDF

3. Execution of Partial State Machine Models

Author

Bagherzadeh, Mojtaba, Kahani, Nafiseh, Jahed, Karim, and Dingel, Juergen

Subjects
Computer Science - Software Engineering
Abstract

The iterative and incremental nature of software development using models typically makes a model of a system incomplete (i.e., partial) until a more advanced and complete stage of development is reached. Existing model execution approaches (interpretation of models or code generation) do not support the execution of partial models. Supporting the execution of partial models at the early stages of software development allows early detection of defects, which can be fixed more easily and at a lower cost. This paper proposes a conceptual framework for the execution of partial models, which consists of three steps: static analysis, automatic refinement, and input-driven execution. First, a static analysis that respects the execution semantics of models is applied to detect problematic elements of models that cause problems for the execution. Second, using model transformation techniques, the models are refined automatically, mainly by adding decision points where missing information can be supplied. Third, refined models are executed, and when the execution reaches the decision points, it uses inputs obtained either interactively or by a script that captures how to deal with partial elements. We created an execution engine called PMExec for the execution of partial models of UML-RT (i.e., a modeling language for the development of soft real-time systems) that embodies our proposed framework. We evaluated PMExec based on several use-cases that show that the static analysis, refinement, and application of user input can be carried out with reasonable performance and that the overhead of approach, which is mostly due to the refinement and the increase in model complexity it causes, is manageable. We also discuss the properties of the refinement formally and show how the refinement preserves the original behaviors of the model.

Published
2021
Full Text
View/download PDF

4. Towards Modeling Framework for DevOps: Requirements Derived from Industry Use Case

Author

Bordeleau, Francis, Cabot, Jordi, Dingel, Juergen, Rabil, Bassem S., Renaud, Patrick, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Bruel, Jean-Michel, editor, Mazzara, Manuel, editor, and Meyer, Bertrand, editor

Published
2020
Full Text
View/download PDF

7. UML 2 Semantics Symposium: Formal Semantics for UML

Author

Broy, Manfred, Crane, Michelle L., Dingel, Juergen, Hartman, Alan, Rumpe, Bernhar, and Selic, Brau

Subjects
Computer Science - Software Engineering
Abstract

The purpose of this symposium, held in conjunction with MoDELS 2006, was to present the current state of research of the UML 2 Semantics Project. Equally important to receiving feedback from an audience of experts was the opportunity to invite researchers in the field to discuss their own work related to a formal semantics for the Unified Modeling Language. This symposium is a follow-on to our first workshop, held in conjunction with ECMDA 2005., Comment: 6 pages, 1 figures

Published
2014

8. System-Model-Based Simulation of UML Models

Author

Cengarle, Maria Victoria, Dingel, Jürgen, Grönninger, Hans, and Rumpe, Bernhard

Subjects
Computer Science - Software Engineering
Abstract

Previous work has presented our ongoing e orts to define a "reference semantics" for the UML, that is, a mathematically defined system model that is envisaged to cover all of the UML eventually, and that also carefully avoids the introduction of any unwarranted restrictions or biases. Due to the use of underspecification, the system model is not executable. This paper shows how the system model can serve as the basis for a highly customizable execution and simulation environment for the UML. The design and implementation of a prototype of such an environment is described and its use for the experimentation with different semantic variation points is illustrated., Comment: 15 pages, 8 figures, Proceedings Nordic Workshop on Model Driven Engineering (NW-MODE 2007), Aug. 2007

Published
2014

10. Property-Aware Unit Testing of UML-RT Models in the Context of MDE

Author

Ahmadi, Reza, Hili, Nicolas, Dingel, Juergen, Hutchison, David, Series Editor, Kanade, Takeo, Series Editor, Kittler, Josef, Series Editor, Kleinberg, Jon M., Series Editor, Mattern, Friedemann, Series Editor, Mitchell, John C., Series Editor, Naor, Moni, Series Editor, Pandu Rangan, C., Series Editor, Steffen, Bernhard, Series Editor, Terzopoulos, Demetri, Series Editor, Tygar, Doug, Series Editor, Weikum, Gerhard, Series Editor, Pierantonio, Alfonso, editor, and Trujillo, Salvador, editor

Published
2018
Full Text
View/download PDF

12. Formal Analysis of Predictable Data Flow in Fault-Tolerant Multicore Systems

Author

Madzar, Boris, Boudjadar, Jalil, Dingel, Juergen, Fuhrman, Thomas E., Ramesh, S., Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Kouchnarenko, Olga, editor, and Khosravi, Ramtin, editor

Published
2017
Full Text
View/download PDF

16. Compositional Predictability Analysis of Mixed Critical Real Time Systems

Author

Boudjadar, Abdeldjalil, Dingel, Juergen, Madzar, Boris, Kim, Jin Hyun, Diniz Junqueira Barbosa, Simone, Series editor, Chen, Phoebe, Series editor, Du, Xiaoyong, Series editor, Filipe, Joaquim, Series editor, Kara, Orhun, Series editor, Liu, Ting, Series editor, Kotenko, Igor, Series editor, Sivalingam, Krishna M., Series editor, Washio, Takashi, Series editor, Artho, Cyrille, editor, and Ölveczky, Peter Csaba, editor

Published
2016
Full Text
View/download PDF

17. Complexity is the Only Constant: Trends in Computing and Their Relevance to Model Driven Engineering

Author

Dingel, Juergen, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Echahed, Rachid, editor, and Minas, Mark, editor

Published
2016
Full Text
View/download PDF

18. A Model for Industrial Real-Time Systems

Author

Waez, Md Tawhid Bin, Wąsowski, Andrzej, Dingel, Juergen, Rudie, Karen, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Kobsa, Alfred, Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, D’Souza, Deepak, editor, Lal, Akash, editor, and Larsen, Kim Guldstrand, editor

Published
2015
Full Text
View/download PDF

19. A Customizable Execution Engine for Models of Embedded Systems

Author

Zurowska, Karolina, Dingel, Jürgen, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Roubtsova, Ella, editor, McNeile, Ashley, editor, Kindler, Ekkart, editor, and Gerth, Christian, editor

Published
2015
Full Text
View/download PDF

20. Migrating Automotive Product Lines: A Case Study

Author

Famelis, Michalis, Lúcio, Levi, Selim, Gehan, Di Sandro, Alessio, Salay, Rick, Chechik, Marsha, Cordy, James R., Dingel, Juergen, Vangheluwe, Hans, S., Ramesh, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Kolovos, Dimitris, editor, and Wimmer, Manuel, editor

Published
2015
Full Text
View/download PDF

21. Synthesis of a Reconfiguration Service for Mixed-Criticality Multi-Core Systems: An Experience Report

Author

Waez, Md Tawhid Bin, Wąsowski, Andrzej, Dingel, Juergen, Rudie, Karen, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Lanese, Ivan, editor, and Madelaine, Eric, editor

Published
2015
Full Text
View/download PDF

24. Specification and Verification of Graph-Based Model Transformation Properties

Author

Selim, Gehan M. K., Lúcio, Levi, Cordy, James R., Dingel, Juergen, Oakes, Bentley J., Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Kobsa, Alfred, editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Weikum, Gerhard, editor, Giese, Holger, editor, and König, Barbara, editor

Published
2014
Full Text
View/download PDF

30. Model Checking of UML-RT Models Using Lazy Composition

Author

Zurowska, Karolina, Dingel, Juergen, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Moreira, Ana, editor, Schätz, Bernhard, editor, Gray, Jeff, editor, Vallecillo, Antonio, editor, and Clarke, Peter, editor

Published
2013
Full Text
View/download PDF

31. Automated Verification of Model Transformations in the Automotive Industry

Author

Selim, Gehan M. K., Büttner, Fabian, Cordy, James R., Dingel, Juergen, Wang, Shige, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Moreira, Ana, editor, Schätz, Bernhard, editor, Gray, Jeff, editor, Vallecillo, Antonio, editor, and Clarke, Peter, editor

Published
2013
Full Text
View/download PDF

32. Model Transformations for Migrating Legacy Models: An Industrial Case Study

Author

Selim, Gehan M. K., Wang, Shige, Cordy, James R., Dingel, Juergen, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Vallecillo, Antonio, editor, Tolvanen, Juha-Pekka, editor, Kindler, Ekkart, editor, Störrle, Harald, editor, and Kolovos, Dimitris, editor

Published
2012
Full Text
View/download PDF

33. Symbolic Execution of Communicating and Hierarchically Composed UML-RT State Machines

Author

Zurowska, Karolina, Dingel, Juergen, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Goodloe, Alwyn E., editor, and Person, Suzette, editor

Published
2012
Full Text
View/download PDF

34. Verifying UML-RT Protocol Conformance Using Model Checking

Author

Moffett, Yann, Beaulieu, Alain, Dingel, Juergen, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Whittle, Jon, editor, Clark, Tony, editor, and Kühne, Thomas, editor

Published
2011
Full Text
View/download PDF

35. Theory and Implementation of a Real-Time Extension to the π-Calculus

Author

Posse, Ernesto, Dingel, Juergen, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Hatcliff, John, editor, and Zucca, Elena, editor

Published
2010
Full Text
View/download PDF

36. The Doctoral Symposium at MODELS 2009

Author

Dingel, Juergen, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, and Ghosh, Sudipto, editor

Published
2010
Full Text
View/download PDF

38. A Practical Evaluation of Using TXL for Model Transformation

Author

Liang, Hongzhi, Dingel, Juergen, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Gašević, Dragan, editor, Lämmel, Ralf, editor, and Van Wyk, Eric, editor

Published
2009
Full Text
View/download PDF

40. Towards a Formal Account of a Foundational Subset for Executable UML Models

Author

Crane, Michelle L., Dingel, Juergen, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Czarnecki, Krzysztof, editor, Ober, Ileana, editor, Bruel, Jean-Michel, editor, Uhl, Axel, editor, and Völter, Markus, editor

Published
2008
Full Text
View/download PDF

41. A General Approach for Scenario Integration

Author

Liang, Hongzhi, Diskin, Zinovy, Dingel, Juergen, Posse, Ernesto, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Czarnecki, Krzysztof, editor, Ober, Ileana, editor, Bruel, Jean-Michel, editor, Uhl, Axel, editor, and Völter, Markus, editor

Published
2008
Full Text
View/download PDF

43. Verifying Distributed, Event-Based Middleware Applications Using Domain-Specific Software Model Checking

Author

Cai, L. Ruhai, Bradbury, Jeremy S., Dingel, Juergen, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Rangan, C. Pandu, Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, Bonsangue, Marcello M., editor, and Johnsen, Einar Broch, editor

Published
2007
Full Text
View/download PDF

44. 2 nd UML 2 Semantics Symposium: Formal Semantics for UML

Author

Broy, Manfred, Crane, Michelle L., Dingel, Juergen, Hartman, Alan, Rumpe, Bernhard, Selic, Bran, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Rangan, C. Pandu, editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, and Kühne, Thomas, editor

Published
2007
Full Text
View/download PDF

45. Mappings, Maps and Tables: Towards Formal Semantics for Associations in UML2

Author

Diskin, Zinovy, Dingel, Juergen, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Whittle, Jon, editor, Harel, David, editor, and Reggio, Gianna, editor

Published
2006
Full Text
View/download PDF

46. Package Merge in UML 2: Practice vs. Theory?

Author

Zito, Alanna, Diskin, Zinovy, Dingel, Juergen, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Whittle, Jon, editor, Harel, David, editor, and Reggio, Gianna, editor

Published
2006
Full Text
View/download PDF

49. UML Vs. Classical Vs. Rhapsody Statecharts: Not All Models Are Created Equal

Author

Crane, Michelle L., Dingel, Juergen, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Briand, Lionel, editor, and Williams, Clay, editor

Published
2005
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results