2006 · 10 citations · 7 references
EngineeringSoftware EngineeringComplex SystemsWorkflow ModellingSoftware AnalysisFormal VerificationTowards RigorousModel Driven ArchitectureModels SemanticsData ScienceSystems EngineeringModel-based Software DevelopmentTopcased ProjectDesignProcess SpecificationSoftware DesignAutomated ReasoningProgram AnalysisSoftware TestingModel FrameworkSystem SpecificationFormal MethodsMetamodeling TechniqueSystem SoftwareModel AnalysisData Modeling
MDE has provided several significant improvements in the development of complex systems by focusing on more abstract issues than programming. However, improvments are needed on the semantic side in order to reach highlevel certification such as the one currently required for critical embedded systems (which will also probably be required in the near future for Information Systems as application of Basel II kind of agreements). This paper presents different means to specify models semantics at the metamodel level. We will focus on the definition of executable SPEM-based development process models (workflow related models) using an approach defined for the TOPCASED project.
7
A Structural Approach to Operational Semantics
Gordon Plotkin · 2004 · 2K citations
The Generic Modeling Environment
Ákos Lédeczi, Miklós Maróti, Árpád Bakay et al. · 2001 · 496 citations
The design of a language for model transformations
Aditya Agrawal, Gábor Karsai, Sandeep Neema et al. · Software & Systems Modeling · 2006 · 111 citations