- home
- Advanced Search
Filters
Clear All- EU-CONEXUS
- Publications
- Report
- Lirias
- EU-CONEXUS
- Publications
- Report
- Lirias
Loading
description Publicationkeyboard_double_arrow_right Conference object , Report , Part of book or chapter of book 2011 BelgiumPublisher:Springer Berlin Heidelberg Funded by:EC | ETERNALS, EC | HATSEC| ETERNALS ,EC| HATSAuthors: Muschevici, Radu; Proenca, Jose; Clarke, Dave;Muschevici, Radu; Proenca, Jose; Clarke, Dave;Formal modelling and verification are critical for managing the inherent complexity of systems with a high degree of variability, such as those designed following the software product line (SPL) paradigm. SPL models tend to be large -- the number of products in an SPL can be exponential in the number of features. Modelling these systems poses two main challenges. Firstly, a modular modelling formalism that scales well is required. Secondly, the ability to analyse and verify complex models efficiently is key in order to ensure that all products behave correctly. The choice of a system modelling formalism that is both expressive and well-established is therefore crucial. In this paper we show how SPLs can be modelled in an incremental, modular fashion using a formal method based on Petri nets. We continue our work on Feature Petri Nets, a lightweight extension to Petri nets, by presenting a framework for modularly constructing Feature Petri Nets to model SPLs. ispartof: pages:318-333 ispartof: 9th international conference on software engineering and formal methods (SEFM) vol:7041 issue:9 pages:318-333 ispartof: Software engineering and formal methods location:Montevideo, Uruguay date:14 Nov - 18 Nov 2011 status: published
Lirias arrow_drop_down https://doi.org/10.1007/978-3-...Other literature type . Part of book or chapter of book . 2011 . Peer-reviewedLicense: Springer TDMadd ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=10.1007/978-3-642-24690-6_22&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.eu16 citations 16 popularity Average influence Average impulse Top 10% Powered by BIP!more_vert Lirias arrow_drop_down https://doi.org/10.1007/978-3-...Other literature type . Part of book or chapter of book . 2011 . Peer-reviewedLicense: Springer TDMadd ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=10.1007/978-3-642-24690-6_22&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.eudescription Publicationkeyboard_double_arrow_right Report , Article , Conference object 2010 Belgium, NetherlandsPublisher:ACM Funded by:EC | ETERNALS, EC | HATSEC| ETERNALS ,EC| HATSAuthors: Clarke D.; Helvensteijn M.; Schaefer I.;Clarke D.; Helvensteijn M.; Schaefer I.;handle: 1887/50787 , 1887/2713799
Delta modeling is an approach to facilitate automated product derivation for software product lines. It is based on a set of deltas specifying modifications that are incrementally applied to a core product. The applicability of deltas depends on feature-dependent conditions. This paper presents abstract delta modeling, which explores delta modeling from an abstract, algebraic perspective. Compared to previous work, we take a more flexible approach with respect to conflicts between modifications and introduce the notion of conflict-resolving deltas. We present conditions on the structure of deltas to ensure unambiguous product generation. ispartof: pages:13-22 ispartof: Proceedings of the ninth international conference on Generative programming and component engineering vol:46 issue:2 pages:13-22 ispartof: location:Eindhoven, NL status: published
NARCIS arrow_drop_down NARCIS; Mathematical Structures in Computer ScienceArticle . 2015 . 2014 . Peer-reviewedLicense: Cambridge Core User Agreementhttps://doi.org/10.1145/186829...Other literature type . Conference object . 2010 . Peer-reviewedACM SIGPLAN NoticesArticle . 2011 . 2010 . Peer-reviewedadd ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=10.1145/1868294.1868298&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.euAccess Routesbronze 100 citations 100 popularity Top 10% influence Top 10% impulse Top 1% Powered by BIP!more_vert NARCIS arrow_drop_down NARCIS; Mathematical Structures in Computer ScienceArticle . 2015 . 2014 . Peer-reviewedLicense: Cambridge Core User Agreementhttps://doi.org/10.1145/186829...Other literature type . Conference object . 2010 . Peer-reviewedACM SIGPLAN NoticesArticle . 2011 . 2010 . Peer-reviewedadd ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=10.1145/1868294.1868298&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.eu
Loading
description Publicationkeyboard_double_arrow_right Conference object , Report , Part of book or chapter of book 2011 BelgiumPublisher:Springer Berlin Heidelberg Funded by:EC | ETERNALS, EC | HATSEC| ETERNALS ,EC| HATSAuthors: Muschevici, Radu; Proenca, Jose; Clarke, Dave;Muschevici, Radu; Proenca, Jose; Clarke, Dave;Formal modelling and verification are critical for managing the inherent complexity of systems with a high degree of variability, such as those designed following the software product line (SPL) paradigm. SPL models tend to be large -- the number of products in an SPL can be exponential in the number of features. Modelling these systems poses two main challenges. Firstly, a modular modelling formalism that scales well is required. Secondly, the ability to analyse and verify complex models efficiently is key in order to ensure that all products behave correctly. The choice of a system modelling formalism that is both expressive and well-established is therefore crucial. In this paper we show how SPLs can be modelled in an incremental, modular fashion using a formal method based on Petri nets. We continue our work on Feature Petri Nets, a lightweight extension to Petri nets, by presenting a framework for modularly constructing Feature Petri Nets to model SPLs. ispartof: pages:318-333 ispartof: 9th international conference on software engineering and formal methods (SEFM) vol:7041 issue:9 pages:318-333 ispartof: Software engineering and formal methods location:Montevideo, Uruguay date:14 Nov - 18 Nov 2011 status: published
Lirias arrow_drop_down https://doi.org/10.1007/978-3-...Other literature type . Part of book or chapter of book . 2011 . Peer-reviewedLicense: Springer TDMadd ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=10.1007/978-3-642-24690-6_22&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.eu16 citations 16 popularity Average influence Average impulse Top 10% Powered by BIP!more_vert Lirias arrow_drop_down https://doi.org/10.1007/978-3-...Other literature type . Part of book or chapter of book . 2011 . Peer-reviewedLicense: Springer TDMadd ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=10.1007/978-3-642-24690-6_22&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.eudescription Publicationkeyboard_double_arrow_right Report , Article , Conference object 2010 Belgium, NetherlandsPublisher:ACM Funded by:EC | ETERNALS, EC | HATSEC| ETERNALS ,EC| HATSAuthors: Clarke D.; Helvensteijn M.; Schaefer I.;Clarke D.; Helvensteijn M.; Schaefer I.;handle: 1887/50787 , 1887/2713799
Delta modeling is an approach to facilitate automated product derivation for software product lines. It is based on a set of deltas specifying modifications that are incrementally applied to a core product. The applicability of deltas depends on feature-dependent conditions. This paper presents abstract delta modeling, which explores delta modeling from an abstract, algebraic perspective. Compared to previous work, we take a more flexible approach with respect to conflicts between modifications and introduce the notion of conflict-resolving deltas. We present conditions on the structure of deltas to ensure unambiguous product generation. ispartof: pages:13-22 ispartof: Proceedings of the ninth international conference on Generative programming and component engineering vol:46 issue:2 pages:13-22 ispartof: location:Eindhoven, NL status: published
NARCIS arrow_drop_down NARCIS; Mathematical Structures in Computer ScienceArticle . 2015 . 2014 . Peer-reviewedLicense: Cambridge Core User Agreementhttps://doi.org/10.1145/186829...Other literature type . Conference object . 2010 . Peer-reviewedACM SIGPLAN NoticesArticle . 2011 . 2010 . Peer-reviewedadd ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=10.1145/1868294.1868298&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.euAccess Routesbronze 100 citations 100 popularity Top 10% influence Top 10% impulse Top 1% Powered by BIP!more_vert NARCIS arrow_drop_down NARCIS; Mathematical Structures in Computer ScienceArticle . 2015 . 2014 . Peer-reviewedLicense: Cambridge Core User Agreementhttps://doi.org/10.1145/186829...Other literature type . Conference object . 2010 . Peer-reviewedACM SIGPLAN NoticesArticle . 2011 . 2010 . Peer-reviewedadd ClaimPlease grant OpenAIRE to access and update your ORCID works.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.This Research product is the result of merged Research products in OpenAIRE.
You have already added works in your ORCID record related to the merged Research product.All Research productsarrow_drop_down <script type="text/javascript"> <!-- document.write('<div id="oa_widget"></div>'); document.write('<script type="text/javascript" src="https://www.openaire.eu/index.php?option=com_openaire&view=widget&format=raw&projectId=10.1145/1868294.1868298&type=result"></script>'); --> </script>
For further information contact us at helpdesk@openaire.eu