goal specification
Recently Published Documents


TOTAL DOCUMENTS

16
(FIVE YEARS 0)

H-INDEX

6
(FIVE YEARS 0)

2014 ◽  
Vol 14 (1) ◽  
pp. 81-94 ◽  
Author(s):  
G. Hutter

Abstract. Networks and networking are important for building social capacities for natural hazards. However, up to now, it has been an open question which types of networks contribute to capacity building under certain circumstances. The paper focuses on the type of a goal-oriented network. The distinction between goal orientation and goal directedness is used to show the following: goal directedness of networks to build capacities for natural hazards involves intensive and continuous processes of "sensemaking" (Weick, 1995) to specify the network goal. This process of specifying an initial goal statement is important in small and large networks at the regional level. The governance form of a lead organization network facilitates goal specification. The paper illustrates these findings through evidence from two case studies conducted in the Dresden region in Germany.


2013 ◽  
Vol 1 (2) ◽  
pp. 1051-1079
Author(s):  
G. Hutter

Abstract. Networks and networking are important to build social capacities for natural hazards. However, up to now, it is an open question which types of networks contribute to capacity building under certain circumstances. The paper focuses on the type of a goal-oriented network. The distinction between goal orientation and goal directedness is used to show the following: goal directedness of networks to build capacities for natural hazards involves intensive and continuous processes of sensemaking (Weick, 1995) to specify the network goal. This process of specifying an initial goal statement is important in small and large networks. The governance form of a lead organization network facilitates goal specification. The paper illustrates these findings through evidence from two case studies conducted in the Dresden region in Germany.


Author(s):  
Luca Sabatucci ◽  
Patrizia Ribino ◽  
Carmelo Lodato ◽  
Salvatore Lopes ◽  
Massimo Cossentino

Author(s):  
Ella Roubtsova

Requirements engineering is a process of constantly changing worlds of intentions, goals, and system models. Conventional semantics for goal specifications is synchronous. Semantics of conventional system modeling techniques is asynchronous. This semantic mismatch complicates requirements engineering. In this chapter, we propose a new method EXTREME that exploits similarities in semantics of goal specification and executable protocol models. In contrast with other executable modelling techniques, the semantics of protocol modelling is based on a data extended form of synchronous CSP-parallel composition. This synchronous composition provides advantages for relating goals and system models, reasoning on models, requirements management, and evolution.


2008 ◽  
Vol 17 (01) ◽  
pp. 109-138 ◽  
Author(s):  
JYOTISHMAN PATHAK ◽  
SAMIK BASU ◽  
ROBYN LUTZ ◽  
VASANT HONAVAR

We propose a specification-driven approach to Web service composition. Our framework allows the users (or service developers) to start with a high-level, possibly incomplete specification of a desired (goal) service that is to be realized using a subset of the available component services. These services are represented using labeled transition systems augmented with guards over variables with infinite domains and are used to determine a strategy for their composition that would realize the goal service functionality. However, in the event the goal service cannot be realized using the available services, our approach identifies the cause(s) for such failure which can then be used by the developer to reformulate the goal specification. Thus, the technique supports Web service composition through iterative reformulation of the functional specification. We present a prototype implementation in a tabled-logic programming environment that illustrates the key features of the proposed approach.


Sign in / Sign up

Export Citation Format

Share Document