18,883 Hits in 6.2 sec

Executable modelling of dynamic software product lines in the ABS language

Radu Muschevici, Dave Clarke, José Proença
2013 Proceedings of the 5th International Workshop on Feature-Oriented Software Development - FOSD '13  
Dynamic software product lines (DSPLs) combine the advantages of traditional SPLs, such as an explicit variability model connected to an integrated repository of reusable code artefacts, with the ability  ...  Our work builds on ABS, a language and integrated development environment with dedicated support for implementing static software product lines.  ...  ACKNOWLEDGMENTS This work is supported by the FCT grant BPD/91908/2012. We thank the anonymous reviewers for their valuable feedback, which helped us improve the paper.  ... 
doi:10.1145/2528265.2528266 dblp:conf/gpce/MuscheviciCP13 fatcat:hf4mzggjvfcc5b5pj6antttwgi

HATS Abstract Behavioral Specification: The Architectural View [chapter]

Reiner Hähnle, Michiel Helvensteijn, Einar Broch Johnsen, Michael Lienhardt, Davide Sangiorgi, Ina Schaefer, Peter Y. H. Wong
2013 Lecture Notes in Computer Science  
degree of variation, such as software product lines.  ...  The Abstract Behavioral Specification (ABS) language is a formal, executable, object-oriented, concurrent modeling language intended for behavioral modeling of complex software systems that exhibit a high  ...  The product selection language PSL is used to define the actual product of an ABS product line.  ... 
doi:10.1007/978-3-642-35887-6_6 fatcat:z5qaov4jznbntkb2zy2r2k33nu

Modeling Spatial and Temporal Variability with the HATS Abstract Behavioral Modeling Language [chapter]

Dave Clarke, Nikolay Diakov, Reiner Hähnle, Einar Broch Johnsen, Ina Schaefer, Jan Schäfer, Rudolf Schlatte, Peter Y. H. Wong
2011 Lecture Notes in Computer Science  
Spatial variability of ABS models is represented by feature models, delta modules containing modifications of ABS models, product line configurations linking delta modules with product features and product  ...  The Abstract Behavioral Specification (ABS) language facilitates to precisely model the behavior of highly configurable, distributed systems.  ...  A novelty of ABS is the possibility to define software product lines with the help of feature models and delta modeling.  ... 
doi:10.1007/978-3-642-21455-4_13 fatcat:dh3cuku5erg4dgddjqykp7lbhe

The ABS tool suite: modelling, executing and analysing distributed adaptable object-oriented systems

Peter Y. H. Wong, Elvira Albert, Radu Muschevici, José Proença, Jan Schäfer, Rudolf Schlatte
2012 International Journal on Software Tools for Technology Transfer (STTT)  
We report on the experience of using the ABS language and the ABS tool suite in an industrial case study.  ...  The analysis capabilities of ABS stretch from debugging, observing and simulating to resource analysis of ABS models and help ensure that a system will remain dependable throughout its evolutionary lifetime  ...  The remainder of this section details the ABS language constructs used for modelling software product lines. Section 4.1 introduces feature models and describes how to select valid products.  ... 
doi:10.1007/s10009-012-0250-1 fatcat:4cax5b6gpfb5xlx6ugtjvsivda

Delta-Oriented Monitor Specification [chapter]

Eric Bodden, Kevin Falzon, Ka I. Pun, Volker Stolz
2012 Lecture Notes in Computer Science  
Delta-oriented programming allows software developers to define software product lines as variations of a common code base, where variations are expressed as so-called program deltas.  ...  Monitor-oriented programming (MOP) provides a mechanism to execute functionality based on the execution history of the program; this is useful, e.g., for the purpose of runtime verification and for enforcing  ...  The Common Component Modelling Example (CoCoME) [15] is given as a use case with optional variabilities, which we treat as features in a software product line.  ... 
doi:10.1007/978-3-642-34026-0_13 fatcat:xpoxbbcixvfild3iqxp7bigwea

Modeling Deployment Decisions for Elastic Services with ABS

Einar Broch Johnsen, Ka I Pun, S. Lizeth Tapia Tarifa
2016 Electronic Proceedings in Theoretical Computer Science  
ABS offers a formal, model-based approach which integrates the design of services with the modeling of deployment decisions.  ...  To avoid software designs that scale poorly, it is important to make deployment decisions for the service at design time, early in the development of the service itself.  ...  The ABS Language ABS is a modeling language for the development of executable distributed and deployed object-oriented models.  ... 
doi:10.4204/eptcs.228.3 fatcat:ptm4kxj7ojhodkrsmzgp2cxr34

Formal Modeling of Resource Management for Cloud Architectures: An Industrial Case Study [chapter]

Frank S. de Boer, Reiner Hähnle, Einar Broch Johnsen, Rudolf Schlatte, Peter Y. H. Wong
2012 Lecture Notes in Computer Science  
language ABS.  ...  These non-functional aspects are integrated with an existing formal model of the functional system behavior, supporting a separation of concerns between the functional and non-functional aspects in the  ...  ABS has been extended with time and with primitives for leveraging resources and their dynamic management to the abstraction level of software models [8, 23] .  ... 
doi:10.1007/978-3-642-33427-6_7 fatcat:gafj6o7bcbdi3lpjmem65qzofm

Declarative Elasticity in ABS [chapter]

Stijn de Gouw, Jacopo Mauro, Behrooz Nobakht, Gianluigi Zavattaro
2016 Lecture Notes in Computer Science  
This calls for the definition of new modeling and specification languages. In this paper we show how deployment can be added as a first-class citizen in the object-oriented modeling language ABS.  ...  Differently from previous works, this novel approach allows for the specification of incremental modifications, thus supporting the declarative modeling of elastic applications.  ...  Conclusions We presented an extension of the ABS specification language that supports modeling deployment in a declarative manner: the programmer specifies deployment constraints, and a solver synthesizes  ... 
doi:10.1007/978-3-319-44482-6_8 fatcat:tcff7gtxmnhcxcfedvheojzjyu

Engineering virtualized services

Elvira Albert, Frank de Boer, Reiner Hähnle, Einar Broch Johnsen, Cosimo Laneve
2013 Proceedings of the Second Nordic Symposium on Cloud Computing & Internet Technologies - NordiCloud '13  
The position supported in this paper is to overcome these problems by leveraging service-level agreements into software models and resource management into early phases of service design.  ...  and quantitative service levels and (2) the dynamic control of resources such as storage and processing capacities according to the internal policies of the services.  ...  Recently ABS has been applied to model dynamic resource management on the cloud [6, 16] .  ... 
doi:10.1145/2513534.2513545 dblp:conf/nordicloud/AlbertBHJL13 fatcat:ngwwtqbegffltfehsjprtxtrlm

Modeling and simulation of bus assem-bling process using DES/ABS approach

2017 Advances in Distributed Computing and Artificial Intelligence Journal  
One of obtained goal is to build a simulation model, which presents the new assembly line in the factory, taking into ac-count the arrangement of workstations and work teams in the new production hall  ...  Kluska Modeling and simulation of bus assembling process using DES/ABS approach ADCAIJABSTRACT Agent based modeling; simulation; assembling; production plant.  ...  Discrete event simulation software (Pro-Model) is used to model the assembly line operation setup and evaluate the best sequence.  ... 
doi:10.14201/acaij2017615972 fatcat:ozstsvlodvhtdnuprnlm2xucoe

Variability Modelling in the ABS Language [chapter]

Dave Clarke, Radu Muschevici, José Proença, Ina Schaefer, Rudolf Schlatte
2011 Lecture Notes in Computer Science  
The HATS project aims at developing a model-centric methodology for the design, implementation and verification of highly configurable systems, such as software product lines, centred around the Abstract  ...  It consists of four languages, namely, µTVL for describing feature models at a high level of abstraction, the Delta Modelling Language DML for describing variability of the 'code' base in terms of delta  ...  The Product Line Configuration Language (CL) defines the relationship between the feature model and product deltas and thus forms the top-level specification of a product line of Core ABS models (Section  ... 
doi:10.1007/978-3-642-25271-6_11 fatcat:srmqu23zsvc2zm3j3qpczv5a4i

Introduction to the Track on Variability Modeling for Scalable Software Evolution [chapter]

Ferruccio Damiani, Christoph Seidl, Ingrid Chieh Yu
2016 Lecture Notes in Computer Science  
The software running on these devices is increasingly individualized, adapted to the preferences and needs of the specific customer and must be able to evolve after deployment by means of software patches  ...  The objective of the European project HyVar is to develop techniques and tools for fast and customizable software design, for the management of highly distributed applications, for continuous software  ...  The approach is based on the Abstract Behavioral Specification (ABS) language, which permits precise, executable specifications as basis for efficient code generation.  ... 
doi:10.1007/978-3-319-47169-3_35 fatcat:qmuq6c6b5jf6xdlfz33k5r2mwe

A framework for handling variants of software models

Christian Pichler
2010 Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - ICSE '10  
A Proposal for Consistency Checking in Dynamic Software Product Line Models Using OCL Fabiana Marinho -Federal University of Ceará, Brazil Behavioural Validation of Software Engineering Artefacts Guido  ...  Evaluation with Probabilistic Models Indika Meedeniya -Swinburne University of Technology, Australia Synthesize Software Product Line Xiaorui Zhang -SINTEF, Norway Choreography of intelligent e-Services  ... 
doi:10.1145/1810295.1810385 dblp:conf/icse/Pichler10 fatcat:ztraw5tv2rcbng6padptlxmije

Theme issue on Integrated Formal Methods

Einar Broch Johnsen, Luigia Petre
2015 Journal of Software and Systems Modeling  
, to model not only single software systems, but software product lines.  ...  Importantly, Feature Nets provide a facility for the incremental construction of a single model that includes the various behaviors exhibited by the products in a software product line.  ...  In recent years, he has worked on virtualized systems, including the formal modeling and analysis of resource management on the cloud.  ... 
doi:10.1007/s10270-015-0510-0 fatcat:kxpwkjjykzcwtht7x7htaiobim

User-defined schedulers for real-time concurrent objects

Joakim Bjørk, Frank S. de Boer, Einar Broch Johnsen, Rudolf Schlatte, S. Lizeth Tapia Tarifa
2012 Innovations in Systems and Software Engineering  
As a starting point for developing our methodology, we take Core ABS, an abstract, behavioral specification language that targets the executable modeling of concurrent, distributed and object-oriented  ...  can we integrate deployment-specific information in the overall design of software applications?  ...  Bruce Berriman and Ewa Deelman for helping us with additional details of the Montage case study.  ... 
doi:10.1007/s11334-012-0184-5 fatcat:tt2rgrdgubdobm2mq5kwtq2xkm
« Previous Showing results 1 — 15 out of 18,883 results