产品族可变性的正式描述

2011 15th International Software Product Line Conference Pub Date : 2011-08-22 DOI:10.1109/SPLC.2011.34

P. Asirelli, M. T. Beek, S. Gnesi, A. Fantechi

{"title":"产品族可变性的正式描述","authors":"P. Asirelli, M. T. Beek, S. Gnesi, A. Fantechi","doi":"10.1109/SPLC.2011.34","DOIUrl":null,"url":null,"abstract":"We illustrate how to manage variability in a single logical framework consisting of a Modal Transition System (MTS) and an associated set of formulae expressed in the branching-time temporal logic MHML interpreted in a deontic way over such MTSs. We discuss the commonalities and differences with the framework of Classen et al. based on Featured Transition Systems and Linear-time Temporal Logic.","PeriodicalId":278787,"journal":{"name":"2011 15th International Software Product Line Conference","volume":"52 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2011-08-22","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"101","resultStr":"{\"title\":\"Formal Description of Variability in Product Families\",\"authors\":\"P. Asirelli, M. T. Beek, S. Gnesi, A. Fantechi\",\"doi\":\"10.1109/SPLC.2011.34\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"We illustrate how to manage variability in a single logical framework consisting of a Modal Transition System (MTS) and an associated set of formulae expressed in the branching-time temporal logic MHML interpreted in a deontic way over such MTSs. We discuss the commonalities and differences with the framework of Classen et al. based on Featured Transition Systems and Linear-time Temporal Logic.\",\"PeriodicalId\":278787,\"journal\":{\"name\":\"2011 15th International Software Product Line Conference\",\"volume\":\"52 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2011-08-22\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"101\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2011 15th International Software Product Line Conference\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/SPLC.2011.34\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2011 15th International Software Product Line Conference","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/SPLC.2011.34","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}

引用次数: 101

摘要

我们说明了如何在一个单一的逻辑框架中管理可变性，该逻辑框架由模态转换系统(MTS)和一组相关的公式组成，这些公式用分支时间时间逻辑MHML表示，在这些MTS上以道义的方式解释。我们基于特征转换系统和线性时间时间逻辑，讨论了与Classen等人的框架的共同点和不同点。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

查看原文本刊更多论文

Formal Description of Variability in Product Families

We illustrate how to manage variability in a single logical framework consisting of a Modal Transition System (MTS) and an associated set of formulae expressed in the branching-time temporal logic MHML interpreted in a deontic way over such MTSs. We discuss the commonalities and differences with the framework of Classen et al. based on Featured Transition Systems and Linear-time Temporal Logic.

求助全文

通过发布文献求助，成功后即可免费获取论文全文。去求助

来源期刊

2011 15th International Software Product Line Conference

自引率

0.00%

发文量