TROPOS Derived from the Greek tropé, which means easily changeable, also easily adaptable....
-
Upload
reginald-reeves -
Category
Documents
-
view
214 -
download
0
Transcript of TROPOS Derived from the Greek tropé, which means easily changeable, also easily adaptable....
![Page 1: TROPOS Derived from the Greek tropé, which means easily changeable, also easily adaptable. Presented By: Varun Rao Bhamidimarri.](https://reader036.fdocuments.us/reader036/viewer/2022062517/56649ebe5503460f94bc8e07/html5/thumbnails/1.jpg)
TROPOS
Derived from the Greek tropé , which means easily changeable , also easily
adaptable.
Presented By:
Varun Rao Bhamidimarri
![Page 2: TROPOS Derived from the Greek tropé, which means easily changeable, also easily adaptable. Presented By: Varun Rao Bhamidimarri.](https://reader036.fdocuments.us/reader036/viewer/2022062517/56649ebe5503460f94bc8e07/html5/thumbnails/2.jpg)
Overview Introduction Key Features of TROPOS. Phases. Organizational Structure. Strategic Alliances. Social Patterns. Goal Model. Conclusion.
![Page 3: TROPOS Derived from the Greek tropé, which means easily changeable, also easily adaptable. Presented By: Varun Rao Bhamidimarri.](https://reader036.fdocuments.us/reader036/viewer/2022062517/56649ebe5503460f94bc8e07/html5/thumbnails/3.jpg)
IntroductionThe explosive growth of application areas such as
electronic commerce, enterprise resource planning, and peer-to-peer computing has deeply and irreversibly changed our views on software and Software Engineering.
Softwares now need to be:- based on open architectures- continuously change and evolve- operate on different platforms- Robust, autonomous, capable of serving end
users with a minimum of overhead and interference
![Page 4: TROPOS Derived from the Greek tropé, which means easily changeable, also easily adaptable. Presented By: Varun Rao Bhamidimarri.](https://reader036.fdocuments.us/reader036/viewer/2022062517/56649ebe5503460f94bc8e07/html5/thumbnails/4.jpg)
Introduction (cont..)For these reasons and more agent-oriented
software development is gaining popularity over traditional software development techniques
provide for an open, evolving architecture that can change at run-time to exploit the services of new agents, or replace under-performing ones.
Can cope with unforeseen circumstances becausetheir architecture includes goals along with a planning capability for meeting them.
![Page 5: TROPOS Derived from the Greek tropé, which means easily changeable, also easily adaptable. Presented By: Varun Rao Bhamidimarri.](https://reader036.fdocuments.us/reader036/viewer/2022062517/56649ebe5503460f94bc8e07/html5/thumbnails/5.jpg)
key features (Tropos) Notion of agent and it’s mentalist notion
used in all the phases
Early requirement analysis, precedes prescriptive requirement specification
Based on the Eric Yu’s i* model
![Page 6: TROPOS Derived from the Greek tropé, which means easily changeable, also easily adaptable. Presented By: Varun Rao Bhamidimarri.](https://reader036.fdocuments.us/reader036/viewer/2022062517/56649ebe5503460f94bc8e07/html5/thumbnails/6.jpg)
Phases Early requirement analysis
- understanding the problem. Late requirement analysis
- describes the system-to-be( functions and qualities).
Architectural design- defines the system’s global architecture in terms of subsystems.
Detailed design- defines the behavior of each component in
detail.
![Page 7: TROPOS Derived from the Greek tropé, which means easily changeable, also easily adaptable. Presented By: Varun Rao Bhamidimarri.](https://reader036.fdocuments.us/reader036/viewer/2022062517/56649ebe5503460f94bc8e07/html5/thumbnails/7.jpg)
Example Media Shop Case Study
store for selling and shipping media items like books, magazines, CD’s etc.
4 actors: Media shop – B2C internet site. Media shop customers – use the
catalogue provided to fill their orders. Media supplier – supplies the in-catalogue
items Media producer – supplies latest releases
![Page 8: TROPOS Derived from the Greek tropé, which means easily changeable, also easily adaptable. Presented By: Varun Rao Bhamidimarri.](https://reader036.fdocuments.us/reader036/viewer/2022062517/56649ebe5503460f94bc8e07/html5/thumbnails/8.jpg)
Requirement Analysis Early requirements
why the system is being developed capture the intentions of the
stakeholders and model them as goals
uses the strategic dependency model
![Page 9: TROPOS Derived from the Greek tropé, which means easily changeable, also easily adaptable. Presented By: Varun Rao Bhamidimarri.](https://reader036.fdocuments.us/reader036/viewer/2022062517/56649ebe5503460f94bc8e07/html5/thumbnails/9.jpg)
Early requirements analysis
Stakeholder Goal (dependum)
Depender
Dependee
depender -> dependum -> dependee
Strategic dependency model
![Page 10: TROPOS Derived from the Greek tropé, which means easily changeable, also easily adaptable. Presented By: Varun Rao Bhamidimarri.](https://reader036.fdocuments.us/reader036/viewer/2022062517/56649ebe5503460f94bc8e07/html5/thumbnails/10.jpg)
Early requirements (cont..) 4 types of dependencies
goal – delegation of responsibility softgoal – similar to goals, but cannot
be defined precisely. task – dependee is required to
perform certain activity. Resource – provide resource to the
depender.
softgoal
goal
task
resource
![Page 11: TROPOS Derived from the Greek tropé, which means easily changeable, also easily adaptable. Presented By: Varun Rao Bhamidimarri.](https://reader036.fdocuments.us/reader036/viewer/2022062517/56649ebe5503460f94bc8e07/html5/thumbnails/11.jpg)
Late Requirements analysis
Describes functional and non-functional requirements of the system-to-be.
Represented as one or more actors who contribute to the fulfillment of stakeholders goals.
Uses the Strategic Rational Model.
![Page 12: TROPOS Derived from the Greek tropé, which means easily changeable, also easily adaptable. Presented By: Varun Rao Bhamidimarri.](https://reader036.fdocuments.us/reader036/viewer/2022062517/56649ebe5503460f94bc8e07/html5/thumbnails/12.jpg)
Strategic rationale model 4 types of nodes:goal, task, resource, softgoal
2 types of links:means-ends, decomposition.
![Page 13: TROPOS Derived from the Greek tropé, which means easily changeable, also easily adaptable. Presented By: Varun Rao Bhamidimarri.](https://reader036.fdocuments.us/reader036/viewer/2022062517/56649ebe5503460f94bc8e07/html5/thumbnails/13.jpg)
Strategic rationale model (cont..)
Means-end link
Decomposition link
![Page 14: TROPOS Derived from the Greek tropé, which means easily changeable, also easily adaptable. Presented By: Varun Rao Bhamidimarri.](https://reader036.fdocuments.us/reader036/viewer/2022062517/56649ebe5503460f94bc8e07/html5/thumbnails/14.jpg)
Architectural design Constitutes a model of system
structure, which describes how system components work together.
use “organizational styles” to describe the system architecture.
![Page 15: TROPOS Derived from the Greek tropé, which means easily changeable, also easily adaptable. Presented By: Varun Rao Bhamidimarri.](https://reader036.fdocuments.us/reader036/viewer/2022062517/56649ebe5503460f94bc8e07/html5/thumbnails/15.jpg)
Detailed Design Has details of each architectural
component of a system. determines how the goals assigned to
each actor are fulfilled by agents in terms of “design patterns”.
describes agent communication and behavior.
![Page 16: TROPOS Derived from the Greek tropé, which means easily changeable, also easily adaptable. Presented By: Varun Rao Bhamidimarri.](https://reader036.fdocuments.us/reader036/viewer/2022062517/56649ebe5503460f94bc8e07/html5/thumbnails/16.jpg)
Formal Tropos Verification of requirements
specifications.
Focuses not only on the intentional elements but also the conditions in which they arise.
describes actors, goals, dependencies of the domain and their relationship.
![Page 17: TROPOS Derived from the Greek tropé, which means easily changeable, also easily adaptable. Presented By: Varun Rao Bhamidimarri.](https://reader036.fdocuments.us/reader036/viewer/2022062517/56649ebe5503460f94bc8e07/html5/thumbnails/17.jpg)
Formal Tropos (Cont..)
Two layers: Outer layer – similar to a class
declaration. Associates attributes to elements.
Inner layer expresses constrains on the lifetime
of the objects.
![Page 18: TROPOS Derived from the Greek tropé, which means easily changeable, also easily adaptable. Presented By: Varun Rao Bhamidimarri.](https://reader036.fdocuments.us/reader036/viewer/2022062517/56649ebe5503460f94bc8e07/html5/thumbnails/18.jpg)
Formal Tropos – Outer layer
mode
attribute
![Page 19: TROPOS Derived from the Greek tropé, which means easily changeable, also easily adaptable. Presented By: Varun Rao Bhamidimarri.](https://reader036.fdocuments.us/reader036/viewer/2022062517/56649ebe5503460f94bc8e07/html5/thumbnails/19.jpg)
Formal Tropos – Inner layer
Cardinality constrain
actor constrain
Instance creationTask is performed
![Page 20: TROPOS Derived from the Greek tropé, which means easily changeable, also easily adaptable. Presented By: Varun Rao Bhamidimarri.](https://reader036.fdocuments.us/reader036/viewer/2022062517/56649ebe5503460f94bc8e07/html5/thumbnails/20.jpg)
Formal Tropos verificationT-Tool Can be verified in order to identify:
Errors Ambiguities Under-specifications
Uses the T-Tool to support the verification process.
![Page 21: TROPOS Derived from the Greek tropé, which means easily changeable, also easily adaptable. Presented By: Varun Rao Bhamidimarri.](https://reader036.fdocuments.us/reader036/viewer/2022062517/56649ebe5503460f94bc8e07/html5/thumbnails/21.jpg)
Formal Tropos verificationT-Tool (Cont ...) Provides several verification
functionalities:
Animation – allows for an immediate feedback on the effects of constraints and for an early identification of trivial bugs and missing requirements.
![Page 22: TROPOS Derived from the Greek tropé, which means easily changeable, also easily adaptable. Presented By: Varun Rao Bhamidimarri.](https://reader036.fdocuments.us/reader036/viewer/2022062517/56649ebe5503460f94bc8e07/html5/thumbnails/22.jpg)
Formal Tropos verificationT-Tool (Cont ...) Consistency checks – checks to see if
the constrains are not self contradictory.
Possibility checks – verifies whether we have ruled out scenarios expected by the stakeholders.
![Page 23: TROPOS Derived from the Greek tropé, which means easily changeable, also easily adaptable. Presented By: Varun Rao Bhamidimarri.](https://reader036.fdocuments.us/reader036/viewer/2022062517/56649ebe5503460f94bc8e07/html5/thumbnails/23.jpg)
Formal Tropos verificationT-Tool (Cont ...) Assertion properties: Verify weather the requirements are
under-specified and allowing for invalid senarios.
![Page 24: TROPOS Derived from the Greek tropé, which means easily changeable, also easily adaptable. Presented By: Varun Rao Bhamidimarri.](https://reader036.fdocuments.us/reader036/viewer/2022062517/56649ebe5503460f94bc8e07/html5/thumbnails/24.jpg)
Socially – based MAS Architectures Since the fundamental concept of MAS
(multi – agent system) is intentional and social, tropos uses the following :
Organizational Theory Strategic Alliances
![Page 25: TROPOS Derived from the Greek tropé, which means easily changeable, also easily adaptable. Presented By: Varun Rao Bhamidimarri.](https://reader036.fdocuments.us/reader036/viewer/2022062517/56649ebe5503460f94bc8e07/html5/thumbnails/25.jpg)
Organizational Theory(architectural design) Describes how practical organizations
are structured. How new ones can be structured How old ones can be changed to
improve effectiveness. E.g. pyramid style, chain of values,
matrix, bidding style etc.
![Page 26: TROPOS Derived from the Greek tropé, which means easily changeable, also easily adaptable. Presented By: Varun Rao Bhamidimarri.](https://reader036.fdocuments.us/reader036/viewer/2022062517/56649ebe5503460f94bc8e07/html5/thumbnails/26.jpg)
Organizational Structure :(Structure – in – 5 )
Proposed by Minztberg5 sub-structures: Operational Code – carries out the basic
tasks and procedures. Strategic Apex – makes all executive
decisions and defines overall strategy.
![Page 27: TROPOS Derived from the Greek tropé, which means easily changeable, also easily adaptable. Presented By: Varun Rao Bhamidimarri.](https://reader036.fdocuments.us/reader036/viewer/2022062517/56649ebe5503460f94bc8e07/html5/thumbnails/27.jpg)
Structure – in – 5 (Cont..) Middle Line – establishes hierarchy of
authority between the strategic apex and the operational core. Consists of managers.
Technostructure – makes others work effective by standardizing Processes, outputs and skills
![Page 28: TROPOS Derived from the Greek tropé, which means easily changeable, also easily adaptable. Presented By: Varun Rao Bhamidimarri.](https://reader036.fdocuments.us/reader036/viewer/2022062517/56649ebe5503460f94bc8e07/html5/thumbnails/28.jpg)
Structure – in – 5 (Cont..) Support – provides specialized services
E.g. cafeteria, R&D, legal counsel
![Page 29: TROPOS Derived from the Greek tropé, which means easily changeable, also easily adaptable. Presented By: Varun Rao Bhamidimarri.](https://reader036.fdocuments.us/reader036/viewer/2022062517/56649ebe5503460f94bc8e07/html5/thumbnails/29.jpg)
Structure – in – 5 (Cont..)
Operational Core
Strategic apex
Support
Middle Line
![Page 30: TROPOS Derived from the Greek tropé, which means easily changeable, also easily adaptable. Presented By: Varun Rao Bhamidimarri.](https://reader036.fdocuments.us/reader036/viewer/2022062517/56649ebe5503460f94bc8e07/html5/thumbnails/30.jpg)
Strategic Alliances
Links specific facets of two or more organizations.
Enhances the effectiveness of participant organizations, by mutually beneficial trade of technologies, skills or products.
![Page 31: TROPOS Derived from the Greek tropé, which means easily changeable, also easily adaptable. Presented By: Varun Rao Bhamidimarri.](https://reader036.fdocuments.us/reader036/viewer/2022062517/56649ebe5503460f94bc8e07/html5/thumbnails/31.jpg)
Strategic Alliances (Cont..) E.g. Joint Venture Style:
Involves agreement between two or more partners to obtain benefits of larger scale.
![Page 32: TROPOS Derived from the Greek tropé, which means easily changeable, also easily adaptable. Presented By: Varun Rao Bhamidimarri.](https://reader036.fdocuments.us/reader036/viewer/2022062517/56649ebe5503460f94bc8e07/html5/thumbnails/32.jpg)
Social patterns : (detailed design) Specifies how the goals delegated to
each actor are fulfilled. Is guided by a catalogue of multi-agent
patterns, which offer a set of standard solutions.
Social patterns focus on the social aspects in multi-agent systems.
![Page 33: TROPOS Derived from the Greek tropé, which means easily changeable, also easily adaptable. Presented By: Varun Rao Bhamidimarri.](https://reader036.fdocuments.us/reader036/viewer/2022062517/56649ebe5503460f94bc8e07/html5/thumbnails/33.jpg)
Social patterns (Cont..)
2 categories: The pair pattern : describes direct
interaction between the agents. Such as: Booking, call-for-proposal,
subscription etc. E.g. Bidding pattern involves initiator
and no of participants. He organizes and leads the bidding process
![Page 34: TROPOS Derived from the Greek tropé, which means easily changeable, also easily adaptable. Presented By: Varun Rao Bhamidimarri.](https://reader036.fdocuments.us/reader036/viewer/2022062517/56649ebe5503460f94bc8e07/html5/thumbnails/34.jpg)
Social patterns (Cont..) Mediation pattern:
Features a intermediary agent that helps other agents to reach an agreement on exchanging services such as
Monitor, broker, matchmaker, mediator, embassy etc.
E.g. Broker pattern – intermediary between the provider and the consumer.
![Page 35: TROPOS Derived from the Greek tropé, which means easily changeable, also easily adaptable. Presented By: Varun Rao Bhamidimarri.](https://reader036.fdocuments.us/reader036/viewer/2022062517/56649ebe5503460f94bc8e07/html5/thumbnails/35.jpg)
Social patterns (Cont..) In our example of Media Store:
Shopping cart – booking pattern (reserves available items).
Information broker (broker pattern) – between the “Shopping cart” and the “Product Database”.
![Page 36: TROPOS Derived from the Greek tropé, which means easily changeable, also easily adaptable. Presented By: Varun Rao Bhamidimarri.](https://reader036.fdocuments.us/reader036/viewer/2022062517/56649ebe5503460f94bc8e07/html5/thumbnails/36.jpg)
Goal Models Traditional goals consists of AND/OR
decomposition.
Unfortunately these well defined relationships cannot be applied for many domains:
![Page 37: TROPOS Derived from the Greek tropé, which means easily changeable, also easily adaptable. Presented By: Varun Rao Bhamidimarri.](https://reader036.fdocuments.us/reader036/viewer/2022062517/56649ebe5503460f94bc8e07/html5/thumbnails/37.jpg)
Goal Models (Cont..)
E.g. “Highly Reliable System” Cannot be defined formally “thoroughly debugged system” and
“thoroughly tested system” – contribute to the satisfaction, but it is only partial.
They don’t guarantee the satisfaction of the goal.
![Page 38: TROPOS Derived from the Greek tropé, which means easily changeable, also easily adaptable. Presented By: Varun Rao Bhamidimarri.](https://reader036.fdocuments.us/reader036/viewer/2022062517/56649ebe5503460f94bc8e07/html5/thumbnails/38.jpg)
Goal Models (Cont..) Tropos proposes a formal model for the
goal graph.
Objectives are represented as goals and analyzed using goal relationships like: AND, OR -/+ (partial) – denial/satisfaction --/++ (sufficient) - denial/satisfaction
![Page 39: TROPOS Derived from the Greek tropé, which means easily changeable, also easily adaptable. Presented By: Varun Rao Bhamidimarri.](https://reader036.fdocuments.us/reader036/viewer/2022062517/56649ebe5503460f94bc8e07/html5/thumbnails/39.jpg)
Goal Model ExampleA partial goal model for GM
![Page 40: TROPOS Derived from the Greek tropé, which means easily changeable, also easily adaptable. Presented By: Varun Rao Bhamidimarri.](https://reader036.fdocuments.us/reader036/viewer/2022062517/56649ebe5503460f94bc8e07/html5/thumbnails/40.jpg)
Conclusion Distinguishing feature:
Emphasis on requirement analysis. Lacks tool support for transition
between phases. Has been applied only to modest – size
case studies, not to full fledged multi – agent systems.
![Page 41: TROPOS Derived from the Greek tropé, which means easily changeable, also easily adaptable. Presented By: Varun Rao Bhamidimarri.](https://reader036.fdocuments.us/reader036/viewer/2022062517/56649ebe5503460f94bc8e07/html5/thumbnails/41.jpg)
Comparison with MASE
TROPOS MASEEmphasis on early requirement analysis.
Uses goal hierarchy to capture requirements.
Tropos provides Formal Tropos to verify requirements.
No formal language support
No proper tool support Provides tool support (agentMom)
Tropos uses Organization Theory and Social Patterns for to capture system interactions.
Uses role model and the concurrent task diagram.
Not been applied to full fledged multi – agent systems
Has been applied to many graduate and research level projects with very good results
![Page 42: TROPOS Derived from the Greek tropé, which means easily changeable, also easily adaptable. Presented By: Varun Rao Bhamidimarri.](https://reader036.fdocuments.us/reader036/viewer/2022062517/56649ebe5503460f94bc8e07/html5/thumbnails/42.jpg)
Questions? OR Comments?
…..