Search

Your search keyword '"Whittle, Jon"' showing total 70 results
Start Over Author "Whittle, Jon" Publication Type Books
70 results on '"Whittle, Jon"'

6. The Relevance of Model-Driven Engineering Thirty Years from Now

Author

Mussbacher, Gunter, primary, Amyot, Daniel, additional, Breu, Ruth, additional, Bruel, Jean-Michel, additional, Cheng, Betty H. C., additional, Collet, Philippe, additional, Combemale, Benoit, additional, France, Robert B., additional, Heldal, Rogardt, additional, Hill, James, additional, Kienzle, Jörg, additional, Schöttle, Matthias, additional, Steimann, Friedrich, additional, Stikkolorum, Dave, additional, and Whittle, Jon, additional

Published
2014
Full Text
View/download PDF

20. Software Engineering for Self-Adaptive Systems: A Research Roadmap

Author

Cheng, Betty H. C., primary, de Lemos, Rogério, additional, Giese, Holger, additional, Inverardi, Paola, additional, Magee, Jeff, additional, Andersson, Jesper, additional, Becker, Basil, additional, Bencomo, Nelly, additional, Brun, Yuriy, additional, Cukic, Bojan, additional, Di Marzo Serugendo, Giovanna, additional, Dustdar, Schahram, additional, Finkelstein, Anthony, additional, Gacek, Cristina, additional, Geihs, Kurt, additional, Grassi, Vincenzo, additional, Karsai, Gabor, additional, Kienle, Holger M., additional, Kramer, Jeff, additional, Litoiu, Marin, additional, Malek, Sam, additional, Mirandola, Raffaela, additional, Müller, Hausi A., additional, Park, Sooyong, additional, Shaw, Mary, additional, Tichy, Matthias, additional, Tivoli, Massimo, additional, Weyns, Danny, additional, and Whittle, Jon, additional

Published
2009
Full Text
View/download PDF

48. Verifying Semantic Conformance of State Machine-to-Java Code Generators.

Author

Ab Rahim, Lukman and Whittle, Jon

Abstract

When applying model-driven engineering to safety-critical systems, the correctness of model transformations is crucial. In this paper, we investigate a novel approach to verifying the conformance to source language semantics of model-to-code transformations that uses annotations in the generated code. These annotations are inserted by the transformation and are used to guide a model checker to verify that the generated code satisfies the semantics of the source language – UML state machines in this paper. Verifying the generated output in this way is more efficient than formally verifying the transformation΄s definition. The verification is performed using Java Pathfinder (JPF) [1], a model checker for Java source code. The approach has been applied to verify three UML state machine to Java code generators: one developed by us and two commercial generators (Rhapsody and Visual Paradigm). We were able to detect non-conformance in both commercial tools, which failed some semantic properties extracted from the UML specification. [ABSTRACT FROM AUTHOR]

Published
2010
Full Text
View/download PDF

49. Refactoring-Safe Modeling of Aspect-Oriented Scenarios.

Author

Mussbacher, Gunter, Amyot, Daniel, and Whittle, Jon

Abstract

Aspects use pointcut expressions to specify patterns that are matched against a base model, hence defining the base locations to which aspects are applied. The fragile pointcut problem is well-known in aspect-oriented modeling, as small changes in the base may lead to non-matching patterns. Consequently, aspects are not applied as desired. This is especially problematic for refactoring. Even though the meaning of the model has not changed, pointcut expressions may no longer match. We present an aspect-oriented modeling technique for scenarios that is refactoring-safe. The scenarios are modeled with Aspect-oriented Use Case Maps (AoUCM), an extension of the recent ITU standard User Requirements Notation. AoUCM takes the semantics of the modeling notation into account, thus ensuring pointcut expressions still match even after, for example, refactoring a single use case map into several hierarchical maps. Furthermore, AoUCM allows the composed model to be viewed without having to resolve complex layout issues. The general principles of our approach are also applicable to other aspect-oriented modeling notations. [ABSTRACT FROM AUTHOR]

Published
2009
Full Text
View/download PDF

50. A Goal-Based Modeling Approach to Develop Requirements of an Adaptive System with Environmental Uncertainty.

Author

Cheng, Betty H. C., Sawyer, Pete, Bencomo, Nelly, and Whittle, Jon

Abstract

Dynamically adaptive systems (DASs) are intended to monitor the execution environment and then dynamically adapt their behavior in response to changing environmental conditions. The uncertainty of the execution environment is a major motivation for dynamic adaptation; it is impossible to know at development time all of the possible combinations of environmental conditions that will be encountered. To date, the work performed in requirements engineering for a DAS includes requirements monitoring and reasoning about the correctness of adaptations, where the DAS requirements are assumed to exist. This paper introduces a goal-based modeling approach to develop the requirements for a DAS, while explicitly factoring uncertainty into the process and resulting requirements. We introduce a variation of threat modeling to identify sources of uncertainty and demonstrate how the RELAX specification language can be used to specify more flexible requirements within a goal model to handle the uncertainty. [ABSTRACT FROM AUTHOR]

Published
2009
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results