181 search results - page 12 / 37 » Modeling the Dynamics of UML State Machines |
WISE
2002
Springer
14 years 11 days ago
2002
Springer
Web transactions may be complex, composed of several sub-transactions accessing different resources including legacy systems. They may also have complex semantics. To deal with co...
CSSE
2008
IEEE
14 years 1 months ago
2008
IEEE
Abstract: The need of communication protocols in today’s environment increases as much as the network explores. Many new kinds of protocols, e.g. for information sharing, securit...
FMICS
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. In this paper we present an action/state-based logical framework for the analysis and verification of complex systems, which relies on the definition of doubly labelled...
AOSE
2000
Springer
13 years 11 months ago
2000
Springer
Gaining wide acceptance for the use of agents in industry requires both relating it to the nearest antecedent technology (objectoriented software development) and using artifacts t...
SOSYM
2010
13 years 5 months ago
2010
: The specification of a software system must include all relevant static and dynamic aspects of the domain. Dynamic aspects are usually specified by means of a behavioral schema c...