RWTH Aachen Computer Science V TROPOS Workshop, Trento, November 15-16, 2001 Tropos Research...
-
Upload
malcolm-conley -
Category
Documents
-
view
220 -
download
0
Transcript of RWTH Aachen Computer Science V TROPOS Workshop, Trento, November 15-16, 2001 Tropos Research...
RWTH AachenComputer Science V
TROPOS Workshop, Trento, November 15-16, 2001
Tropos Research Overview:
RWTH Aachen M. Jarke and G. Lakemeyer
RWTH Aachen
RWTH AachenComputer Science V
TROPOS Workshop, Trento, November 15-16, 2001
History of Aachen’s Approach
DAIDA : Metadata linking IS development phases, development of Telos, first ConceptBase prototype (1988)
COMPULOG : logical foundations of meta modeling, meta formula handling by partial evaluation (Jeusfeld 1992)
NATURE/CREWS : application to perspective resolution in requirements engineering and business modeling (Nissen 1997, Peters 1997), extension to business cooperation (Kethers 2001) and warehoues/e-commerce (Quix 2002)
TROPOS : dynamic modeling of social networks in coooperation with sociologists and entrepreneurs
RWTH AachenComputer Science V
TROPOS Workshop, Trento, November 15-16, 2001
Multi-Perspective Cooperative Modeling : Metamodels as Goals
commonmeta model
entityrelationship
notation
dataflow
notation
viewpoint 2viewpoint 1
common reality
in
For small processes [Nissen et al.; IEEE SW 96]:--> metaplan + repository formalization
For large processes [Rose, CACM 12/98]:--> layout generation + synchronization analysis
RWTH AachenComputer Science V
TROPOS Workshop, Trento, November 15-16, 2001
Regional Networks in the US
Emilio J. Castilla, Hokyu Hwang, Ellen Granovetter, and Mark Granovetter (2000): Network of Silicon Valley Entrepreneurs
RWTH AachenComputer Science V
TROPOS Workshop, Trento, November 15-16, 2001
Network Theory Approaches
• Cluster Theory (M. Porter)
• Innovation and productivity by Coopetition
• Social Capital (Bourdieu, Putnam)
• Reputation mechanisms (individual / organisation)
• central role of trust
• our TCD approach (Trust-Confidence-Distrust)
• networks not a hybrid
• distrust is not negation of trust
• successful combination high trust - high distrust !
RWTH AachenComputer Science V
TROPOS Workshop, Trento, November 15-16, 2001
Local Cluster Information Technology
Entrepreneurship Network Route 128,dependencies according to 40 interviews
50k-Competition
customer
LicensingOffice
Supply/Service
Strategicinvestor
E-Lab
E-Center
Consultant/Mediator
Entrepreneur
Team
AngelAngelGroup
InvestmentBanker
LimitedPartners
VentureCapitalist
lawyer
Faculty Alumni
RWTH AachenComputer Science V
TROPOS Workshop, Trento, November 15-16, 2001
Modeling Organisation Networks with Tropos: A Trust-Centered Approach
M. Jarke and G. LakemeyerAachen University of Technology
other contributors:
L. Ellrich, C. Funken, M. Meister, Freiburg
G. Gans, S. Kethers, R.Klamma, T. Vits, Aachen
V. Wulf, Fraunhofer FIT
RWTH AachenComputer Science V
TROPOS Workshop, Trento, November 15-16, 2001
Goal- and Scenario-Based Continuous Requirements Management
animate
capture
initialmodelinitialmodel
newmodelnew
model
existingsystemexistingsystem
newsystem
newsystem
changespecification
reverseanalysis
legacyintegration
changeimplementation
futurescenario
futurescenariocurrent
scenariocurrent
scenario
changeenvisionment
goal/requirementgoal/requirement
refinement/negotiation
scenario generationfor validation/
refinementobservation focus/
goal discovery
... extended to Social Networks
RWTH AachenComputer Science V
TROPOS Workshop, Trento, November 15-16, 2001
Social Networks
• an autonomous form of coordination that combines advantages of two traditional mechanisms
• markets: flexibility, adaptive to competition
• hierarchies: long duration cooperation
• trusting cooperation of autonomous, but interdependent agents (here: organizations)
• small-business B2B commerce, virtual org‘s
• entrepreneurship networks
RWTH AachenComputer Science V
TROPOS Workshop, Trento, November 15-16, 2001
Overview
1. Role of Trust/Distrust in Agent Networks
2. A Multi-Perspective Modeling Approach
3. The Tropos(AC) Prototype
4. Conclusions
RWTH AachenComputer Science V
TROPOS Workshop, Trento, November 15-16, 2001
Trust
expectation of
risky investment reciprocity
• individual trust : likelihood of reciprocity violation
– Coleman: p G > (1-p) L (similar: DAI community)
– game theory: iterated prisoner‘s dilemma
– eBusiness: reputation mechanisms
• network confidence : strategic vulnerabilities, balanced inter-dependency networks
An Example: Seminar Organization
Eric Yu‘s i*,here: the strategic rational model
RWTH AachenComputer Science V
TROPOS Workshop, Trento, November 15-16, 2001
Distrust• Distrust is not just negation or absence of
trust– Luhmann 1988: functional equivalence + distrust spiral– Kern 1997: inject controlled amount of distrust– Lewicki et al. 1998: high-trust / high-distrust networks
can be highly successful
• Implications for RE– disparity between motive and action (latency)– positive function in networks (watchful trust)– tendency for distrust aggregation must be contained,
e.g. by network rules and traceability (institutionalized distrust)
• A Basis for IT-supported continuous RE !
RWTH AachenComputer Science V
TROPOS Workshop, Trento, November 15-16, 2001
The TCD Model :a delicate balance for network success
RWTH AachenComputer Science V
TROPOS Workshop, Trento, November 15-16, 2001
Overview
1. Role of Trust/Distrust in Agent Networks
2. A Multi-Perspective Modeling Approach
3. The Tropos(AC) Prototype
4. Conclusions
RWTH AachenComputer Science V
TROPOS Workshop, Trento, November 15-16, 2001
Expectations + Reality
Enhance Viewpoint Resolution Methods: But which Viewpoints are needed?
... communicated in negotiations among
agents
Reaching goals requires certain actions
Speech Acts
Plans
depend on (and influence) Trust, Confidence, Distrust
RWTH AachenComputer Science V
TROPOS Workshop, Trento, November 15-16, 2001
Multi-Perspective Agent Model:The TCD Kernel
RWTH AachenComputer Science V
TROPOS Workshop, Trento, November 15-16, 2001
Multi-Perspective Agent Model:Structural Perspectives
RWTH AachenComputer Science V
TROPOS Workshop, Trento, November 15-16, 2001
Multi-Perspective Agent Model:Action Perspectives
Speech Act Perspektive
Action Workflow [Medina-Mora et al. 1992, Schäl 96]
RWTH AachenComputer Science V
TROPOS Workshop, Trento, November 15-16, 2001
Delegation within Speech Acts
No trust:
Pro‘s:
Con‘s:
no risk
narrow competence
Speech Act Modeling: TCD influences delegation structure
Speech Act Modeling: TCD influences delegation structure
Trust:
Pro‘s:
Con‘s:
broader competence
delayed reaction
Confidence:
Pro‘s:
Con‘s:
higher risk
improved competence and efficiency
Speech Act Modeling: TCD influences delegation structure
Pro‘s:
Con‘s:
Confidence plus Distrust:
focused risk management
monitoring effort
Speech Act Modeling: TCD influences delegation structure
RWTH AachenComputer Science V
TROPOS Workshop, Trento, November 15-16, 2001
Extending i* for a Trust-Based Approach
• Task preconditions and postcondition– synchronization of interdependent agent-plans
• Trust, confidence, and distrust as subj. probabilities – as part of preconditions they control task selection
• A simple (linear) model of time– monitoring expectations (distrust, network rules)
Facilitates the mapping into an executable plan language
Organizer´s Plan with Confidence
Client Organizer Speaker
Watchful Confidence
RWTH AachenComputer Science V
TROPOS Workshop, Trento, November 15-16, 2001
Overview
1. Role of Trust/Distrust in Agent Networks
2. A Multi-Perspective Modeling Approach
3. The Tropos(AC) Prototype
4. Conclusions
RWTH AachenComputer Science V
TROPOS Workshop, Trento, November 15-16, 2001
From Extended i* to Congolog programs
proc sem_org <c,l,t.request(c,l,t) /* client c requests seminar l to be held at time t */ if nettrust(c) NWThreshold then (commit(c,l,t); organize(c,l,t)) else /* call a proc. to find speaker first and then commit */ end proc
Example:
Congolog: A logic-based plan language• offers control constructs like sequences, if-then-else, while, recursion, and concurrency
• allows reasoning about actions with a solution to the frame problem (Reiter 1991)• comes equipped with an interpreter for simulation
RWTH AachenComputer Science V
TROPOS Workshop, Trento, November 15-16, 2001
OMEext. i*
CBaseTCP/IP
static model Telos file
Golog prog. .pl file
Simulator (Java)
Eclipse Golog Int.Java Interf.
History
The System Architecture
RWTH AachenComputer Science V
TROPOS Workshop, Trento, November 15-16, 2001
start readygo_to_
restaurant
eat
choose_ meal
eating_ finished
rate_ meal
everything_ok
something_ not_ok
good_rating
bad_rating
rate_ good
rate_ bad
meal_ chosen
accept_ order
serve_ meal
cook
order_ received
mealmeal
work
trust_high_ enough
chefwaiterguestexogenous
A Restaurant Domain
RWTH AachenComputer Science V
TROPOS Workshop, Trento, November 15-16, 2001
guest waiter chefexogenous
The Extended i* Editor OME
RWTH AachenComputer Science V
TROPOS Workshop, Trento, November 15-16, 2001
/*Agent procedures */
proc(agent_guest,
conc( interrupt(eating_finished=true , decomp_rate_meal),
interrupt(ready=true , decomp_go_to_restaurant))).
proc(agent_chef,interrupt(order_received=true , cook)).
proc(agent_waiter, interrupt(meal_chosen=true , decomp_work)).
/*Decomposition of complex Tasks*/
proc(decomp_work ,[ conc(accept_order , serve_meal), work]).
proc(decomp_go_to_restaurant ,[ conc(choose_meal , eat),
go_to_restaurant]).
proc(decomp_ rate_meal ,[ conc([rate_bad , rate_meal] ,
[rate_good , rate_meal])]).
Congolog Code generated from ext. i*
RWTH AachenComputer Science V
TROPOS Workshop, Trento, November 15-16, 2001
Simulator 1
RWTH AachenComputer Science V
TROPOS Workshop, Trento, November 15-16, 2001
Simulator 2
RWTH AachenComputer Science V
TROPOS Workshop, Trento, November 15-16, 2001
Simulator 3
RWTH AachenComputer Science V
TROPOS Workshop, Trento, November 15-16, 2001
Conclusions
• worked with sociologists to look into the dynamics of how dependencies and strategic rationals change due to the evolution of trust and distrust in a social network
• Introduced methodology based on i*, ConGolog, and speech acts to model and simulate trust-based inter-actions in agent networks. Have first prototype.
• To evaluate our model, we are studying networks of start-up companies, in Germany and the US (MIT). Also look at b2b applications (M. Schoop, T. List).
• Interested in understanding relationships to other formalizations (model-checking) and applications. Formal joint project?