![](bg4.png)
1 f u n ction main () {
2 @init ( ) {
3 d ef au lt Id = 1
4 c u rr en tId = 1
5 }
6 $ ( v ) f : @faceRecognition ( isKnown ,
7 re cogniz e d Id ) {
8 case {
9 / /A f a m il ia r person i s dete c t ed ,
10 / / then change c ur r en t s e t t in gs
11 / / to new s e t t i n g s
12 isKnown && r e cognize d I d != c u r re nt I d {
13 cu rr e n tId = re c o gn iz edId
14 st o p e v en t ( v )
15 re c o n fi g ur e e ve n t ( v , [ u serId = c u r r e nt Id ] )
16 r es t a r t e ve nt ( v)
17 }
18 / /A s t r a n g e r i s detec t e d ,
19 / / then use d ef a u l t s e t t i n g s
20 ! isKnown {
21 . . .
22 }
23 }
24 }
25 v : @voiceRecognition [ u s erId = d ef au l t I d ]
26 ( voiceCommandString ) {
27 case {
28 voiceCommandString ˜ regexp ( . . . ) {
29 / / Do a c t io n 1
30 }
31 . . .
32 de fa u l t {
33 / / Do a d ef au lt a c t io n
34 }
35 }
36 }
37 }
Figure 2: An intelligent virtual personal assistant.
4 FUTURE WORK
For future work, we will develop a context recovery
mechanism in INI so that when the reaction fails, our
program can recover to the previous stable state. Ad-
ditionally, we will define formal semantics for INI
with thoughtful consideration of parallel and concur-
rent aspect. Operational semantics, denotational se-
mantics or axiomatic semantics with some exeten-
sions can be taken into account. Furthermore, we also
have a plan to apply INI in more real applications in
order to better evaluate its capabilities.
ACKNOWLEDGEMENTS
The work presented in this article is supported by
the European Union. Europe is committed in Ile-
de-France with the European Regional Development
Fund.
REFERENCES
Baillie, J.-C., Demaille, A., Hocquet, Q., and Nottale, M.
(2010). Events! (reactivity in Urbiscript). CoRR,
abs/1010.5694.
Cohen, N. H. and Kalleberg, K. T. (2008). EventScript:
an event-processing language based on regular expres-
sions with actions. In Proceedings of the 2008 ACM
SIGPLAN-SIGBED conference on Languages, com-
pilers, and tools for embedded systems, LCTES ’08,
pages 111–120, New York, NY, USA. ACM.
Daniele, L. M., Silva, E., Ferreira, L., and van, M. S.
(2009). A SOA-based platform-specific framework
for context-aware mobile applications. In Enterprise
Interoperability, volume 38 of Lecture Notes in Busi-
ness Information Processing, pages 25–37, Berlin
Heidelberg. Springer Verlag.
Dargie, W. (2009). Context-Aware Computing and Self-
Managing Systems. Chapman & Hall/CRC, 1 edition.
Giurca, A., Gasevic, D., and Taveter, K. (2009). Handbook
of Research on Emerging Rule-based Languages and
Technologies: Open Solutions and Approaches. IGI
Publishing, Hershey, PA, USA.
Le, T.-G. (2012). Ini Online.
https://sites.google.
com/site/inilanguage
.
Le, T.-G., Hermant, O., Manceny, M., and Pawlak, R.
(2011). Dynamic adaptation through event reconfigu-
ration. In Meersaman, R., Dillon, T., and Herrero, P.,
editors, On the Move to meaningful Internet Systems:
OTM 2011 Workshops, volume 7046 of Lecture Notes
in Computer Science. Springer.
Loke, S. (2006). Context-Aware Pervasive Systems. Auer-
bach Publications, Boston, MA, USA.
Mircea Marin, T. K. (2006). Foundations of the rule-based
system pLog. Journal of Applied Non-Classical Log-
ics, 16:151–168.
M¨uhl, G., Fiege, L., and Pietzuch, P. (2006). Distributed
Event-Based Systems. Springer-Verlag New York,
Inc., Secaucus, NJ, USA.
Robinson, J. A. (1965). A machine-oriented logic based on
the resolution principle. J. ACM, 12(1):23–41.
Sand´en, B. (2011). Design of Multithreaded Software: The
Entity-Life Modeling Approach. John Wiley & Sons.
Schilit, B. and Theimer, M. (1994). Disseminating ac-
tive map information to mobile hosts. IEEE Network,
8:22–32.
ICSOFT2012-7thInternationalConferenceonSoftwareParadigmTrends
350