Logic-Based Analysis and Verification of Software Product Line Variant Requirement Model

2014 ◽  
Vol 5 (4) ◽  
pp. 52-76
Author(s):  
Shamim H Ripon ◽  
Sk. Jahir Hossain ◽  
Moshiur Mahamud Piash
Keyword(s):  
Semantic Web ◽  
Software Product Line ◽  
Product Line ◽  
Order Logic ◽  
First Order Logic ◽  
Formal Representation ◽  
First Order ◽  
Software Product ◽  
Feature Diagram ◽  
The Common

Software Product Line (SPL) provides the facility to systematically reuse of software improving the efficiency of software development regarding time, cost and quality. The main idea of SPL is to identify the common core functionality that can be implemented once and reused afterwards. A variant model has also to be developed to manage the variants of the SPL. Usually, a domain model consisting of the common and variant requirements is developed during domain engineering phase to alleviate the reuse opportunity. The authors present a product line model comprising of a variant part for the management of variant and a decision table to depict the customization of decision regarding each variant. Feature diagrams are widely used to model SPL variants. Both feature diagram and our variant model, which is based on tabular method, lacks logically sound formal representation and hence, not amenable to formal verification. Formal representation and verification of SPL has gained much interest in recent years. This chapter presents a logical representation of the variant model by using first order logic. With this representation, the table based variant model as well as the graphical feature diagram can now be verified logically. Besides applying first-order-logic to model the features, the authors also present an approach to model and analyze SPL model by using semantic web approach using OWL-DL. The OWL-DL representation also facilitates the search and maintenance of feature models and support knowledge sharing within a reusable engineering context. Reasoning tools are used to verify the consistency of the feature configuration for both logic-based and semantic web-based approaches.

Classifying and resolving software product line redundancies using an ontological first-order logic rule based method

2021 ◽  
Vol 168 ◽  
pp. 114167
Author(s):  
Megha Bhushan ◽  
José Ángel Galindo Duarte ◽  
Piyush Samant ◽  
Ashok Kumar ◽  
Arun Negi
Keyword(s):  
Software Product Line ◽  
Product Line ◽  
Order Logic ◽  
First Order Logic ◽  
Rule Based ◽  
First Order ◽  
Software Product ◽  
Logic Rule

First-Order Logic Reasoning Support for the Semantic Web

2009 ◽  
Vol 19 (12) ◽  
pp. 3091-3099 ◽  
Author(s):  
Gui-Hong XU ◽  
Jian ZHANG
Keyword(s):  
Semantic Web ◽  
Order Logic ◽  
First Order Logic ◽  
First Order ◽  
Logic Reasoning

Logics for the Semantic Web

2011 ◽  
pp. 24-43
Author(s):  
J. Bruijn
Keyword(s):  
Semantic Web ◽  
Logic Programming ◽  
Description Logic ◽  
Description Logics ◽  
Order Logic ◽  
First Order Logic ◽  
Horn Logic ◽  
First Order ◽  
Logical Language ◽  
Rule Languages

This chapter introduces a number of formal logical languages which form the backbone of the Semantic Web. They are used for the representation of both ontologies and rules. The basis for all languages presented in this chapter is the classical first-order logic. Description logics is a family of languages which represent subsets of first-order logic. Expressive description logic languages form the basis for popular ontology languages on the Semantic Web. Logic programming is based on a subset of first-order logic, namely Horn logic, but uses a slightly different semantics and can be extended with non-monotonic negation. Many Semantic Web reasoners are based on logic programming principles and rule languages for the Semantic Web based on logic programming are an ongoing discussion. Frame Logic allows object-oriented style (frame-based) modeling in a logical language. RuleML is an XML-based syntax consisting of different sublanguages for the exchange of specifications in different logical languages over the Web.

scholarly journals A LITERATURE REVIEW ON FEATURE DIAGRAM PRODUCT COUNTING AND ITS USAGE IN SOFTWARE PRODUCT LINE ECONOMIC MODELS

2013 ◽  
Vol 23 (08) ◽  
pp. 1177-1204 ◽  
Author(s):  
RUBEN HERADIO ◽  
DAVID FERNANDEZ-AMOROS ◽  
JOSE A. CERRADA ◽  
ISMAEL ABAD
Keyword(s):  
Cost Savings ◽  
Economic Models ◽  
Automated Analysis ◽  
Software Product Line ◽  
Product Line ◽  
Product Lines ◽  
Software Product ◽  
Feature Diagram ◽  
The Cost ◽  
Line Engineering

In software product line engineering, feature diagrams are a popular means to represent the similarities and differences within a family of related systems. In addition, feature diagrams implicitly model valuable information that can be used in economic models to estimate the cost savings of a product line. In particular, this paper reviews existing proposals on computing the total number of products modeled with a feature diagram and, given a feature, the number of products that implement it. This paper also reviews the economic information that can be estimated when such numbers are known. Thus, this paper contributes by bringing together previously-disparate streams of work: the automated analysis of feature diagrams and economic models for product lines.

scholarly journals Towards closed world reasoning in dynamic open worlds

2010 ◽  
Vol 10 (4-6) ◽  
pp. 547-563 ◽  
Author(s):  
MARTIN SLOTA ◽  
JOÃO LEITE
Keyword(s):  
Semantic Web ◽  
State Of The Art ◽  
Knowledge Bases ◽  
Order Logic ◽  
First Order Logic ◽  
Static Case ◽  
First Order ◽  
Closed World ◽  
Hybrid Knowledge ◽  
First Time

AbstractThe need for integration of ontologies with nonmonotonic rules has been gaining importance in a number of areas, such as the Semantic Web. A number of researchers addressed this problem by proposing a unified semantics forhybrid knowledge basescomposed of both an ontology (expressed in a fragment of first-order logic) and nonmonotonic rules. These semantics have matured over the years, but only provide solutions for the static case when knowledge does not need to evolve.In this paper we take a first step towards addressing the dynamics of hybrid knowledge bases. We focus on knowledge updates and, considering the state of the art of belief update, ontology update and rule update, we show that current solutions are only partial and difficult to combine. Then we extend the existing work on ABox updates with rules, provide a semantics for such evolving hybrid knowledge bases and study its basic properties.To the best of our knowledge, this is the first time that an update operator is proposed for hybrid knowledge bases.

Ontology-based software product line for building semantic web applications

2010 ◽  
Author(s):  
Alan Pedro da Silva ◽  
Evandro Costa ◽  
Ig Ibert Bittencourt ◽  
Patrick H. S. Brito ◽  
Olavo Holanda ◽  
...  
Keyword(s):  
Semantic Web ◽  
Web Applications ◽  
Software Product Line ◽  
Product Line ◽  
Software Product

scholarly journals Análisis Automático de Modelos de Variabilidad : el Proceso SeVaTax

10.52278/2849 ◽  
2021 ◽  
Author(s):  
Pol’la, Matias Esteban
Keyword(s):  
Software Product Line ◽  
Product Line ◽  
Formal Representation ◽  
Variability Analysis ◽  
Analysis Process ◽  
Software Product ◽  
Software Artifact

Una línea de productos software provee de una plataforma común flexible, de manera que permita adaptarse a las diferentes necesidades de productos dentro de un rango de requerimientos establecido. Dicha flexibilidad se logra mediante la identificación, definición y posterior configuración de lo que se conoce como Variabilidad. Los modelos de variabilidad, como cualquier otro artefacto software, están sujetos a un proceso de análisis para detectar y (posiblemente) resolver errores e incompatibilidades. Esto lleva a la existencia de un proceso de análisis de variabilidad, que presta especial atención al momento de definición y uso de la variabilidad. Existen hoy día, propuestas que presentan diferentes métodos y/o herramientas para realizar un análisis automatizado de la variabilidad. Sin embargo, muchas de ellas se enfocan en sólo un tipo de modelo como entrada y/o sólo disponen de algunos escenarios de validación para controlar. A su vez, muy pocas proponen correcciones o identifican exactamente dónde se encuentran las anomalías o inconsistencias en los modelos. Entonces, se hace necesario mejorar este proceso de validación y su soporte, evaluando el rendimiento durante esa validación. En este sentido, esta Tesis propone el proceso llamado SeVaTax, que toma como entrada modelos de variabilidad (uno o más), generando una representación formal que permite analizar un conjunto de escenarios de validación mayor y proporciona un nivel diferente de respuestas, incluso proponiendo algunas acciones específicas para corregir los modelos. Se proponen dieciocho escenarios de validación, que son experimentalmente validados desde dos puntos de vista: (1) la exactitud de los resultados en términos de los errores que SeVaTax permite identificar; y (2) el cubrimiento, que muestra el grado en que el conjunto de escenarios está cubierto por otros enfoques con herramientas similares. A software product line supplies a common and flexible platform, which allows to adaptto different needs of products from a range of established requirements. Such a flexibility is achieved through the identification, definition and configuration of what is called Variability. Variability models, like any other software artifact, are subjected to an analysis process to detect and (possibly) solve errors and incompatibilities. This fact leads to the existence of a process called variability analysis, which pays special attention to the variability definition and use. Nowadays, several approaches propose different methods and/or tools to automatically analyzing variability. However, many of these approaches only focus on one type of model as input, and/or only show some validation scenarios to control. In addition, few approaches propose corrections, or identify where the anomalies or inconsistencies are. Therefore, there is a need of improving the analysis process as well as its support, assessing their performance during validation. In this sense, this Thesis proposes the SeVaTax process, which takes variability models (one or more) as inputs, generates a formal representation that allows to analyze a larger set of validation scenarios, and gives a different level of responses to validation – including corrections in some cases. Eighteen validation scenarios are proposed, which are experimentally validated form two viewpoints: (1) accuracy, in terms of errors that SeVaTax identifies; and (2) covering, that shows the degree in which the set of scenarios is covered by similar proposals in the literature.

Mediating RDF/S Queries to Relational and XML Sources

2009 ◽  
pp. 596-614 ◽  
Author(s):  
I. Koffina ◽  
G. Serfiotis ◽  
V. Christophides ◽  
V. Tannen
Keyword(s):  
Semantic Web ◽  
Relational Databases ◽  
Large Scale ◽  
Order Logic ◽  
Data Sources ◽  
First Order Logic ◽  
Main Design ◽  
First Order ◽  
High Level ◽  
The Web

Semantic Web (SW) technology aims to facilitate the integration of legacy data sources spread worldwide. Despite the plethora of SW languages (e.g., RDF/S, OWL) recently proposed for supporting large-scale information interoperation, the vast majority of legacy sources still rely on relational databases (RDB) published on the Web or corporate intranets as virtual XML. In this article, we advocate a first-order logic framework for mediating high-level queries to relational and/or XML sources using community ontologies expressed in a SW language such as RDF/S. We describe the architecture and reasoning services of our SW integration middleware, termed SWIM, and we present the main design choices and techniques for supporting powerful mappings between different data models, as well as reformulation and optimization of queries expressed against mediator ontologies and views.

Sign in / Sign up

Export Citation Format

Share Document