Docstoc

2007_03_02_moves_kickoff_-_brecht

Document Sample
2007_03_02_moves_kickoff_-_brecht Powered By Docstoc
					Context-Oriented
Domain Analysis
        Brecht Desmet
 Programming Technology Lab
Context-aware system
         IgnoreAdaptation

         AnswermachineAdaptation

         RedirectAdaptation

         CounterAdaptation

         WiFiAdaptation

         GPRSAdaptation
                CODA
• Approach for modelling context-aware
  software requirements.
• Means to formalize and structure software
  requirements.
• Increases communication for various
  stakeholders during software life cycle.
• High-level description which can be
  mapped to computational level.
                                   CODA Diagram
                                                                 Cell Phone Behaviour per
                                                                  Phone Call or Message


                            Incoming                                                                                Outgoing
                                                                           Shared
                          Communication                                                                           Communication
                              0...1                                                                                              0...1
                                                                                                            Switch = On                  Connection = GPRS
          Battery = Low
                                      11pm < Time < 8am                                                           Connection = Wifi       Type = Message

                                                                                                 Counter
Ignore                                                                                                                                                   GPRS
                                                Answermachine                                                             WiFi
                                                                                                   1...1
          Location = Meetingroom
                                                      0...1                           Type = Phonecall
                                                                                                         Type=Message
                                         Result = Exception
                                                       Result = Overflow
         Redirect                                                                   Time                         Data
                               Emergency
                                                                                                               Packages
                                                              OutOfMemory
                                   CODA Diagram
                    +
                                                                 Cell Phone Behaviour per

                    +
                                                                  Phone Call or Message


                            Incoming                                                                                Outgoing
                                                                           Shared
                          Communication                                                                           Communication
                              0...1                                                                                              0...1
                                                                                                            Switch = On                  Connection = GPRS
          Battery = Low
                                      11pm < Time < 8am                                                           Connection = Wifi       Type = Message

                                                                                                 Counter
Ignore                                                                                                                                                   GPRS
                                                Answermachine                                                             WiFi
                                                                                                   1...1
          Location = Meetingroom
                                                      0...1                           Type = Phonecall
                                                                                                         Type=Message
                                         Result = Exception
                                                       Result = Overflow
         Redirect                                                                   Time                         Data
                               Emergency
                                                                                                               Packages
                                                              OutOfMemory
                                   CODA Diagram
                    +
                                                                 Cell Phone Behaviour per

                    +
                                                                  Phone Call or Message


                            Incoming                                                                                Outgoing
                                                                           Shared
                          Communication                                                                           Communication
                              0...1                                                                                              0...1
                                                                                                            Switch = On                  Connection = GPRS
          Battery = Low
                                      11pm < Time < 8am                                                           Connection = Wifi       Type = Message

                                                                                                 Counter
Ignore                                                                                                                                                   GPRS
                                                Answermachine                                                             WiFi
                                                                                                   1...1
          Location = Meetingroom
                                                      0...1                           Type = Phonecall
                                                                                                         Type=Message
                                         Result = Exception
                                                       Result = Overflow
         Redirect                                                                   Time                         Data
                               Emergency
                                                                                                               Packages
                                                              OutOfMemory
                                   CODA Diagram
                    +
                                                                 Cell Phone Behaviour per

                    +
                                                                  Phone Call or Message


                            Incoming                                                                                Outgoing
                                                                           Shared
                          Communication                                                                           Communication
                              0...1                                                                                              0...1
                                                                                                            Switch = On                  Connection = GPRS
          Battery = Low
                                      11pm < Time < 8am                                                           Connection = Wifi       Type = Message

                                                                                                 Counter
Ignore                                                                                                                                                   GPRS
                                                Answermachine                                                             WiFi
                                                                                                   1...1
          Location = Meetingroom
                                                      0...1                           Type = Phonecall
                                                                                                         Type=Message
                                         Result = Exception
                                                       Result = Overflow
         Redirect                                                                   Time                         Data
                               Emergency
                                                                                                               Packages
                                                              OutOfMemory
                                   CODA Diagram
                    +
                                                                 Cell Phone Behaviour per

                    +
                                                                  Phone Call or Message


                            Incoming                                                                                Outgoing
                                                                           Shared
                          Communication                                                                           Communication
                              0...1                                                                                              0...1
                                                                                                            Switch = On                  Connection = GPRS
          Battery = Low
                                      11pm < Time < 8am                                                           Connection = Wifi       Type = Message

                                                                                                 Counter
Ignore                                                                                                                                                   GPRS
                                                Answermachine                                                             WiFi
                                                                                                   1...1
          Location = Meetingroom
                                                      0...1                           Type = Phonecall
                                                                                                         Type=Message
                                         Result = Exception
                                                       Result = Overflow
         Redirect                                                                   Time                         Data
                               Emergency
                                                                                                               Packages
                                                              OutOfMemory
                                   CODA Diagram
                    +
                                                                 Cell Phone Behaviour per

                    +
                                                                  Phone Call or Message


                            Incoming                                                                                Outgoing
                                                                           Shared
                          Communication                                                                           Communication
                              0...1                                                                                              0...1
                                                                                                            Switch = On                  Connection = GPRS
          Battery = Low
                                      11pm < Time < 8am                                                           Connection = Wifi       Type = Message

                                                                                                 Counter
Ignore                                                                                                                                                   GPRS
                                                Answermachine                                                             WiFi
                                                                                                   1...1
          Location = Meetingroom
                                                      0...1                           Type = Phonecall
                                                                                                         Type=Message
                                         Result = Exception
                                                       Result = Overflow
         Redirect                                                                   Time                         Data
                               Emergency
                                                                                                               Packages
                                                              OutOfMemory
                                   CODA Diagram
                    +
                                                                 Cell Phone Behaviour per

                    +
                                                                  Phone Call or Message


                            Incoming                                                                                Outgoing
                                                                           Shared
                          Communication                                                                           Communication
                              0...1                                                                                              0...1
                                                                                                            Switch = On                  Connection = GPRS
          Battery = Low
                                      11pm < Time < 8am                                                           Connection = Wifi       Type = Message

                                                                                                 Counter
Ignore                                                                                                                                                   GPRS
                                                Answermachine                                                             WiFi
                                                                                                   1...1
          Location = Meetingroom
                                                      0...1                           Type = Phonecall
                                                                                                         Type=Message
                                         Result = Exception
                                                       Result = Overflow
         Redirect                                                                   Time                         Data
                               Emergency
                                                                                                               Packages
                                                              OutOfMemory
                                   CODA Diagram
                    +
                                                                 Cell Phone Behaviour per

                    +
                                                                  Phone Call or Message


                            Incoming                                                                                Outgoing
                                                                           Shared
                          Communication                                                                           Communication
                              0...1                                                                                              0...1
                                                                                                            Switch = On                  Connection = GPRS
          Battery = Low
                                      11pm < Time < 8am                                                           Connection = Wifi       Type = Message

                                                                                                 Counter
Ignore                                                                                                                                                   GPRS
                                                Answermachine                                                             WiFi
                                                                                                   1...1
          Location = Meetingroom
                                                      0...1                           Type = Phonecall
                                                                                                         Type=Message
                                         Result = Exception
                                                       Result = Overflow
         Redirect                                                                   Time                         Data
                               Emergency
                                                                                                               Packages
                                                              OutOfMemory
Interactions at choice points
                                                                 Cell Phone Behaviour per
                                                                  Phone Call or Message


                            Incoming                                                                                Outgoing
                                                                           Shared
                          Communication                                                                           Communication
                              0...1                                                                                              0...1
                                                                                                            Switch = On                  Connection = GPRS
          Battery = Low
                                      11pm < Time < 8am                                                           Connection = Wifi       Type = Message

                                                                                                 Counter
Ignore                                                                                                                                                   GPRS
                                                Answermachine                                                             WiFi
                                                                                                   1...1
          Location = Meetingroom
                                                      0...1                           Type = Phonecall
                                                                                                         Type=Message
                                         Result = Exception
                                                       Result = Overflow
         Redirect                                                                   Time                         Data
                               Emergency
                                                                                                               Packages
                                                              OutOfMemory
Interactions at choice points
                                                                 Cell Phone Behaviour per
                                                                  Phone Call or Message


                            Incoming                                                                                Outgoing
                                                                           Shared
                          Communication                                                                           Communication
                              0...1                                                                                              0...1
                                                                                                            Switch = On                  Connection = GPRS
          Battery = Low
                                      11pm < Time < 8am                                                           Connection = Wifi       Type = Message

                                                                                                 Counter
Ignore                                                                                                                                                   GPRS
                                                Answermachine                                                             WiFi
                                                                                                   1...1
          Location = Meetingroom
                                                      0...1                           Type = Phonecall
                                                                                                         Type=Message
                                         Result = Exception
                                                       Result = Overflow
         Redirect                                                                   Time                         Data
                               Emergency
                                                                                                               Packages
                                                              OutOfMemory
Interactions at choice points
                                                                 Cell Phone Behaviour per
                                                                  Phone Call or Message


                            Incoming                                                                                Outgoing
                                                                           Shared
                          Communication                                                                           Communication
                              0...1                                                                                              0...1
                                                                                                            Switch = On                  Connection = GPRS
          Battery = Low
                                      11pm < Time < 8am                                                           Connection = Wifi       Type = Message

                                                                                                 Counter
Ignore                                                                                                                                                   GPRS
                                                Answermachine                                                             WiFi
                                                                                                   1...1
          Location = Meetingroom
                                                      0...1                           Type = Phonecall
                                                                                                         Type=Message
                                         Result = Exception
                                                       Result = Overflow
         Redirect                                                                   Time                         Data
                               Emergency
                                                                                                               Packages
                                                              OutOfMemory
                     Resolution strategies
    Priority strategy                                                                                      Frequency strategy
                                                                 Cell Phone Behaviour per
                                                                  Phone Call or Message


                            Incoming                                                                                Outgoing
                                                                           Shared
                          Communication                                                                           Communication
                              0...1                                                                                              0...1
                                                                                                            Switch = On                  Connection = GPRS
          Battery = Low

1
                                      11pm < Time < 8am                                                           Connection = Wifi       Type = Message
                                                                                                                                                         75%
Ignore                                        3 Answermachine
                                                                                                 Counter
                                                                                                                                                         GPRS
                                                                                                   1...1
                                                                                                                          WiFi
          Location = Meetingroom
                                                      0...1                           Type = Phonecall
                                                                                                                          25%

         2
                                                                                                         Type=Message
                                         Result = Exception
                                                       Result = Overflow
         Redirect                                                                   Time                         Data
                               Emergency
                                                                                                               Packages
                                                              OutOfMemory
                     Resolution strategies
Case-by-case strategy                                                                                Timestamps strategy
                                                                 Cell Phone Behaviour per
                                                                  Phone Call or Message


                            Incoming                                                                                Outgoing
                                                                           Shared
                          Communication                                                                           Communication
                              0...1                                                                                              0...1
                                                                                                            Switch = On                  Connection = GPRS
          Battery = Low
                                      11pm < Time < 8am                                                           Connection = Wifi       Type = Message


            1
                                                                                                 Counter
Ignore                                                                                                                                                   GPRS
                                                Answermachine                                                             WiFi                               #1
   1
                                                                                                   1...1
          Location = Meetingroom
                                                      0...1                           Type = Phonecall
                                                                                                                          #2
                                                                                                         Type=Message
                          2
                                         Result = Exception
                                                       Result = Overflow
         Redirect                                                                   Time                         Data
                               Emergency
                                                                                                               Packages
                                                              OutOfMemory
    Declarative language
• Textual representation of CODA
 • XML Documents
 • XML Schema
   Definition
Decision tables
      Decision tables
• Formal semantics for CODA
• Not human-friendly
 • “enumeration”-like style
• Loss of intentions
• Scalability issues
• Do not capture advanced resolution
  strategies
 Comparison FODA-CODA
                          FODA                          CODA
   Goal         product-line development        context-aware systems
                                             runtime variability in single
  Concept       variations in product family           system

                    shared behaviour of
 Commons                                     context-unaware behaviour
                      product family
                                                  context-dependent
Variabilities             features
                                                     adaptations

   Mode                static analysis             dynamic analysis
  Future perspectives


• Extend CODA to support event-driven
  applications.
• Checking correctness and completeness.
• Mapping to computational level.
         Thank you!


• Context-aware computing
• Modelling
• Language engineering

				
DOCUMENT INFO
Shared By:
Categories:
Tags:
Stats:
views:0
posted:4/22/2013
language:Unknown
pages:22
yaofenjin yaofenjin http://
About