Executing Multilevel Domain-Specific Models in Maude.
نویسندگان
چکیده
منابع مشابه
Formal Specification and Analysis of Domain Specific Models Using Maude
Modeling languages play a cornerstone role in model-driven software development for representing models and metamodels. Modeling languages are usually defined in terms of their abstract and concrete syntax. This allows the rapid development of languages and some associated tools (e.g. editors), but does not allow the representation of their behavioral semantics, something especially important i...
متن کاملWriting and executing ODP computational viewpoint specifications using Maude
The Reference Model of Open Distributed Processing (RM-ODP) is a joint standardization effort by ITU-T and ISO/IEC for the specification of large open distributed systems. RM-ODP is becoming increasingly relevant now because the size and complexity of large distributed systems is challenging current software engineering methods and tools, and because international standards have become key to a...
متن کاملDomain-Specific Defect Models
Defect prediction has always fascinated researchers and practitioners. The promise of being able topredict the future and acting upon that knowledge is hard to resist. Complex models used to performthe predictions and the lack of fair comparisons to what may happen in practice obscure the coreassumption that quantitative methods using generic measures can improve upon decisions made...
متن کاملExecuting UML Models
Software development evolution is a history of permanent seeks for raising the abstraction level to new limits overcoming new frontiers. Executable UML (xUML) comes this way as the expectation to achieve the next level in abstraction, offering the capability of deploying a xUML model in a variety of software environments and platforms without any changes. This paper comes as a first expedition ...
متن کاملDomain-Specific Software Component Models
We believe that for developing applications in a specific domain, the best kind of software component model to use is a domain-specific one. We also believe that current component models intended for specific domains are actually not domain-specific. In this paper we present an approach for deriving domain-specific component models from the domain model of a given domain, and show why such a co...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Journal of Object Technology
سال: 2019
ISSN: 1660-1769
DOI: 10.5381/jot.2019.18.2.a4