University of Limerick Institutional Repository

Model construction with external constraints:an interactive journey from semantics to syntax

DSpace Repository

Show simple item record

dc.contributor.author Janota, Mikolas
dc.contributor.author Kuzina, Victoria
dc.contributor.author Wasowski, Andrzej
dc.date.accessioned 2012-02-06T13:04:25Z
dc.date.available 2012-02-06T13:04:25Z
dc.date.issued 2008
dc.identifier.uri http://hdl.handle.net/10344/1901
dc.description non-peer-reviewed en_US
dc.description.abstract Mainstream development environments have recently assimilated guidance technologies based on constraint satisfaction. We investigate one class of such technologies, namely, interactive guided derivation of models, where the editing system assists a designer by providing hints about valid editing operations that maintain global correctness. We provide a semantics-based classification of such guidance systems and investigate concrete guidance algorithms for two kinds of modeling languages: a simple subset of class-diagram-like language and for feature models. Both algorithms are efficient and provide exhaustive guidance. en_US
dc.language.iso eng en_US
dc.publisher Association for Computing Machinery en_US
dc.relation.ispartofseries ACM/IEEE 11th International conference on Engineering;09/2008
dc.rights "© ACM, 2008. This is the author's version of the work. It is posted here by permission of ACM for your personal use. Not for redistribution. The definitive version was published in MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems http://dx.doi.org/10.1007/978-3-540-87875-9_31 en_US
dc.subject algorithms en_US
dc.subject guidance systems en_US
dc.title Model construction with external constraints:an interactive journey from semantics to syntax en_US
dc.type Conference item en_US
dc.type.supercollection all_ul_research en_US
dc.type.restriction none en
dc.contributor.sponsor SFI
dc.relation.projectid 03/CE2/I303_1


Files in this item

This item appears in the following Collection(s)

Show simple item record

Search ULIR


Browse

My Account

Statistics