Composition Validation and Subjectivity in GenVoca Generators
IEEE Transactions on Software Engineering
Component-based product line development: the KobrA approach
Proceedings of the first conference on Software product lines : experience and research directions: experience and research directions
A Standard Problem for Evaluating Product-Line Methodologies
GCSE '01 Proceedings of the Third International Conference on Generative and Component-Based Software Engineering
Designing Software Product Lines with UML: From Use Cases to Pattern-Based Software Architectures
Designing Software Product Lines with UML: From Use Cases to Pattern-Based Software Architectures
IEEE Transactions on Software Engineering
Comparison of Software Product Line Architecture Design Methods: COPA, FAST, FORM, KobrA and QADA
Proceedings of the 26th International Conference on Software Engineering
Comparison of Software Product Line Architecture Design Methods: COPA, FAST, FORM, KobrA and QADA
Proceedings of the 26th International Conference on Software Engineering
Variability management with feature-oriented programming and aspects
Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering
Software Product Line Engineering: Foundations, Principles and Techniques
Software Product Line Engineering: Foundations, Principles and Techniques
Product Line Implementation using Aspect-Oriented and Model-Driven Software Development
SPLC '07 Proceedings of the 11th International Software Product Line Conference
Granularity in software product lines
Proceedings of the 30th international conference on Software engineering
Aspect-Oriented Modeling for Variability Management
SPLC '08 Proceedings of the 2008 12th International Software Product Line Conference
Adding Standardized Variability to Domain Specific Languages
SPLC '08 Proceedings of the 2008 12th International Software Product Line Conference
Model Superimposition in Software Product Lines
ICMT '09 Proceedings of the 2nd International Conference on Theory and Practice of Model Transformations
A complete guide to the future
ESOP'07 Proceedings of the 16th European conference on Programming
Superimposition: a language-independent approach to software composition
SC'08 Proceedings of the 7th international conference on Software composition
An algebraic foundation for automatic feature-based program synthesis
Science of Computer Programming
GPCE '10 Proceedings of the ninth international conference on Generative programming and component engineering
Delta-oriented programming of software product lines
SPLC'10 Proceedings of the 14th international conference on Software product lines: going beyond
Detecting Dependences and Interactions in Feature-Oriented Design
ISSRE '10 Proceedings of the 2010 IEEE 21st International Symposium on Software Reliability Engineering
Validating timed models of deployment components with parametric concurrency
FoVeOOS'10 Proceedings of the 2010 international conference on Formal verification of object-oriented software
A text-based approach to feature modelling: Syntax and semantics of TVL
Science of Computer Programming
Evaluating support for features in advanced modularization technologies
ECOOP'05 Proceedings of the 19th European conference on Object-Oriented Programming
FeatureC++: on the symbiosis of feature-oriented and aspect-oriented programming
GPCE'05 Proceedings of the 4th international conference on Generative Programming and Component Engineering
ABS: a core language for abstract behavioral specification
FMCO'10 Proceedings of the 9th international conference on Formal Methods for Components and Objects
Variability modelling in the ABS language
FMCO'10 Proceedings of the 9th international conference on Formal Methods for Components and Objects
A system for compositional verification of asynchronous objects
Science of Computer Programming
Model composition in product lines and feature interaction detection using critical pair analysis
MODELS'07 Proceedings of the 10th international conference on Model Driven Engineering Languages and Systems
Formal modeling of resource management for cloud architectures: an industrial case study
ESOCC'12 Proceedings of the First European conference on Service-Oriented and Cloud Computing
Hi-index | 0.00 |
The HATS project aims at developing a model-centric engineering methodology for the design, implementation and verification of distributed, concurrent and highly configurable systems. Such systems also have high demands on their dependability and trustworthiness. The HATS approach is centered around the Abstract Behavioural Specification modelling language (ABS) and its accompanying tools suite. The HATS approach allows the precise specification and analysis of the abstract behaviour of distributed software systems and their variability. The HATS project measures its success by applying its framework not only to toy examples, but to real industrial scenarios. In this paper, we evaluate the HATS approach for modelling an industrial scale case study provided by the eCommerce company Fredhopper. In this case study we consider Fredhopper Access Server (FAS). We model the commonality and variability of FAS's replication system using the ABS language and provide an evaluation based on our experience.