Titlebook: Concurrency, Graphs and Models; Essays Dedicated to Pierpaolo Degano,Rocco Nicola,José Meseguer Book 2008 Springer-Verlag Berlin Heidelber

泛滥

Library of Philosophy and ReligionIn this paper we offer an attempt at showing that such an easy bridge can be provided. To that end we present an approach, fully integrated within a UML-based rigorousmodel-drivenmethod, where business processes are viewed in the context of the overall business structure and may be modeled hierarchically at various levels of detail.

conscience

Ugo Montanari and Graph Transformationan be specified faithfully with a rule-based approach. A graph rule describes how a state can evolve into another state by replacing a sub-state matching the left-hand side of the rule with its right-hand side.

Glower

Unfolding Graph Transformation Systems: Theory and Applications to Verificationnari and other colleagues, concerning the unfolding of graph transformation systems, and its use in the definition of a Winskel style functorial semantics and in the development of methodologies for the verification of finite and infinite state systems.