Sciweavers

144 search results - page 17 / 29
» Composing architectural aspects based on style semantics
Sort
View
APSEC
1997
IEEE
13 years 11 months ago
Using Extended Event Traces to Describe Communication in Software Architectures
A crucial aspect of the architecture of a software system is its decomposition into components and the specification of component interactions. In this report we use a variant of...
Manfred Broy, Christoph Hofmann, Ingolf Krüge...
SWAP
2008
13 years 9 months ago
Ontological Reasoning and Abductive Logic Programming for Service Discovery and Contracting
Abstract. The Service Oriented Architecture paradigm, and its implementation based on Web Services, have been the object of an intense research and standardization activity. One of...
Federico Chesani, Paola Mello, Marco Montali, Paol...
ATVA
2009
Springer
99views Hardware» more  ATVA 2009»
13 years 11 months ago
CLAN: A Tool for Contract Analysis and Conflict Discovery
Abstract. As Service-Oriented Architectures are more widely adopted, it becomes more important to adopt measures for ensuring that the services satisfy functional and non-functiona...
Stephen Fenech, Gordon J. Pace, Gerardo Schneider
FASE
2008
Springer
13 years 9 months ago
Verification of Architectural Refactorings by Rule Extraction
With the success of model-driven development as well as component-based and service-oriented systems, models of software architecture are key artefacts in the development process. ...
Dénes Bisztray, Reiko Heckel, Hartmut Ehrig
MTSR
2007
Springer
14 years 1 months ago
A Distributed Architecture for Harvesting Metadata Describing Organizations in the Agriculture Sector
Providing easy access to updated, accurate and semantically meaningful information about organizations working in the agriculture sector is of primary importance in agricultural in...
Valeria Pesce, Maru Ajit, Gauri Salokhe, Johannes ...