2813 search results - page 99 / 563 » Formalizing Architectural Connection |
138
click to vote
GROUP
1997
ACM
15 years 9 months ago
1997
ACM
Team automata have been proposed in Ellis (1997) as a formal framework for modeling both the conceptual and the architectural level of groupware systems. Here we define team autom...
155
click to vote
SDL
2007
15 years 6 months ago
2007
Describing an application as a simple composition of services allows advanced features that exploit different platforms to be conceived e formalized at a high abstraction level. S...
190
click to vote
ICCS
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Morphisms constitute a general tool for modelling complex relationships between mathematical objects in a disciplined fashion. In Formal Concept Analysis (FCA), morphisms...
147
Voted
DEON
2004
Springer
15 years 10 months ago
2004
Springer
This work addresses the issue of obligations directed to groups of agents. Our main concern consists in providing a formal analysis of the structure connecting collective obligatio...
123
click to vote
CLEIEJ
2004
15 years 4 months ago
2004
ept of reconfigurable systems is almost always restricted to the abstract design level, in which configuration languages are used to manipulate software connections. In this paper...