417 search results - page 34 / 84 » Extending UML for Model Composition |
208
click to vote
FMOODS
2008
15 years 5 months ago
2008
In this work, novel symbolic step encodings of the transition relation for object based communicating state machines are presented. This class of systems is tailored to capture the...
138
click to vote
ECWEB
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Recently, a trend towards business processes in Business-toBusiness e-Commerce (B2B) is apparent. One of the most promising approaches is UN/CEFACT’s modeling methodolo...
163
click to vote
ICMAS
2000
15 years 5 months ago
2000
s This paper introduces an architecture-centric object-oriented design method for MAS (Multi-Agent Systems) using the extended UML (Unified Modeling Language). The UML extension is...
142
click to vote
AOSD
2009
ACM
15 years 10 months ago
2009
ACM
e is an aspect-oriented hardware verification language that is widely used to verify the design of electronic circuits through the development and execution of testbenches. In rec...
132
click to vote
ICWS
2004
IEEE
15 years 5 months ago
2004
IEEE
Currently web services composition problems are addressed using AI planning techniques . The team-based approach, with emphases on the sharing of mental models and proactive colla...