Introduction to PROGRESS, an attribute graph grammar based specification language
WG '89 Proceedings of the fifteenth international workshop on Graph-theoretic concepts in computer science
Handbook of graph grammars and computing by graph transformation: volume I. foundations
Handbook of graph grammars and computing by graph transformation: volume I. foundations
Algebraic approaches to graph transformation. Part I: basic concepts and double pushout approach
Handbook of graph grammars and computing by graph transformation
Handbook of graph grammars and computing by graph transformation
Graph transformation for specification and programming
Science of Computer Programming
Handbook of graph grammars and computing by graph transformation: vol. 2: applications, languages, and tools
Seamless formalizing the UML semantics through metamodels
Unified modeling language
Automatic Dependability Analysis for Supporting Design Decisions in UML
HASE '99 The 4th IEEE International Symposium on High-Assurance Systems Engineering
Story Diagrams: A New Graph Rewrite Language Based on the Unified Modeling Language and Java
TAGT'98 Selected papers from the 6th International Workshop on Theory and Application of Graph Transformations
High-Level Integrated Design Environment for Dependability (HIDE)
WORDS '99 Proceedings of the Fifth International Workshop on Object-Oriented Real-Time Dependable Systems
Process semantics of Petri nets over partial algebra
ICATPN'00 Proceedings of the 21st international conference on Application and theory of petri nets
UML'00 Proceedings of the 3rd international conference on The unified modeling language: advancing the standard
BPM Based Robust E-business Application Development (Practical Experience Report)
EDCC-4 Proceedings of the 4th European Dependable Computing Conference on Dependable Computing
UML '02 Proceedings of the 5th International Conference on The Unified Modeling Language
Transformation: The Missing Link of MDA
ICGT '02 Proceedings of the First International Conference on Graph Transformation
A Formal Semantics of UML Statecharts by Model Transition Systems
ICGT '02 Proceedings of the First International Conference on Graph Transformation
Confluence of Typed Attributed Graph Transformation Systems
ICGT '02 Proceedings of the First International Conference on Graph Transformation
IEEE Software
Proceedings of the 5th international workshop on Software and performance
Comparison of modeling frameworks for software engineering
Nordic Journal of Computing
Feature-based survey of model transformation approaches
IBM Systems Journal - Model-driven software development
Companion to the 21st ACM SIGPLAN symposium on Object-oriented programming systems, languages, and applications
ATL: a QVT-like transformation language
Companion to the 21st ACM SIGPLAN symposium on Object-oriented programming systems, languages, and applications
Journal of Systems and Software
Transformation methodology for UML 2.0 activity diagram into colored Petri nets
ACST'07 Proceedings of the third conference on IASTED International Conference: Advances in Computer Science and Technology
Decoupling web application concerns through weaving operations
Science of Computer Programming
Integrating Refinement into Software Development Tools
Electronic Notes in Theoretical Computer Science (ENTCS)
Journal of Visual Languages and Computing
ATL: A model transformation tool
Science of Computer Programming
Customizing grgen.net for model transformation
Proceedings of the third international workshop on Graph and model transformations
Supporting user-oriented analysis for multi-view domain-specific visual languages
Information and Software Technology
ICWE '9 Proceedings of the 9th International Conference on Web Engineering
Graph Transformation with Incremental Updates
Electronic Notes in Theoretical Computer Science (ENTCS)
Graph Transformation in Relational Databases
Electronic Notes in Theoretical Computer Science (ENTCS)
Reusable Idioms and Patterns in Graph Transformation Languages
Electronic Notes in Theoretical Computer Science (ENTCS)
Overview of Formal Concepts for Model Transformations Based on Typed Attributed Graph Transformation
Electronic Notes in Theoretical Computer Science (ENTCS)
Towards Model Transformation in Generated Eclipse Editor Plug-Ins
Electronic Notes in Theoretical Computer Science (ENTCS)
Adaptive Graph Pattern Matching for Model Transformations using Model-sensitive Search Plans
Electronic Notes in Theoretical Computer Science (ENTCS)
Stochastic dependability analysis of system architecture based on UML models
Architecting dependable systems
A transformation-driven approach to the verification of security policies in web designs
ICWE'07 Proceedings of the 7th international conference on Web engineering
Pattern-based genetic model refinements in MDA
Nordic Journal of Computing
Multi-level tests for model driven web applications
ICWE'10 Proceedings of the 10th international conference on Web engineering
Model synchronization at work: keeping SysML and AUTOSAR models consistent
Graph transformations and model-driven engineering
Estimating footprints of model operations
Proceedings of the 33rd International Conference on Software Engineering
Journal of Web Engineering
Dependability evaluation of web service-based processes
EPEW'06 Proceedings of the Third European conference on Formal Methods and Stochastic Models for Performance Evaluation
Component tools: integrating petri nets with other formal methods
ICATPN'06 Proceedings of the 27th international conference on Applications and Theory of Petri Nets and Other Models of Concurrency
Model transformation languages relying on models as ADTs
SLE'09 Proceedings of the Second international conference on Software Language Engineering
Termination criteria for model transformation
FASE'05 Proceedings of the 8th international conference, held as part of the joint European Conference on Theory and Practice of Software conference on Fundamental Approaches to Software Engineering
MoDELS'05 Proceedings of the 2005 international conference on Satellite Events at the MoDELS
Model-based optimization of enterprise application and service deployment
ISAS'05 Proceedings of the Second international conference on Service Availability
Runtime verification of statechart implementations
Architecting Dependable Systems III
CBSE'06 Proceedings of the 9th international conference on Component-Based Software Engineering
Model-driven automation for simulation-based functional verification
ACM Transactions on Design Automation of Electronic Systems (TODAES) - Special section on verification challenges in the concurrent world
SFM'12 Proceedings of the 12th international conference on Formal Methods for the Design of Computer, Communication, and Software Systems: formal methods for model-driven engineering
Hoare-Style Verification of Graph Programs
Fundamenta Informaticae - Recent Developments in the Theory of Graph Transformation, 2010
Hi-index | 0.00 |
The design process of complex systems requires a precise checking of the functional and dependability attributes of the target design. The growing complexity of systems necessitates the use of formal methods, as the exhaustiveness of checks performed by the traditional simulation and testing is insufficient.For this reason, the mathematical models of various formal verification tools are automatically derived from UML-diagrams of the model by mathematical transformations guaranteeing a complete consistency between the target design and the models of verification and validation tools.In the current paper, a general framework for an automated model transformation system is presented. The method starts from a uniform visual description and a formal proof concept of the particular transformations by integrating the powerful computational paradigm of graph transformation, planner algorithms of artificial intelligence, and various concepts of computer engineering.