210,075 Hits in 2.6 sec

Toward a semantic anchoring infrastructure for domain-specific modeling languages

Kai Chen, Janos Sztipanovits, Sandeep Neema
2005 Proceedings of the 5th ACM international conference on Embedded software - EMSOFT '05  
Metamodeling facilitates the rapid, inexpensive development of domain-specific modeling languages (DSML-s).  ...  In this paper we use a mathematical model, Abstract State Machines, a common semantic framework to define the semantic domains of DSML-s.  ...  The authors want to thank for the useful discussions with Edward Lee, George Pappas, Alberto Sangiovanni-Vincentelly and Tom Henzinger in forming the semantic anchoring concept.  ... 
doi:10.1145/1086228.1086236 dblp:conf/emsoft/ChenSN05 fatcat:ettwxhp6rvctvjn3na37wg64my

Semantic Anchoring with Model Transformations [chapter]

Kai Chen, Janos Sztipanovits, Sherif Abdelwalhed, Ethan Jackson
2005 Lecture Notes in Computer Science  
MIC places strong emphasis on the use of domain-specific modeling languages (DSML-s) and model transformations.  ...  Semantic anchoring of DSML-s means the specification of model transformations between DSML-s (or aspects of complex DSML-s) and selected semantic units.  ...  Whenever we have a domain model in AsmL (which is a specific instance of the Abstract Data Model), this domain model and the operational rules compose an abstract state machine, which gives the model semantics  ... 
doi:10.1007/11581741_10 fatcat:j2z53d5y65funelqqwtwoxljpi

Towards an Agile and Ontology-Aided Modeling Environment for DSML Adaptation [chapter]

Emanuele Laurenzi, Knut Hinkelmann, Stefano Izzo, Ulrich Reimer, Alta van der Merwe
2018 Lecture Notes in Business Information Processing  
An initial set of operators is presented for the rapid and efficient adaptation of both syntax and semantics of modeling languages.  ...  This brings the demand to create or adapt domain-specific modeling languages (DSMLs) efficiently and in a timely manner, which, on the contrary, is a complex and timeconsuming engineering task.  ...  The abstract syntax of a language is commonly mapped to domain semantics concepts.  ... 
doi:10.1007/978-3-319-92898-2_19 fatcat:e5udwgdcevcsfa7tnfymiwmd6a

An Integrated Framework to Specify Domain-Specific Modeling Languages

Bahram Zarrin, Hubert Baumeister
2018 Proceedings of the 6th International Conference on Model-Driven Engineering and Software Development  
This framework relies on Microsoft DSL Tools, a meta-modeling framework to build graphical domain-specific languages, and an extension of ForSpec, a logic-based specification language.  ...  The drawback of MS DSL Tools is it does not provide a formal and rigorous approach for semantics specifications.  ...  for specifying the semantics of domain-specific languages.  ... 
doi:10.5220/0006555800830094 dblp:conf/modelsward/ZarrinB18 fatcat:aipnxdut5zet5o424whwb2t5wy

Prototyping domain-specific language semantics

Daniel A. Sadilek
2008 Companion to the 23rd ACM SIGPLAN conference on Object oriented programming systems languages and applications - OOPSLA Companion '08  
Domain-specific languages (DSLs) need semantics. For an external, executable, metamodel-based DSL, this can be done in an operational or a translational way.  ...  Equivalence of operational semantics described with different languages can be tested by comparing execution traces.  ...  In EPRO-VIDE, we represent configurations of the operational semantics as models and define the space of all possible configurations with a metamodel.  ... 
doi:10.1145/1449814.1449896 dblp:conf/oopsla/Sadilek08 fatcat:a63otydmtjfu7g4gcjvjz4hupi

A Domain Specific Modeling Language Semantic Model for Artefact Orientation

Bunakiye R. Japheth, Ogude U. Cyril
2019 Zenodo  
Domain-specific modeling language specifications of model-driven engineering technologies focus more on requirements within a particular domain, which can be tailored to aid the domain expert in expressing  ...  Since the process of transforming user requirements to modeling constructs are not very well supported by domain-specific frameworks, it became necessary to integrate domain requirements with the specific  ...  Semantic Model Specifications The operational mode is hinged on the description of the grammar content of the input parameters in the formal notations.  ... 
doi:10.5281/zenodo.2576928 fatcat:kwrb3ybldfb2tl7vufw5m3a474

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

System modeling in SYsML and system analysis in Arena

Ola Batarseh, Leon F. McGinnis
2012 Proceedings Title: Proceedings of the 2012 Winter Simulation Conference (WSC)  
OMG's System Model Language, OMG SysML™, is used to define a platform independent model (PIM) and auto-translate it into an appropriate platform specific model (PSM).  ...  In this paper, we choose to model transaction-based examples elicited from the manufacturing domain in SysML and translate them into Arena™ models using the Atlas Transformation Language.  ...  Two instances of the Operator Semantic Modeled by the End User of Domain LibraryExample 2: One of the domain semantics of the manufacturing system is manufacturing process.  ... 
doi:10.1109/wsc.2012.6465139 dblp:conf/wsc/BatarsehM12 fatcat:4auihcfpkbhodbop3brttmviaq

A domain-specific visual language for domain model evolution

Jonathan Sprinkle, Gabor Karsai
2004 Journal of Visual Languages and Computing  
of the models built using the original DSVL.  ...  Domain-specific visual languages (DSVLs) are concise and useful tools that allow the rapid development of the behavior and/or structure of applications in well-defined domains.  ...  Since the translator (the executor of the dynamic semantics) operates on domain models, it is usually defined to operate on types of models (i.e., through the metamodel).  ... 
doi:10.1016/j.jvlc.2004.01.006 fatcat:pam7qdtffzatlcbhxypl4r7i3m

Semantic framework for DSLs

Zekai Demirezen
2009 Proceeding of the 24th ACM SIGPLAN conference companion on Object oriented programming systems languages and applications - OOPSLA '09  
To define programs using domain concepts, rather than programming language concepts, model-based syntax and semantic specification techniques may offer advantages over current approaches.  ...  Domain-Specific Languages (DSLs) enable domain experts to participate in software development tasks and to specify their own programs using domain abstractions.  ...  The concepts advocated by MDE focus on abstractions tied to a specific domain that provides tailored modeling languages for domain experts.  ... 
doi:10.1145/1639950.1640037 dblp:conf/oopsla/Demirezen09 fatcat:v7rvwsfjvfclnf3rubjip37jme

An Implementation Approach to Achieve Metamodel Independence in Domain Specific Model Manipulation Languages

Jerónimo Irazábal, Gabriela Pérez, Claudia Pons, Roxana S. Giandini
2012 Proceedings of the 7th International Conference on Software Paradigm Trends  
Unlike general-purpose modeling languages, domain-specific modeling languages can simplify the development of complex software systems by providing domain-specific abstractions for modeling the system  ...  In this work we elaborate on the notion of domain specific model manipulation language, that is to say a model manipulation language tailored to a specific domain.  ...  CONCLUSIONS In this article we have explained the concept of domain specific model manipulation language, that is to say model manipulation languages tailored to a specific domain.  ... 
doi:10.5220/0004082800620069 dblp:conf/icsoft/IrazabalPPG12 fatcat:4lcqh2ifijdufayvivbzyyhah4

Domain Globalization: Using Languages to Support Technical and Social Coordination [chapter]

Julien Deantoni, Cédric Brun, Benoit Caillaud, Robert B. France, Gabor Karsai, Oscar Nierstrasz, Eugene Syriani
2015 Lecture Notes in Computer Science  
This chapter identifies the open challenges arising from the coordination of globalized domain-specific languages.  ...  In this context a Domain Specific Language (DSL) supports the work of a group of stakeholders who are responsible for addressing a specific set of concerns.  ...  semantics) of the domain-specific modeling language defined by the metamodel.  ... 
doi:10.1007/978-3-319-26172-0_5 fatcat:rrm4sockgfcizdfenrq4swagfi

Domain-Specific Modelling for Human–Computer Interaction [chapter]

Simon Van Mierlo, Yentl Van Tendeloo, Bart Meyers, Hans Vangheluwe
2017 Human–Computer Interaction Series  
Domain-Specific Modelling (DSM) [12] in particular makes it possible to specify these models in a Domain-Specific Modelling Language (DSML), using concepts and notations of a specific domain.  ...  Model-Driven Engineering (MDE) [30] tries to bridge this gap, by shifting the level of specification from computing concepts (the "how") to conceptual models or abstractions in the problem domain (the  ...  Partial support by the Flanders Make strategic research centre for the manufacturing industry is also gratefully acknowledged.  ... 
doi:10.1007/978-3-319-51838-1_16 fatcat:rgnd6owc4nazfj6apbsn6kgjee

A Framework for Unambiguous and Extensible Specification of DSMLs for Cyber-Physical Systems

Gabor Simko, David Lindecker, Tihamer Levendovszky, Ethan Jackson, Sandeep Neema, Janos Sztipanovits
2013 2013 20th IEEE International Conference and Workshops on Engineering of Computer Based Systems (ECBS)  
Increased emphasis on developing model-based design methods for Cyber-Physical Systems (CPS) brings new challenges to the specification of domain specific modeling languages (DSML) and the integration  ...  Since CPS are composed of tightly integrated physical and computational components, the modeled domains include both physical and computational systems.  ...  MBE heavily relies on the usage of Domain-Specific Modeling Languages (DSMLs).  ... 
doi:10.1109/ecbs.2013.30 dblp:conf/ecbs/SimkoLLJNS13 fatcat:wgqxndlvx5arzbqqvh5ntci3sm

Modeling the Behavioral Semantics of Heterogeneous Languages and their Coordination

Julien Deantoni
2016 2016 Architecture-Centric Virtual Integration (ACVI)  
In the software and system modeling community, research on domain-specific modeling languages (DSMLs) is focused on providing technologies for developing languages and tools that allow domain experts to  ...  This was achieved by providing dedicated meta-language to define the behavioral semantics of DSMLs and their coordination.  ...  ACKNOWLEDGMENT The ideas and development depicted in this paper were born from the support of the ANR INS Project GEMOC (ANR-12-INSE-0011), from the numerous discussions with the GEMOC partners 8 and from  ... 
doi:10.1109/acvi.2016.9 fatcat:bzkz4qr5dnbsbg3jdmqpax3zpi
« Previous Showing results 1 — 15 out of 210,075 results