Sciweavers

1230 search results - page 17 / 246
» On Abstraction in Scenarios
Sort
View
IFIP
2000
Springer
13 years 11 months ago
Familyware
and scenario evolution, in which concepts in the abstraction domain and scenarios in the detail domain iteratively evolve. This framework provides another facet of scenario-based r...
Kentaro Go, John M. Carroll, Atsumi Imamiya
ASM
2005
ASM
14 years 1 months ago
Verifying Security Protocols: An ASM Approach
In this paper we present a modeling technique for security protocols using Abstract State Machines [BS03,Gur95] (ASMs). We describe how we model the different agents in the scenar...
Dominik Haneberg, Holger Grandy, Wolfgang Reif, Ge...
UML
2000
Springer
13 years 11 months ago
On the Extension of UML with Use Case Maps Concepts
Descriptions of reactive systems focus heavily on behavioral aspects, often in terms of scenarios. To cope with the increasing complexity of services provided by these systems, beh...
Daniel Amyot, Gunter Mussbacher
ECTEL
2006
Springer
13 years 11 months ago
Emergent Knowledge Artifacts for Supporting Trialogical E-Learning
Abstract. This paper elaborates on scenarios for collaborative knowledge creation in the spirit of the trialogical learning paradigm. According to these scenarios the group knowled...
Yannis Tzitzikas, Vassilis Christophides, Giorgos ...
CAISE
2008
Springer
13 years 9 months ago
A Tool for Process Merging in Business-Driven Development
Abstract. Business-driven development favors the construction of process modifferent abstraction levels and by different people. As a consequence, there is a demand for consolidati...
Jochen Malte Küster, Christian Gerth, Alexand...