174,926 Hits in 7.9 sec

Formalizing the structural semantics of domain-specific modeling languages

Ethan Jackson, Janos Sztipanovits
2008 Journal of Software and Systems Modeling  
In this paper we develop the formal foundations for the structural semantics of domain specific modeling languages (DSML), including the mechanisms by which metamodels specify the structural semantics  ...  In spite of its general importance the structural semantics of modeling languages are not well-understood.  ...  DISCUSSION AND CONCLUSION In this paper we explored the structural foundations of domain-specific modeling languages.  ... 
doi:10.1007/s10270-008-0105-0 fatcat:zqyvt6ni4zgr5kpll2uosbkiwu

Semantic Specifications for Domain-Specific Modeling Languages

Gabor Simko
2013 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems  
In this paper, I propose a logic-based infrastructure for the specification of Domain-Specific Modeling Languages (DSML).  ...  The key advantage of the approach is the executability of the specifications: for model conformance checking, model checking and model finding.  ...  Accordingly, specification of modeling languages requires support for specifying both structural and behavioral semantics [13] .  ... 
dblp:conf/models/Simko13 fatcat:qhkocyssczezfc7h2qk3abikae

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).  ...  One of these unsolved problems is the lack of a practical, effective method for the formal specification of DSML semantics.  ...  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

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  ...  As a representative case study, we define both the structural and behavioral semantics for a bond graph language, and demonstrate the reusability and extensibility provided by the approach by extending  ...  Semantic Mapping After formally specifying the structure of the bond graph models and a semantic domain, we describe the semantic mapping.  ... 
doi:10.1109/ecbs.2013.30 dblp:conf/ecbs/SimkoLLJNS13 fatcat:wgqxndlvx5arzbqqvh5ntci3sm

Semantic Equations for Formal Models in the Model-Driven Architecture [chapter]

Paulo Barbosa, Franklin Ramalho, Jorge Figueiredo, Anikó Costa, Luís Gomes, Antônio Junior
2010 IFIP Advances in Information and Communication Technology  
Semantic equations are important pieces of the denotational semantics approach that enable the translation of syntactic constructs of models to semantic domains.  ...  In a previous work, we have extended the Model-Driven Architecture (MDA) four-layer proposal of architecture in order to incorporate formal semantics to its artifacts.  ...  This work was partially supported by the collaborative project Verificação Semântica em Transformações MDA Envolvendo Modelos de Redes de Petri (MDA-VERITAS -Semantic Verification in MDA Transformation  ... 
doi:10.1007/978-3-642-11628-5_27 fatcat:yoa3tzmgm5gsplvpqs7hhovgyu

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  ...  Defining formal semantics for modeling languages is a widely accepted solution to this problem.  ...  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

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.  ...  Formal Framework for Specifying Semantic Units Semantic anchoring requires the specification of semantic units in a formal framework using a formal language, which is not only precise but also manipulable  ... 
doi:10.1007/11581741_10 fatcat:j2z53d5y65funelqqwtwoxljpi

Formal Aspects of Enterprise Modeling Methods: A Comparison Framework

Domenik Bork, Hans-Georg Fill
2014 2014 47th Hawaii International Conference on System Sciences  
Thereby, the formalization of modeling methods is essential to unambiguously define their structure, behavior, and semantics, and enable an intersubjective understanding and machine-processability.  ...  In this paper we analyze and compare six common enterprise modeling methods in regard to the formalization of their process-related aspects.  ...  e.g. the recent discussion centering around the current formal specification of UML 1 structural and behavioral semantics [7] and formal visual specifications 2 .  ... 
doi:10.1109/hicss.2014.422 dblp:conf/hicss/BorkF14 fatcat:gmprefzzrvfpli3w5zqy5aheum

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  ...  Modeling processes through domain-specific language formalisms are highly volatile due to dependencies on domain concepts or used process models.  ...  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

Ontology-Based Evaluation and Design of Domain-Specific Visual Modeling Languages [chapter]

Giancarlo Guizzardi, Luis Ferreira Pires, Marten van Sinderen
2006 Advances in Information Systems Development  
Domain-Specific Visual Modeling Languages should provide notations and abstractions that suitably support problem solving in well-defined application domains.  ...  Over the years formal and explicit representations of domain conceptualizations have been developed as domain ontologies.  ...  From a domain ontology to a Domain-Specific Visual Language Section 3 has shown how the semantics of different domain-specific languages 1 and 2 could be defined in terms of a shared domain ontology.  ... 
doi:10.1007/978-0-387-36402-5_19 fatcat:jonucpi3kfceroob7il6abnvpm

Modeling Language Variability [article]

Hans Grönninger, Bernhard Rumpe
2014 arXiv   pre-print
A systematic way of defining variants of a modeling language is useful for adopting the language to domain or project specific needs.  ...  Variants can be obtained by adopting the syntax or semantics of the language.  ...  But even if a formal modeling language exists, a new class of systems like highly robust and reliable systems or a specific application domain may require adaptation of the language.  ... 
arXiv:1409.6582v1 fatcat:27saex44ebekvfyngjmjkbtz6m

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  
The drawback of MS DSL Tools is it does not provide a formal and rigorous approach for semantics specifications.  ...  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.  ...  Formal Approaches for Semantics Specifications of Modeling Languages A number of formal approaches have been proposed for specifying the semantics of modeling languages.  ... 
doi:10.5220/0006555800830094 dblp:conf/modelsward/ZarrinB18 fatcat:aipnxdut5zet5o424whwb2t5wy

Requirements for Medical Modeling Languages

A. A. F. van der Maas, A. H. M. ter Hofstede, A. J. ten Hoopen
2001 JAMIA Journal of the American Medical Informatics Association  
the authors: A b s t r a c t Objective: The development of tailor-made domain-specific modeling languages is sometimes desirable in medical informatics.  ...  It is concluded that this set of requirements has the potential to play a vital role in both the evaluation of existing domain-specific languages and the development of new ones. s  ...  Examples of domain-specific modeling languages with a formal syntax are Arden, 7 MCRL, 29 TSMI, 30 and PCRL. 11 The following modeling languages have a formal semantics as well: GRAIL, 31 KL-ONE  ... 
doi:10.1136/jamia.2001.0080146 pmid:11230383 pmcid:PMC134554 fatcat:dyc62gatznb77nmzrkwyhzf4ka

Domain-specific engineering of domain-specific languages

Raphael Mannadiar, Hans Vangheluwe
2010 Proceedings of the 10th Workshop on Domain-Specific Modeling - DSM '10  
Domain-specific modelling (DSM) enables experts of arbitrary domains to perform modelling tasks using familiar constructs.  ...  This approach not only contradicts the model-driven engineering (MDE) philosophy of development using domain-specific conceptsin this case, the domain and concepts of DSLs -, it is also faced with the  ...  Table 3 : 3 The PhoneApps metamodel (as a set of semantic templates). Note that we refer to domain-specific modelling as DSM and to a domain-specific model as a DSm.  ... 
doi:10.1145/2060329.2060356 fatcat:5ep3hfv2irex3b2najdbgir24a

Semantic Properties for Lightweight Specification in Knowledgeable Development Environments [article]

Joseph R. Kiniry
2002 arXiv   pre-print
Semantic properties are domain-specific specification constructs used to augment an existing language with richer semantics.  ...  Semantic properties are themselves specified at two levels: loosely with precise natural language, and formally within the problem domain.  ...  The formal aspects of kind theory, the specification of kind domains for things like semantic properties, is performed by an expert.  ... 
arXiv:cs/0204035v1 fatcat:n66yvvxy7rca3hhex4dp4dgpqu
« Previous Showing results 1 — 15 out of 174,926 results