Sciweavers

77016 search results - page 88 / 15404
» Modeling Modeling
Sort
View
OTM
2005
Springer
15 years 11 months ago
Document Flow Model: A Formal Notation for Modelling Asynchronous Web Services Composition
This paper presents a formal notation for modelling asynchronous web services composition, using context and coordination mechanisms. Our notation specifies the messages that can b...
Jingtao Yang, Corina Cîrstea, Peter Henderso...
WSC
2000
15 years 7 months ago
Toward a standard process: the use of UML for designing simulation models
Designing complex simulation models is a task essentially associated with software engineering. In this paper, the Unified Modeling Language (UML) is used to specify simulation mo...
Hendrik Richter, Lothar März
POPL
2002
ACM
16 years 6 months ago
Types as models: model checking message-passing programs
Sagar Chaki, Sriram K. Rajamani, Jakob Rehof
ICEIS
2009
IEEE
16 years 25 days ago
Toward a Quality Model for CBSE - Conceptual Model Proposal
María A. Reyes, Maryoly Ortega, Marí...