Docstoc

PDF - Autonomic Pervasive Computing based on Planning

Document Sample
PDF - Autonomic Pervasive Computing based on Planning Powered By Docstoc
					                                                                                     '
                                                                                                 5           $           6*
                                                                    $                    $
                                                                    "
                  !               ! "                                                            $               !

                                                                    1                $                           $
#                                                       $
        %                                                                                                        1             !
                                        "                                                $
         $                                                                                                                            $
                  "
                                   &                                                 $                           $
                                                                                1
                                                                                (                                              $
                                                                $                7       8
"
'( '                                                            $                                                    1
                              !                                         1                                    !
                                                    !
                                            "                   7       8                                $               (
                                                                    !
                                                        )       9           (
                                                                                                                                      1
                                                +
                                            *
                                                                                                         "                        $

                                                                                             $
                                                                                                                 $




                                                                                             7       8                                "
                                                                                     "
                              !                                         $                            1
                          "
    !
                                                                                                 $                                    1
                      "           # $                                                                                        $ (
%                                       &                       $                                                                     $
                          '(                                                                         :
                                            (                                                                        !
              %                                             &
                                                                                 (                                            1
                                                                    $
)
                                       #      *
+       #*+        , /
                  , -., 0 1          + / 3--0 '4
                                   #* / "2
$                                                                            $
                                                                                                                 :                   $
                                $                                                                        (                                              (
$           ;    3=
                 <
*           3                                                       *             >
                                                $                   *            0
                                     *                  ?                                                                                    :* $
                                *           .                                                                                                  $                  $
                                     *                  2
                                                        9                                    D           $
                 *         - *              /             ),                                                     $               +       (
$                $
                                                                                                                         $               $                    $


    1                                                                            $                       $                                $
                                                                                                                             ;                     *
                 $                                                                                           $                               " (
    @                                                                        $                                                                     1
                                                                                                             "
                                                                                                                                                       (
                                6
                 $                                                                                                                                      $
                                        $                       $                        (                                                   $         1          $
                                                                                                                                                       (
                                                    %                    7       8                                       $
    (8       &              ;A1%$                                                                                                                                 1
    (        &
B                           %           :                       $
                      C                                                              &
                     $
    *        $
                                (                                        *                   6                               $
$
                            $
                     $
                                                (                                            +                                            $            $


                                                $                                                                                !

                                                9                            !               ,
        !                                                                                            $               $

         ;                          $
                           $                                (                            $                       $           $ (
             "                                                                                                                                     $
                                %7                                  8&
                     $                      ;A1                              $               $               $
                                                                                                                                     $
                                                                                                                     $
                                            (                                                -               .                           6 @
                           $                                            $                                                                              C 6*
                          1                     !                                                $                   $
                            (                   1                                                                                    !
                                                                                                                     1                                        $
                                                                                    '(
                                                                                                                                 $
                                                                    $
                                                        "                           ;
                                                                                    1                                    $       (
                           $                                                        1                                                        $
    /           0                                               %                                                    5
                                                                                         1
                                               +   (                                                 (
                                   $                            $                        '                   (
                                                                    $                            *       3                                       $
                                       (   E

                                           (                            "       #
    12
      $              $                                                                                   $
                                                                                                                 $
     $                                             $
    $
                                                                                                                             %
    3 '                            $                                                                 &                                       $
                                                                                    (                                            (
    4                                                               *                                                                        $

        $                                  (                                                 1

                                                                $
                                                                        "                            $
                                                   $

                                                                                                                         +       (           F

!                                                                       lightBulb(bulbID, room3232, off)
                                                                          D        *              locationService(
                                                                        serviceID, cs_building, running) '
                                                                                                 !                                   $
                                                                1           @       !
                                                       (                                   ;                         0
$                                  1                                                   :    "G $"                                ?=
                                                                                                                                 <
                     "                                          (                       %$                                                   &
                     1                                      5                         %                              $                       &
)       ;             %&                                                            %      $                                                     &
3       ;                          $               %&                                        %
                                                                                                                                         &

>       ;                                      *   1*                                                    +       (
0       A   *       1*"                                                     $                                5
                                                                          coordinator( appID, pptApp, machine1,
?       1                                      $                (       initialized, [pres1, pres2], [cont1])
                                       3                    $             pptModel( appID, machine1, started,
                               $                                    1   “gaia.ppt”, 1)
                                                                          presentation( appID, pres1,
                                           (                            mspowerpoint, machine5)
                                                                          presentation( appID, pres2,
.       1                                                               mspowerpoint, machine6)
                $    5                                                    controller( appID, cont1,
                                                                        handheldController, ipaq1)
                                                                                                                                    BBD
        E                           )                                           $        + I                                $                    5
                            )            3                                       )                                                              1
                                                                   )        $                                                                            $
            7               8                                                   )
                            )             :                $
                                    ?                      3
        :                   $                                                   .                             $
                        )                                                                            )
                                              !)
            (                                                          '(            $                                              $
        (                       5                                                                                                                        (
location ( chris , inside , room 3231)                                                       BBD *                                                                $
temperature ( room 3231 , “=” , 98 F)

                                                                                     !                                                               +       (
                                              $                                                                                 $
                                                                                                         $
                        $                     61 0=
                                        B : DH D<                                        !                          *                   %$
                                        *     9                                                                                     ;     & 1
                    "                       1                                        (                                                      !
                                                                   $            $
$                                                          $                             1                                      7               8                BBD
                                                                                                                                          (
                                                                                                                                        9
"       #                                                                                                                                $
                                                                                             $           %                               & $
                                                                            9                                              $                                     $
                                 )>= '
                              BBD<                                     ;                                          %      3
                                                                                                                       -, ))                             $
                $           BBD                                                                                       & :
                             BBD                                            BD
                                                                            1            7           "              8$
    C           $                                                                    $
                                                                                                                                                                     1
            %                         & *
                                  BBD $                (                    $
                                %$                                          $
(                                                  &                   $             "       %           &
    +       (                       $        BBD                                         '                                                                   $
    +                               $                          5                                                        %                   &                $
(:action setFile_ppt                                                                                           $
                                                                                                                        $               (                        9
    :parameters (?id - string ?filename
    - pptfile)
    :vars (?mac – machine ?slidenumber
    – number)
                                                                                         +           (
    :precondition
       (and (pptModel ?id ?mac stated
    ?filename1 ?slidenumber)                                                                     %
       (not (= ?filename ?filename1)))                                                                       C
    :effect                                                                                                   & 6
       (pptModel ?id ?mac started
    ?filename 1)
    :check                                                                              controller(appID,cont1,handheldControl
       (= (getFile_ppt ?id) ?filename)                                               ler,ipaq1):
       (failure non-retryable))                                                           6 if activity(room, meeting)
                                                                                          4 if activity(room, presentation)
   controller(appID,cont1,touchScreenCont                                       1       $           (
roller,machine4): 3
   controller(appID,cont1,touchScreenCont
roller,machine7): 2                                                                                     C
                                                                                    :
                                                                    '
%                                   *                   &                                                       (   1
             $                          %   !)              0
        2&                                                                    $                             , %$
                                            "),    H),                  $   "),      ),
                                                                                    H &
                                                                $




'                                                                                                           $
                                                                    &           (
             $
                                                                '

'   (                                                               '                           $
                                                                $
                               %&                 ;A1 $                             $
                                    $
                             $
                                                                                                $
                         ;A1            $    + )                    +       (                                       $
                     %         7              8&
         $                                                              :                                               %
                         %                                  &                                   $                   (       &
                                                    %           G
                 $                                              $
    &                                       $
                                            ;A1                                             "
                                                   %$                                       $
                +       (                                                   '    (
                                                                        :
                        (                                   5                                   $
goal(display_ppt, File) :- coordinator(
 appID, pptApp, M1, initialized),                                                                    !
pptModel( appID, M2, started, File, 1),                                             1                                            (
presentation(appID, pres1,
 PresentationType,M3) ,
controller( appID, cont1,
 ControllerType,M4)                                                         '! %                )*          +
                        $
                        $                               +                                                        $
                                                                        E                                !
                        :)                      :
:3          $                           )           +                                           6
                                                                                        (               )=
                                                                                                        <                                        "
        $                                                                                                $             *     "
                                                                                                                      $
                                    $                                                                                                                BBD
                                            G
        F                                                                            (
                        +           (                                                                                                $
7               8                                                               $           $%       D                &5
                                                                            1 (createcoordinator cspc24016 abc ppt)
                                                        1                   2   (createmodel-ppt   cspc24016   abc    1
        7                       8       !                                   planning.ppt)
                                                                            3     (createcontroller      ipaq1      abc
                    $                                                       handheldController)
                                                                            3   (createpresentation    cspc24015    abc
            (       E                   *           $                       mspowerpoint)
                                                                            3   (createpresentation    cspc24017    abc
                                                    $                       mspowerpoint)
                        (       E

                                                                    $               ).
                                                                                 30, $                  7        8F
    (                                                           $       (       $                                          30,).         E $
                                                                                 7                 8F
                                                                                                    !)                 $
                1                                                                                30,)?                  30,)2
                                                                            $                                         >
                                    $                                                                    (
                                                                        "                   @       $
                                                                            +       (
                                                $       %           $ &                                                          @
                                                                                                       ).
                                                                                                    30, $                                    7   8
                                                ( +         (               7 8
                                                                                            %$
7 + I               8                       $                                                                &
                                                    7               8 1
                                                                            '" ,
                            (

                                                                            $
                                    C           @
                                $                                           %                                        ,                   &
                                                *       1*"                                                          !                                %
                                                                                                        BBD          & 1
                                                                                 BBD
                                                                                                    $
                                                  (
                                                                                                  %           )?                          $
                                                                                     & *
                                                                             1
          $                                                                                                   (

                                                                                           "



                                      "
                                      !
                                          #




                                                                                                              "
                                                                                                              !
                                                                                                                   #


                                                                                                                  "
                                                                                                                  !
                                                                                 "                                     #
                              "       '                                $ %
                                  (                                   $
                                                                                 &                                 "
                                                                                                                   !
                              $
                                                                                                                           #




                                                                                           $))*
                                                  "
                                                                                           + %
                                                  $




-                                                                                                                                   BBD
                                                                             *     1*             %           (&
                                                  %       $       + 3&           0  2            5%                        6                  (
                                                                                                                                                  @
                                  $                                          %                                    &
                                                                                           1                                                  6
          A       1                                                          B             1              1                    %$         $
0                                                                                                                 @                           $
                                                                                 !             "                   &
                                                      $                                        (1                   <))=

                                          0                   5                      (                                          6         *       )3=
                                                                                                                                                  <
    )         '           (                                                                                                     ;
     !            *                           %                   ;    &                                                             *                "
          !                                           %                                                   (
                      &                                       1                                       *
              (                       (                                                                                                         # $
    3 *   '       *                                                                                                                           3=
                                                                                                                                              <

                                                                             .                                             /
                              (
    >                                                         !
                                                                                           1 (
                                                                         (
                                                             1                               2                                    1
                     @           ;                          $                    @
6              @             ;           %              A        1                 &
                                                                                 ;A1             1                                         1

                                                                                                                    $                                   1
                             6                9                   $
9          $                         %            $                      9           &
                   6:                                                                            1           $
                                                                                                                                      @                   "
               $                                                     +                                            $
                                         ;                            (                  %                            &
                                                                     $               "                                                         9
                                                                                 $
                                                  $                      $                                    $
                                                                                                                              1
                       $                                                                                                  $
                   $                                                 (                   9                                                     9
                                             BBD             1
                             !

                                                  $
       1                                                                                         *
                             $                              >,J                           )=
                                                                                         < L E                     *        7A        *    "
           +       (                                         ? .?                %       ;      "               8       M "/
                                                                                                                       1 1 /*
                        -&                                                               <3=      N :            7; 5 :          $    1
                       $                                      >/?                    1   '             *       81 1  '''                               20"
                                                                                         -> 6 "B 3, 3   ,
                                                                     $ $                  >=
                                                                                         < L         *         7         *                             81
                                                                     -           ? .?    1                        1             *            ,
                                                                                                                                           3, 3
            $                                /-              $       )                   <0=              +           7           B
)> .                $        $                                                           B : DH D 61                                                      8
                                                                                             5O$$$
                                                                                               O               3, )O>O
                                                                                                              O , ,
                                                                                          ?=
                                                                                         < L         ;'              * %)/ 7 --&
0      *               1                                                                        " $"
                                                                                                  "-,           8 M                 6 @        6
                                                        $                                              )53."0/
                                                                              :1          .=
                                                                                         < * A               7             ; "
6(                 @ <
                     .=                                                                  *         8 1 *           *           A !
                                     "        "                                          9            A          *       9 6 )3 3, >   ,
                                                                                          2
                                                                                         <= : 1        *      *                 ;
    E                                                                                       *        9 *                  ,
                                                                                                                     L 3, 3            +             ,
                                                                                                                                                   3, 3
    $                                                                                    <-=               *           7             '(
                                         $                                                                6* 8            ,
                                                                                                                        3, >
    $                                                 2 / ),
                                                      < =< =< =          $                /
                                                                                         <= *            :                                     *
                                                                                         B             B : D"* 1 9                                  9
        (                                                                                *         1
                                                                                              *                   M 3, > ,
                     <
                   6* -=                                             '                    ),
                                                                                         < =            M                     B : D"* 9     *
                     "                                                                                                   *
                                                                                                            * 6 3 1 1 9 3, > +  ,              ,
                                                                                                                                           6 3, >
                                                                                         <))=                                      7 :      $
                                     1        $                              $                 (" $                          A !
                                                                                         '             81 :        $ 3, > ,         M              E
                                                                                         <)3=                            76
                                                  $                                                  '             8 1 9              6
                                 "                                        D              B          *         % 1 13, >&
                                                                                                                M       ,                     ,
                                                                                                                                           /3, >
                   K >=
                    <                                                                     )>=
                                                                                         < : B            B                 "/
                                                                                                                         1* -
                                                        $                                               7 BBD "                    B           B
                                                                                         D         8B      ) . M )/ -  /

				
DOCUMENT INFO
Shared By:
Stats:
views:45
posted:10/28/2010
language:English
pages:8
Description: In 1999, IBM introduced the concept of ubiquitous computing. The so-called Pervasive Computing (Ubiquitous Computing) refers, omnipresent, anytime, anywhere, can be calculated in a way, anytime, as long as required by some devices access to the information you need.