Sciweavers

2145 search results - page 27 / 429
» Architectural Specifications in CASL
Sort
View
ITNG
2010
IEEE
14 years 19 days ago
Geographic Core Services' Minimal Specification for a Service-Oriented Geographic Intelligence
This paper is the last one in a series of four papers and presents a minimal geographic services’ specification, based in the core related to business requirements, specially sp...
Fernando Maciel Lima e Sousa, Valdevino Siqueira C...
KBSE
2010
IEEE
13 years 5 months ago
VikiBuilder: end-user specification and generation of visual wikis
With the need to make sense out of large and constantly growing information spaces, tools to support information management are becoming increasingly valuable. In prior work we pr...
Christian Hirsch, John G. Hosking, John C. Grundy
DILS
2004
Springer
14 years 28 days ago
Domain-Specific Concepts and Ontological Reduction within a Data Dictionary Framework
This paper describes a new method for the ontologically based standardization of concepts in the medical domain. As an application of this method we developed a data dictionary whi...
Barbara Heller, Heinrich Herre, Kristin Lippoldt
WORDS
2005
IEEE
14 years 1 months ago
Agent-Oriented Modelling and Specification of Web Services
Web services (WS) provide a technology for integrating applications over the Internet. This paper proposes a multi-agent conceptual model of WS and an agent-oriented modelling and...
Hong Zhu, Lijun Shan
COORDINATION
2006
Springer
13 years 11 months ago
Synthesizing Concurrency Control Components from Process Algebraic Specifications
Process algebraic specifications can provide useful support for the architectural design of software systems due to the possibility of analyzing their properties. In addition to th...
Edoardo Bontà, Marco Bernardo, Jeff Magee, ...