<> "The repository administrator has not yet configured an RDF license."^^ . <> . . . "Combining Declarative and Procedural Views in the Specification and Analysis of Product Families"^^ . "We introduce the feature-oriented language FLan as a proof of concept for specifying both declarative aspects of product families, namely constraints on their features, and procedural aspects, namely design processes and run-time behaviour. FLan is inspired by the con- current constraint programming paradigm. A store of constraints allows one to specify in a declarative way all common constraints on features, including cross-tree constraints as known from feature models. A standard yet rich set of process-algebraic operators allows one to specify in a procedural way the configuration and behaviour of products. There is a close interaction between both views: (i) the execution of a process is constrained by its store to forbid undesired configurations; (ii) a process can query a store to resolve design and behavioural choices; (iii) a process can update the store, for instance to add new features. An implementa- tion in the Maude framework allows for a variety of formal automated analyses of product families specified in FLan, ranging from consistency checking to model checking."^^ . "2013-05" . . . . . . . . . . . . . . "Maurice H."^^ . "ter Beek"^^ . "Maurice H. ter Beek"^^ . . "Alberto"^^ . "Lluch-Lafuente"^^ . "Alberto Lluch-Lafuente"^^ . . "Marinella"^^ . "Petrocchi"^^ . "Marinella Petrocchi"^^ . . . . . . "Combining Declarative and Procedural Views in the Specification and Analysis of Product Families (PDF)"^^ . . . . . "paper.pdf"^^ . . . "Combining Declarative and Procedural Views in the Specification and Analysis of Product Families (Other)"^^ . . . . . . "lightbox.jpg"^^ . . . "Combining Declarative and Procedural Views in the Specification and Analysis of Product Families (Other)"^^ . . . . . . "preview.jpg"^^ . . . "Combining Declarative and Procedural Views in the Specification and Analysis of Product Families (Other)"^^ . . . . . . "medium.jpg"^^ . . . "Combining Declarative and Procedural Views in the Specification and Analysis of Product Families (Other)"^^ . . . . . . "small.jpg"^^ . . . "Combining Declarative and Procedural Views in the Specification and Analysis of Product Families (PDF)"^^ . . . "paper.pdf"^^ . . . "Combining Declarative and Procedural Views in the Specification and Analysis of Product Families (PDF)"^^ . . . "fmsple2013.pdf"^^ . . . "Combining Declarative and Procedural Views in the Specification and Analysis of Product Families (Other)"^^ . . . . . . "lightbox.jpg"^^ . . . "Combining Declarative and Procedural Views in the Specification and Analysis of Product Families (Other)"^^ . . . . . . "preview.jpg"^^ . . . "Combining Declarative and Procedural Views in the Specification and Analysis of Product Families (Other)"^^ . . . . . . "medium.jpg"^^ . . . "Combining Declarative and Procedural Views in the Specification and Analysis of Product Families (Other)"^^ . . . . . . "small.jpg"^^ . . . "Combining Declarative and Procedural Views in the Specification and Analysis of Product Families (Other)"^^ . . . . . . "lightbox.jpg"^^ . . . "Combining Declarative and Procedural Views in the Specification and Analysis of Product Families (Other)"^^ . . . . . . "preview.jpg"^^ . . . "Combining Declarative and Procedural Views in the Specification and Analysis of Product Families (Other)"^^ . . . . . . "medium.jpg"^^ . . . "Combining Declarative and Procedural Views in the Specification and Analysis of Product Families (Other)"^^ . . . . . . "small.jpg"^^ . . "HTML Summary of #1606 \n\nCombining Declarative and Procedural Views in the Specification and Analysis of Product Families\n\n" . "text/html" . . . "QA75 Electronic computers. Computer science"@en . .