353 Hits in 3.5 sec

Refactoring of Automotive Models to Handle the Variant Problem

Cem Mengi, Manfred Nagl
2012 Softwaretechnik-Trends  
Even more, refactoring is also the means to handle the variant problem. The presentation is based on a chapter of [5] . It remains on an informal example by example basis.  ...  Summary We showed that one key to the variant problem is to be able to model commonalities and differences of models, dependent models, and their combinations.  ... 
doi:10.1007/bf03323456 fatcat:ufk567wd6nfnlaxilafke2n4he

Refactoring large process model repositories

Barbara Weber, Manfred Reichert, Jan Mendling, Hajo A. Reijers
2011 Computers in industry (Print)  
Refactoring of process variants Another challenge is to manage the process variant models belonging to the same process family (cf. Fig. 1b) .  ...  The problem of unused branches is closely linked to the issue of ''overfitting'' [83] , which refers to situations where a process model contains behavior not found in a series of observations of the  ... 
doi:10.1016/j.compind.2010.12.012 fatcat:3qrqs7ffjjc7pipslzqgjcvrou

Evolving Delta-Oriented Software Product Line Architectures [chapter]

Arne Haber, Holger Rendel, Bernhard Rumpe, Ina Schaefer
2012 Lecture Notes in Computer Science  
In order to avoid degeneration of the product line model under system evolution, we present refactoring techniques to maintain and improve the quality of the variability model.  ...  Several system variants exist at the same time in order to adapt to changing user requirements.  ...  As variable parts of a model, e.g. functionality for new product variants, are encapsulated in deltas, this approach overcomes the aforementioned problems of annotative variability modeling.  ... 
doi:10.1007/978-3-642-34059-8_10 fatcat:jxohzyxovrgdrnaqtdjfg6nr7i

Innovations in Model-based Software And Systems Engineering

Katrin Hölldobler, Judith Michael, Jan Oliver Ringert, Bernhard Rumpe
2019 Journal of Object Technology  
to determine the quality of models, and constructive refactoring and transformation steps to evolve models.  ...  Models can also be used to describe variability, e.g., using delta-models to describe the difference to a base variant as an additive feature.  ...  [GKPR08] extends this modeling approach to model variants of an architecture.  ... 
doi:10.5381/jot.2019.18.1.r1 fatcat:7cnjossiqrcjvfq72oplddujba

A Methodology for the Simplification of Tabular Designs in Model-Based Development

Monika Bialy, Mark Lawford, Vera Pantelic, Alan Wassyng
2015 2015 IEEE/ACM 3rd FME Workshop on Formal Methods in Software Engineering  
As a result of the safety-critical nature of the automotive industry, as well as the increasing size and complexity of its models, reliable refactoring and simplification techniques for tabular expressions  ...  With an increasing reliance on software for controlling vehicle functionality and the yearly advent of new vehicle features, automotive models have been growing in size and complexity, causing them to  ...  In summation, the solutions to such cases are largely relative to the problem, thus we direct the reader to handle them according to their discretion.  ... 
doi:10.1109/formalise.2015.15 dblp:conf/icse/BialyLPW15 fatcat:juaamfa3hvhwppdmakq7bzyk6u

Process Change Patterns: Recent Research, Use Cases, Research Directions [chapter]

Manfred Reichert, Barbara Weber
2013 Seminal Contributions to Information Systems Engineering  
In previous work, we introduced change patterns to foster a systematic comparison of process-aware information systems with respect to change support.  ...  When handling exceptions, it might be useful to reuse changes applied in similar problem contexts earlier [26] .  ...  Further, it discusses how the patterns were identified based on the analysis of large process model collections from the healthcare and automotive domains. Finally, Weber et al.  ... 
doi:10.1007/978-3-642-36926-1_32 fatcat:vtvmgmrwr5hihlp3jal5zd32di

Feature-oriented software evolution

Leonardo Passos, Krzysztof Czarnecki, Sven Apel, Andrzej Wąsowski, Christian Kästner, Jianmei Guo
2013 Proceedings of the Seventh International Workshop on Variability Modelling of Software-intensive Systems - VaMoS '13  
We illustrate these ideas using an automotive example and raise research questions for the community.  ...  From the fact that features provide a common ground to all stakeholders, we derive a hypothesis that changes can be effectively managed in a feature-oriented manner.  ...  According to the feature model of the automotive example, that code is dead [39, 30] , as Conv is always absent when ABS is present (they are Figure 6 : Traceability recovery in the automotive example  ... 
doi:10.1145/2430502.2430526 dblp:conf/vamos/PassosCAWKG13 fatcat:lts2rssgcfetnecvehhm22q52m

The state of adoption and the challenges of systematic variability management in industry

Thorsten Berger, Jan-Philipp Steghöfer, Tewfik Ziadi, Jacques Robin, Jabier Martinez
2020 Empirical Software Engineering  
In this multiple-case study, we analyze the current adoption of variability management techniques in twelve medium-to large-scale industrial cases in domains such as automotive, aerospace or railway systems  ...  We believe our results help to understand the current state of adoption and shed light on gaps to address in industrial practice.  ...  Acknowledgments We thank all practitioners who participated in the focus group discussions, as well as we thank the anonymous reviewers for very valuable comments to improve the paper.  ... 
doi:10.1007/s10664-019-09787-6 fatcat:h77ikukjxff2tmprz6d23c37iu

Software Evolution in Time and Space: Unifying Version and Variability Management (Dagstuhl Seminar 19191)

Thorsten Berger, Marsha Chechik, Timo Kehrer, Manuel Wimmer, Michael Wagner
2019 Dagstuhl Reports  
Together with industrial practitioners, we invited researchers from both fields to conceive an ontology of SCM and SPLE concepts, to identify open problems, and to elicit and synthesize practitioners'  ...  Effectively managing versions and variants of software systems are among the main challenges of software engineering.  ...  very similar to that of integrating variability with version control.  ... 
doi:10.4230/dagrep.9.5.1 dblp:journals/dagstuhl-reports/BergerCKW19 fatcat:senqkwy3d5amfb2sx255jb3qum

Computing refactorings of state machines

Alexander Pretschner, Wolfgang Prenninger
2007 Journal of Software and Systems Modeling  
Originally published in: Software and Systems Modeling 6(4), http://doi.  ...  Step 2: Refactoring It appears intuitive to partition the state space by means of the predicates on ≡ not(isE(al)) and off ≡ isE(al), Fig. 6 Two variants of the first increment Table 4 Refactoring  ...  To summarize, we tackle the following problem.  ... 
doi:10.1007/s10270-006-0037-5 fatcat:5muzsrgm3rdjxpjurmctpy3uuy

Identification of Simulink model antipattern instances using model clone detection

Matthew Stephan, James R. Cordy
2015 2015 ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS)  
We demonstrate our technique using near-miss crossclone detection to find instances of Simulink antipatterns derived from the literature in four sets of public Simulink projects.  ...  One challenge facing the Model-Driven Engineering community is the need for model quality assurance. Specifically, there should be better facilities for analyzing models automatically.  ...  ACKNOWLEDGMENT This work is supported in part by the Natural Sciences and Engineering Research Council of Canada, as part of the NECSIS Automotive Partnership with General Motors, IBM Canada, and Malina  ... 
doi:10.1109/models.2015.7338258 dblp:conf/models/StephanC15 fatcat:ndik4n63prg43kccvtcxu4pgzy

Automatic library migration for the generation of hardware-in-the-loop models

Uwe Ryssel, Joern Ploennigs, Klaus Kabitzsch
2012 Science of Computer Programming  
Due to the rising complexity of the embedded functions, performance limitations and practicability reasons, the simulations are often specialized to test specific aspects of the embedded system and develop  ...  This diversity is difficult to manage for a user and results in erroneously selected test components and compatibility problems in the test configuration.  ...  Generative programming can solve these design problems by aggregating variants of the same simulation model or component in one parameterizable component.  ... 
doi:10.1016/j.scico.2010.06.005 fatcat:rfncwvo6pvgylm4mhxnqjbj27y

Handling index-out-of-bounds in safety-critical embedded C code using model-based development

Gunter Blache
2018 Journal of Software and Systems Modeling  
One kind of problem is array accesses where the index is outside the specified value range.  ...  In this paper, the approach of the model-based development tool "ASCET" is explained, and the experiences of three case studies that describe the adoption of index protection by the users are presented  ...  , and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.  ... 
doi:10.1007/s10270-018-0697-y fatcat:surdghyjtfectpoajs7alfgtwa

Lifting model transformations to product lines

Rick Salay, Michalis Famelis, Julia Rubin, Alessio Di Sandro, Marsha Chechik
2014 Proceedings of the 36th International Conference on Software Engineering - ICSE 2014  
Product line approaches simplify the handling of software variants while model transformations automate software manipulations such as refactoring, optimization, code generation, etc.  ...  While these techniques are well understood independently, combining them to get the benefit of both poses a challenge because most model transformations apply to individual models while modellevel product  ...  ACKNOWLEDGEMENTS We thank Marcilio Mendonca for his help with the S.P.L.O.T benchmarks. This research has been supported by NECSIS and NSERC.  ... 
doi:10.1145/2568225.2568267 dblp:conf/icse/SalayFRSC14 fatcat:rqq5a4rembd7zcomgvpsxivoqy

Approximate Clone Detection in Repositories of Business Process Models [chapter]

Chathura C. Ekanayake, Marlon Dumas, Luciano García-Bañuelos, Marcello La Rosa, Arthur H. M. ter Hofstede
2012 Lecture Notes in Computer Science  
This duplication may stem from the fact that the repository describes variants of the same processes and/or because of copy/pasting activity throughout the lifetime of the repository.  ...  This paper analyzes the problem of approximate clone detection and puts forward two techniques for detecting clusters of approximate clones.  ...  In [8] an approach is described to synthesize the most representative process model out of a collection of variants.  ... 
doi:10.1007/978-3-642-32885-5_24 fatcat:q2uumkclvnefvj5wxo5adpj6rm
« Previous Showing results 1 — 15 out of 353 results