Sciweavers

435 search results - page 1 / 87
» A Model-based Simulation Approach to Error Analysis of IT Se...
Sort
View
UML
2004
Springer
13 years 10 months ago
SoftContract: Model-Based Design of Error-Checking Code and Property Monitors
This paper discusses a model-based design flow for requirements in distributed embedded software development. Such requirements are specified using a language similar to Linear T...
Luciano Lavagno, Marco Di Natale, Alberto Ferrari,...
WSC
1998
13 years 6 months ago
Assessment of Simulation Models Based on Trace-File Analysis: A Metamodeling Approach
Many important characteristics of simulation models, including queuing models, can be investigated by the use of metamodels. Problems in qualitative analysis such as analyzing mod...
Juri Tolujev, Peter Lorenz, Daniel Beier, Thomas J...
ICIW
2008
IEEE
13 years 11 months ago
Leveraging Integrated Tools for Model-Based Analysis of Service Compositions
—Developing service compositions, using multiple standards and implementation techniques, typically involves specifying service characteristics in different languages and tools. ...
Howard Foster, Philip Mayer
AICT
2006
IEEE
210views Communications» more  AICT 2006»
13 years 11 months ago
Model-Based Analysis of Obligations in Web Service Choreography
In this paper we discuss a model-based approach to the analysis of service interactions for coordinated web service compositions using obligation policies specified in the form of...
Howard Foster, Sebastián Uchitel, Jeff Mage...