62 search results - page 10 / 13 » Synthesis of Petri Nets from Scenarios with VipTool |
JSW
2007
13 years 7 months ago
2007
— UML sequence diagrams focus on the interaction between different classes. For distributed real time transaction processing it is possible to end up with complex sequence diagra...
CODES
2001
IEEE
13 years 11 months ago
2001
IEEE
Due to rapidly increasing system complexity, shortening time-tomarket, and growing demand for hard real-time systems, formal methods are becoming indispensable in the synthesis of...
UML
2004
Springer
14 years 25 days ago
2004
Springer
Several different kinds of performance models can be generated from sets of scenarios that describe typical responses of a system, and their use of resources. The Core Scenario Mod...
ICECCS
2000
IEEE
13 years 12 months ago
2000
IEEE
Design of embedded systems is a complex task that requires design cycles founded upon formal notation, so that the synthesis from specification to implementation can be carried ou...
APN
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. Web services represent a promising technology for the development of distributed heterogeneous software systems. In this setting, a major issue is to establish whether tw...