635 search results - page 51 / 127 » Towards the formalization of interaction semantics |
123
click to vote
TACS
2001
Springer
15 years 4 months ago
2001
Springer
The state of the practice in object-oriented software development has moved beyond reuse of code to reuse of conceptual structures such as design patterns. This paper draws attenti...
UML
1999
Springer
15 years 4 months ago
1999
Springer
Abstract. The current UML semantics documentation has made a signi cant step towards providing a precise description of the UML. However, at present the semantic model it proposes ...
ICWS
2007
IEEE
15 years 1 months ago
2007
IEEE
We propose a semantic framework for automatically identifying events as a step towards developing an adaptive middleware for Service Oriented Architecture (SOA). Current related r...
105
click to vote
ASE
2006
14 years 12 months ago
2006
: UML statecharts are used for describing dynamic aspects of system behavior. The work presented here extends a general Petri net-based methodology to support formal modeling of UM...
108
click to vote
RML
2002
14 years 11 months ago
2002
The trend towards highly specialized solution providers cooperatively offering configurable products and services to their customers requires the extension of current (standalone)...