Browsing Waterloo Research by Author "Atlee, Joanne M."
Now showing items 1-12 of 12
-
BSML-mbeddr: Integrating Semantically Congurable State-Machine Models in a C Programming Environment
Luo, Zhaoyi; Atlee, Joanne M. (ACM, 2016-11)In model-driven engineering, developers express their solutions in domain-specific modelling languages (DSLs) that support domain-specific abstractions. Big-Step Modelling Languages (BSML) is a family of extended state-machine ... -
Continuous Variable-Specic Resolutions of Feature Interactions
ZIbaeenejad, Mohammad Hadi; Zhang, Chi; Atlee, Joanne M. (ACM, 2017-09)Systems that are assembled from independently developed features suffer from feature interactions, in which features affect one another's behaviour in surprising ways. The Feature Interaction Problem results from trying ... -
Detecting Feature-Interaction Symptoms in Automotive Software Using Lightweight Analysis
Muscedere, Bryan J.; Hackman, Robert; Anbarnam, Davood; Atlee, Joanne M.; Davis, Ian J.; Godfrey, Michael W. (IEEE, 2019-02)Modern automotive software systems are large, com- plex, and feature rich; they can contain over 100 million lines of code, comprising hundreds of features distributed across multiple electronic control units (ECUs), all ... -
An Empirical Investigation to Understand the Difficulties and Challenges of Software Modellers When Using Modelling Tools
Pourali, Parsa; Atlee, Joanne M. (ACM, 2018-10)Software modelling is a challenging and error-prone task. Existing Model-Driven Engineering (MDE) tools provide modellers with little aid, partly because tool providers have not investigated users' difficulties through ... -
A Focus+Context Approach to Alleviate Cognitive Challenges of Editing and Debugging UML Models
Pourali, Parsa; Atlee, Joanne M. (IEEE, 2019-09)Model-Driven Engineering has been proposed to increase the productivity of developing a software system. Despite its benefits, it has not been fully adopted in the software industry. Research has shown that modelling tools ... -
Incremental and Commutative Composition of State-Machine Models of Features
Beidu, Sandy; Atlee, Joanne M.; Shaker, Pourya (IEEE, 2015-05)In this paper, we present a technique for incre- mental and commutative composition of state-machine models of features, using the FeatureHouse framework. The inputs to FeatureHouse are feature state-machines (or state-machine ... -
Long-term Average Cost in Featured Transition Systems
Olaechea, Rafael; Fahrenberg, Uli; Atlee, Joanne M.; Legay, Axel (ACM, 2016-09)A software product line is a family of software products that share a common set of mandatory features and whose individual products are differentiated by their variable (optional or alternative) features. Family-based ... -
Measuring Behaviour Interactions between Product-Line Features
Atlee, Joanne M.; Fahrenberg, Uli; Legay, Axel (IEEE, 2015-05)We suggest a method for measuring the degree to which features interact in feature-oriented software development. To this end, we extend the notion of simulation between transition systems to a similarity measure and lift ... -
Merging Features in Featured Transition Systems
Atlee, Joanne M.; Beidu, Sandy; Fahrenberg, Uli; Legay, Axel (CEUR, 2015-09)Featured Transition Systems (FTSs) is a popular representation for software product lines: an entire product line is compactly represented as a single transition-machine model, in which feature-specific behaviour is guarded ... -
Symbolic Model Checking of Product-Line Requirements Using SAT-Based Methods
Ben-David, Shoham; Sterin, Baruch; Atlee, Joanne M.; Beidu, Sandy (IEEE, 2015-05)Product line (PL) engineering promotes the de- velopment of families of related products, where individual products are differentiated by which optional features they include. Modelling and analyzing requirements models ... -
Trace Checking for Dynamic Software Product Lines
Olaechea, Rafael; Atlee, Joanne M.; Legay, Axel; Fahrenberg, Uli (ACM, 2018-05)A key objective of self-adaptive systems is to continue to provide optimal quality of service when the environment changes. A dynamic software product line (DSPL) can benefit from knowing how its various product variants ... -
UCAnDoModels: A Context-based Model Editor for Editing and Debugging UML Class and State-Machine Diagrams
Pourali, Parsa; Atlee, Joanne M. (ACM/IEEE, 2019-09)Practitioners face cognitive challenges when using model editors to edit and debug UML models, which make them reluctant to adopt modelling. To assist practitioners in their modelling tasks, we have developed effective ...