?url_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Adc&rft.relation=http%3A%2F%2Feprints.imtlucca.it%2F1606%2F&rft.title=Combining+Declarative+and+Procedural+Views+in+the+Specification+and+Analysis+of+Product+Families&rft.creator=ter+Beek%2C+Maurice+H.&rft.creator=Lluch-Lafuente%2C+Alberto&rft.creator=Petrocchi%2C+Marinella&rft.subject=QA75+Electronic+computers.+Computer+science&rft.description=We+introduce+the+feature-oriented+language+FLan+as+a+proof+of+concept+for+specifying+both+declarative+aspects+of+product+families%2C+namely+constraints+on+their+features%2C+and+procedural+aspects%2C+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%2C+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%3A+(i)+the+execution+of+a+process+is+constrained+by+its+store+to+forbid+undesired+configurations%3B+(ii)+a+process+can+query+a+store+to+resolve+design+and+behavioural+choices%3B+(iii)+a+process+can+update+the+store%2C+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%2C+ranging+from+consistency+checking+to+model+checking.&rft.date=2013-05&rft.type=Working+Paper&rft.type=NonPeerReviewed&rft.format=application%2Fpdf&rft.language=en&rft.identifier=http%3A%2F%2Feprints.imtlucca.it%2F1606%2F1%2Fpaper.pdf&rft.format=application%2Fpdf&rft.language=en&rft.identifier=http%3A%2F%2Feprints.imtlucca.it%2F1606%2F6%2Fpaper.pdf&rft.format=application%2Fpdf&rft.language=en&rft.identifier=http%3A%2F%2Feprints.imtlucca.it%2F1606%2F7%2Ffmsple2013.pdf&rft.identifier=++ter+Beek%2C+Maurice+H.+and+Lluch-Lafuente%2C+Alberto+and+Petrocchi%2C+Marinella++Combining+Declarative+and+Procedural+Views+in+the+Specification+and+Analysis+of+Product+Families.++Working+Paper+++++++(Submitted)+++