VPM : Mathematics of Metamodeling is Metamodeling Mathematics

  title={VPM : Mathematics of Metamodeling is Metamodeling Mathematics},
  author={D{\'a}nielVarr{\'o} andAndr{\'a}sPataricza},
  • DánielVarró andAndrásPataricza
  • Published 2002
AsUML 2.0 is evolvinginto a family of languageswith individually specifiedsemantics, there is an increasingneedfor automatedandprovenlycorrectmodeltransformationsthat (i) assure theintegrationof local views(differentdiagrams)of the systeminto a consistentglobal view, and, (ii) provide a well–foundedmappingfrom UML modelsto different semantic domains(Petri nets,Kripke automaton,processalgebras,etc.) for formal analysispurposesas foreseen,for instance, in submissionsfor the OMG RFP for… CONTINUE READING
5 Citations
28 References
Similar Papers


Publications referenced by this paper.
Showing 1-10 of 28 references

Pataricza.Designingtheautomatictransformationof visuallanguages

  • D. Varró, G.Varró, andA
  • Scienceof ComputerProgramming,
  • 2002
Highly Influential
8 Excerpts

A formal servicespecificationfor IIOP basedon ISO/IEC14752

  • A. SinghandJ. Billington
  • In B. JacobsandA. Rensink(eds.), Proc.Fifth…
  • 2002

Automaticprogramgenerationfor andby modeltransformationsystems.In H.-J.Kreowski andP

  • D. Varró
  • Knirsch(eds.),Proc. AGT2002…
  • 2002
1 Excerpt

Cousot.Systematicdesignof programtransformationframeworksby abstractinterpretation.In ConferenceRecord of theTwentyninthAnnualACM SIGPLAN-SIGACTSymposiumonPrinciplesof ProgrammingLanguages

  • P. CousotandR
  • 2002
1 Excerpt

Dependabilityanalysisin theearlyphasesof UML basedsystemdesign

  • M. Dal Cin A. Bondavalli, D. Latella, I. Majzik, A. Pataricza
  • InternationalJournalof ComputerSystemsScience…
  • 2002

VIATRA : Visualautomatedtransformationsfor formal verificationandvalidationof UML models

  • G. Huszerl G. Csert́an, I. Majzik, andD. Varró.
  • Proc . ASE
  • 2002

VIATRA: Visualautomatedtransformationsfor formal verificationandvalidationof UML models.In Proc.ASE2002:17thIEEEInternationalConferenceonAutomatedSoftwareEngineering

  • G. Csert́an, G. Huszerl, I. Majzik, Z. Pap, A. Pataricza, andD. Varró
  • Edinburgh,UK,
  • 2002
2 Excerpts

ageneralfaultmodelingparadigm?In WorkshoponCritical SystemsDevelopment with UML at UML

  • 2002
1 Excerpt

Similar Papers

Loading similar papers…