671 search results - page 69 / 135 » Semantics Preserving Model Composition |
ENTCS
2007
13 years 8 months ago
2007
d abstract) Dominique Unruh 1 Institut f¨ur Algorithmen und Kognitive Systeme, Universit¨at Karlsruhe Am Fasanengarten 5, 76131 Karlsruhe, Germany We show how to model the seman...
EUROMICRO
1998
IEEE
14 years 1 months ago
1998
IEEE
Transformational design is aformal technique directed at design correctness. It integrates design and veriJication by the use of pre-proven behaviour preserving transformations as...
ESWS
2007
Springer
14 years 3 months ago
2007
Springer
Abstract The Web Service Business Process Execution Language (WSBPEL) is the de facto standard for describing workflow-like compositions of Web services, so-called Web service orc...
ECMDAFA
2006
Springer
14 years 15 days ago
2006
Springer
Abstract. The Unified Modelling Language (UML) is intended to describe systems, but it is not clear what systems satisfy a given collection of UML diagrams. Stephen Mellor has desc...
JSS
2006
13 years 8 months ago
2006
Model is a kind of codified knowledge that has been verified in solving problems. Solving a complex problem usually needs a set of models. Using components, the composition of a s...