294 search results - page 8 / 59 » A Formal Model of Service-Oriented Design Structure |
MM
2006
ACM
14 years 2 months ago
2006
ACM
In this paper we propose a framework for the computational extraction of time characteristics of a single choreographic work. Computational frameworks can aid in revealing nonsali...
SPDECE
2007
13 years 9 months ago
2007
This paper addresses the representation of the main elements of instructional models using formal ontology languages. Following existing conceptualizations, models, methods and con...
ASPDAC
2005
ACM
14 years 2 months ago
2005
ACM
— With the rise in complexity of modern systems, designers are spending a significant time on at the system level of abstraction. This paper introduces Model Algebra, a formalis...
JSS
2010
13 years 3 months ago
2010
The formal specification of design patterns is widely recognized as being vital to their effective and correct use in software development. It can clarify the concepts underlying ...
ADBIS
2006
Springer
14 years 9 days ago
2006
Springer
Among the most important expected benefits of a global service oriented architecture leveraging web service standards is an increased level of automation in the discovery, composit...