Filters








2,886 Hits in 5.1 sec

Standards compliance testing for unified modelling language tools

P. Bunyakiati, A. Finkelstein
2011 IET Software  
Owing to the size and complexity of these standards specifications, establishing the compliance of software modelling tools to the standards can be difficult.  ...  An experiment with respect to the UML 1.4 is presented in this study. The authors test ArgoUML for its compliance with the UML 1.4 specification.  ...  and Andy Maule for their helpful suggestions.  ... 
doi:10.1049/iet-sen.2010.0032 fatcat:fkf67wkcird55ibpdtun47ehnu

Automatically Searching for Metamodel Well-Formedness Rules in Examples and Counter-Examples [chapter]

Martin Faunes, Juan Cadavid, Benoit Baudry, Houari Sahraoui, Benoit Combemale
2013 Lecture Notes in Computer Science  
Current metamodeling formalisms support the definition of a metamodel with two views: classes and relations, that form the core of the metamodel, and well-formedness rules, that constraints the set of  ...  In this paper, we propose to start from valid and invalid model examples in order to automatically retrieve well-formedness rules in OCL using Genetic Programming.  ...  Thus, here, we experiment with domain structures formalized with MOF and well-formedness rules formalized with the Object Constraint Language (OCL).  ... 
doi:10.1007/978-3-642-41533-3_12 fatcat:gy6tv6zczrfopf2jtutyotkyt4

Generating counterexamples of model-based software product lines

João Bosco Ferreira, Mathieu Acher, Benoit Baudry, Jérôme Le Noir
2013 Proceedings of the 17th International Software Product Line Conference on - SPLC '13  
We provide a systematic and automated process, based on the Common Variability Language (CVL), to randomly search the space of MSPLs for a specific formalism.  ...  The design space of an MSPL is extremely complex to manage for the engineer, since the number of variants may be exponential and the derived product models have to be conformant to numerous well-formedness  ...  The conformance of a model to a modeling language depends both on well-formedness rules (syntactic rules) and business, domain-specific rules (semantic rules).  ... 
doi:10.1145/2491627.2491639 dblp:conf/splc/FilhoABN13 fatcat:ufqp3q7djjcwrpresbyfgarvce

Incremental Queries and Transformations: From Concepts to Industrial Applications [chapter]

Dániel Varró
2016 Lecture Notes in Computer Science  
Behind the scenes, design and verification tools in these domains frequently exploit advanced model query and transformation techniques to support various rich tool features.  ...  Model-driven engineering (MDE) is widely used nowadays in the design of embedded systems, especially in the automotive, avionics or telecommunication domain.  ...  Acknowledgments The author is indebted for the continuous and deep contributions of all contributors of the EMF-IncQuery and Viatra project teams.  ... 
doi:10.1007/978-3-662-49192-8_5 fatcat:czk2i7ltxranfe3wzmfzplvb5y

Endogenous Metamodeling Semantics for Structural UML 2 Concepts [chapter]

Lars Hamann, Martin Gogolla
2013 Lecture Notes in Computer Science  
To this end, we enrich existing UML language elements with constraints specified in the Object Constraint Language (OCL) in order to describe a semantic domain model.  ...  Using such an endogenous approach enables the validation and verification of the UML standard by using off-the-shelf UML and OCL tools.  ...  Larger case studies with other modeling language, for example domain-specific languages, will give further feedback on the usability of the approach.  ... 
doi:10.1007/978-3-642-41533-3_30 fatcat:pbh2xkq3tjg4hk63l56lwzsl3e

Software Language Engineering of Architectural Viewpoints [chapter]

Elif Demirli, Bedir Tekinerdogan
2011 Lecture Notes in Computer Science  
We illustrate our approach for defining domain specific languages for the viewpoints of the Views and Beyond approach.  ...  In this paper we provide a software language engineering approach to define viewpoints as domain specific languages.  ...  Example decomposition view with textual and visual concrete syntax Static Semantics In addition to extracting the abstract syntax and the grammar we can also derive the well-formedness rules of views  ... 
doi:10.1007/978-3-642-23798-0_36 fatcat:r2k2iexicvgrhhbqtsqnbgpqvm

Validating Transformations for Semantic Anchoring

David Lindecker, Gabor Simko, Tihamer Levendovszky, Istvan Madari, Janos Sztipanovits
2015 Journal of Object Technology  
Making Domain-Specific Modeling Languages a part of a tool chain, a part of a proven development process, or the subject of verification cannot be achieved without the precise specification of the language  ...  Although a semantic mapping is a definition and behaves as a set of axioms for formal verification, we argue that a semantic mapping can conflict with the informal intentions of the language designer,  ...  Acknowledgments This research is supported by the AVM Program of the Defense Advanced Research Project Agency (DARPA) under award # HR0011-12-C-0008 and the National Science Foundation under award # CNS  ... 
doi:10.5381/jot.2015.14.3.a2 fatcat:56sjfxain5dbxew7dbbgtqahla

Generating counterexamples of model-based software product lines

João Bosco Ferreira Filho, Olivier Barais, Mathieu Acher, Jérôme Le Noir, Axel Legay, Benoit Baudry
2014 International Journal on Software Tools for Technology Transfer (STTT)  
The design space of an MSPL is extremely complex to manage for the engineer, since the number of variants may be exponential and the derived product models have to be conforming to numerous well-formedness  ...  We validate the effectiveness of this process for three formalisms at different scales (up to 247 metaclasses and 684 rules).  ...  The conformance of a model to a modeling language depends both on well-formedness rules (syntactic rules) and business, domain-specific rules (semantic rules).  ... 
doi:10.1007/s10009-014-0341-2 fatcat:hvucr4plg5d33obf4tjysnjkgm

Integration of Data Validation and User Interface Concerns in a DSL for Web Applications [chapter]

Danny M. Groenewegen, Eelco Visser
2010 Lecture Notes in Computer Science  
, and semantics of validation checks, and covering value well-formedness, data invariants, input assertions, and action assertions.  ...  We have implemented the approach in Web-DSL, a domain-specific language for the definition of web applications.  ...  This requires investigation and understanding of, and the design of appropriate domain-specific languages for each of the sub-domains of the web application domain.  ... 
doi:10.1007/978-3-642-12107-4_13 fatcat:tg2zxqpd4bd4dkp7ydgvry5aa4

Integration of data validation and user interface concerns in a DSL for web applications

Danny M. Groenewegen, Eelco Visser
2010 Journal of Software and Systems Modeling  
, and semantics of validation checks, and covering value well-formedness, data invariants, input assertions, and action assertions.  ...  We have implemented the approach in Web-DSL, a domain-specific language for the definition of web applications.  ...  This requires investigation and understanding of, and the design of appropriate domain-specific languages for each of the sub-domains of the web application domain.  ... 
doi:10.1007/s10270-010-0173-9 fatcat:lrojxlzvkjem5c3ak5jwmyroum

A theory of software product line refinement

Paulo Borba, Leopoldo Teixeira, Rohit Gheyi
2012 Theoretical Computer Science  
Moreover, we instantiate our theory with the formalization of specific languages for typical product lines artifacts, and then introduce and prove soundness of a number of associated product line refinement  ...  {Photo, Send Photo, 240x320}, together with the mandatory features, which hereafter we omit for brevity, is a valid feature selection (product configuration), but {Music, Send Photo, 240x320} is not.  ...  The PVS specification of the whole theory, and proof files for all lemmas and theorems are available at the online appendix.  ... 
doi:10.1016/j.tcs.2012.01.031 fatcat:ofvwimokdbf6peg5hvam2vofhm

Domain-Specific Model Verification with QVT [chapter]

Maged Elaasar, Lionel Briand, Yvan Labiche
2011 Lecture Notes in Computer Science  
The approach uses a standard formalism, applies generically to any MOF-based modeling language and has well-defined detection semantics.  ...  Problems can be of different kinds: a) syntactic problems specified by the well-formedness constraints of metamodels and their extensions (e.g., UML profiles are extensions of UML); b) semantic problems  ...  Acknowledgements The authors would like to thank the following individuals for helping review the case study: Steve Cook (Microsoft), Nicolas Rouquette (JPL) and Pete Rivett (Adaptive).  ... 
doi:10.1007/978-3-642-21470-7_20 fatcat:rwqdbkowanfgnkywm3fq3ykqwe

Metamodel-based model conformance and multiview consistency checking

Richard F. Paige, Phillip J. Brooke, Jonathan S. Ostroff
2007 ACM Transactions on Software Engineering and Methodology  
Two formal specifications of the metamodel for an object-oriented modeling language are presented, and it is shown how to use these specifications for model conformance and multiview consistency checking  ...  Model-driven development, using languages such as UML and BON, often makes use of multiple diagrams (e.g., class and sequence diagrams) when modeling systems.  ...  This resulted in a declarative and executable specification of the well-formedness constraints for BON.  ... 
doi:10.1145/1243987.1243989 fatcat:y6itbzr4c5dyjpmp3wlncrcq3q

Engineering the SDL Formal Language Definition [chapter]

Andreas Prinz, Martin v. Löwis
2003 Lecture Notes in Computer Science  
With the latest revision of the ITU-T Specification and Description Language (SDL-2000), a formal language definition based on the concept of Abstract State Machines (ASMs) became integral part of the  ...  Together with the formal definition, we have developed software tools that allow executing the formal language definition on a computer.  ...  Acknowledgements We would like to thank the SDL Forum Society and Microsoft Research for funding this research, and providing access to both the SDL standard, and beta versions of the AsmL compiler.  ... 
doi:10.1007/978-3-540-39958-2_4 fatcat:vkjgnq6a4bhkvenqdzmpsnjuga

Editorial to the theme issue on metamodelling

Thomas Kühne
2009 Journal of Software and Systems Modeling  
I furthermore thank Martin Schindler who did an outstanding job of supporting me in putting this theme issue together. The authors deserve  ...  Acknowledgments I thank Colin Atkinson with whom I had the pleasure to start venturing into metamodelling land. I am grateful to the Editors-in-Chief for suggesting a theme issue on Metamodelling.  ...  In Formalizing the Structural Semantics of Domain-Specific Modeling Languages, Ethan Jackson and Janos Sztipanovits use a non-monotonic extension of Horn logic to represent a language's syntax, well-formedness  ... 
doi:10.1007/s10270-009-0124-5 fatcat:meslw2dojjc3zpua3va7lzmmr4
« Previous Showing results 1 — 15 out of 2,886 results