6581 search results - page 148 / 1317 » Formalizing Design Patterns |
154
click to vote
WISE
2006
Springer
15 years 9 months ago
2006
Springer
Service composition is becoming the dominant paradigm for developing Web service applications. It is important to ensure that a service composition complies with the requirements f...
98
Voted
HASE
2008
IEEE
15 years 9 months ago
2008
IEEE
— UML 1 sequence diagrams have been widely employed for modeling software requirements and design. UML 2 introduced many new features, such as Combined Fragments, to make sequenc...
111
click to vote
BIRTHDAY
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. Goguen emphasized long ago that colimits are how to compose systems [7]. This paper corroborates and elaborates Goguen's vision by presenting a variety of situations...
155
click to vote
DALT
2006
Springer
15 years 7 months ago
2006
Springer
AgentSpeak is a well-known language for programming intelligent agents which captures the key features of reactive planning systems in a simple framework with an elegant formal sem...