Programming on the Internet requires a different mental model than programming other types of applications. At the same time, most Web programming frameworks do a poor job of supporting this model. This presentation introduces events in KRL and discusses the language's design. Evented languages like KRL close this gap by supporting programming constructs that make creating applications that work across multiples protocols and APIs easy.

1. Building a Programming
Layer for the Internet
Phillip J. Windley, Ph.D
Founder and CTO
Kynetx
www.kynetx.com

4. Your book’s available here!!!

5. scenarios
can be described as
expressions over events

6. when new book on wishlist
before visiting borders...

7. traditionally this has been hard

11. People want to
achieve a purpose,
not go somewhere

12. The location metaphor
has led us to
focus attention on servers

20. There’s more
to the Internet
than servers

25. Amazon and Your Local Library

26. Amazon and Your Local Library

27. An intelligent, adaptable browser
helps you achieve your purpose

28. Web Programming

29. Calculating Exchange Rates

30. READ $amount;
READ $rate;
PRINT $amount * $rate

31. What does the same Web
program look like?

32. Amount
Continue

33. Amount
Continue
Rate
Continue

34. Amount
Continue
Rate
Continue
Amount: X.XX

35. Amount
Continue
amount?
Rate
Continue
Amount: X.XX

36. Amount
Continue
amount?
Rate
Continue
sequence?
Amount: X.XX

37. Amount
Continue
amount?
Rate
Continue
sequence?
Amount: X.XX
• data

38. Amount
Continue
amount?
Rate
Continue
sequence?
Amount: X.XX
• data
• control flow

39. Amount
Continue
amount?
Rate
Continue
sequence?
Amount: X.XX
• data
• control flow
...and this is just one server

41. A New Programming Model

42. Reactive Systems

43. reacting to events
from the user

44. Rule Languages

45. Rule Languages

46. Rule Languages
Constraint

47. Rule Languages
Constraint
Deductive

48. Rule Languages
Constraint
Deductive
Responsive

49. when event
if condition
then action

50. ECAE Rules

51. ECAE Rules

52. ECAE Rules
Event

53. ECAE Rules
Event
Condition

54. ECAE Rules
Event
Condition
Action

55. ECAE Rules
Event
Condition
Action
Effect

56. Kynetx Architecture

57. Kynetx Architecture

58. Kynetx Architecture

59. BX
Kynetx Architecture

60. KNS
BX
Kynetx Architecture

61. KNS
BX
Kynetx Architecture

62. KNS
BX
Kynetx Architecture

63. Web
KNS • pageview
• submit
• click
• etc
BX
Kynetx Architecture

64. Events
Web
KNS • pageview
• submit
• click
• etc
BX
Kynetx Architecture

65. Events
Web
KNS • pageview
• submit
• click
• etc
Endpoint
BX
Kynetx Architecture

66. Events
Web
KNS • pageview
• submit
• click
• etc
Endpoint
BX
Kynetx Architecture

67. Events
Web Mail
KNS • pageview • received
• submit • sent
• click • refiled
• etc • etc
Endpoint
BX
Kynetx Architecture

68. Events
Web Mail Other
KNS • pageview • received • RSS
• submit • sent • Facebook
• click • refiled • Mobile
• etc • etc • etc
Endpoint
BX
Kynetx Architecture

69. Kynetx Rule Language (KRL)
Sometimes a layer of indirection helps...

70. Kynetx Rule Language (KRL)
Sometimes a layer of indirection helps...
Domain specific language

71. Kynetx Rule Language (KRL)
Sometimes a layer of indirection helps...
Domain specific language
Mental leverage via abstractions

72. Kynetx Rule Language (KRL)
Sometimes a layer of indirection helps...
Domain specific language
Mental leverage via abstractions
Designed for programming the Internet

73. Kynetx Rule Language (KRL)
Sometimes a layer of indirection helps...
Domain specific language
Mental leverage via abstractions
Designed for programming the Internet
Browser and platform independent

74. KRL Rulesets

75. KRL Rulesets
Events

76. KRL Rulesets
Events
Pageview via URL class

77. KRL Rulesets
Events
Pageview via URL class
Submit form

78. KRL Rulesets
Events
Pageview via URL class
Submit form
Click element

79. KRL Rulesets
Events
Pageview via URL class
Submit form
Click element
Change element

80. KRL Rulesets
Events
Pageview via URL class
Submit form
Click element
Change element
Declare and access data sources

81. KRL Rulesets
Events
Pageview via URL class
Submit form
Click element
Change element
Declare and access data sources
Conditionally fire action

82. KRL Rulesets
Events
Pageview via URL class
Submit form
Click element
Change element
Declare and access data sources
Conditionally fire action
Effects

83. Event Expressions

84. select when pageview “/archives/(d+)”
setting(year)

85. select when pageview “/archives/(d+)”
setting(year)
before click “#button”

86. select when pageview “/archives/(d+)”
setting(year)
then click “#button”

87. select when pageview “/archives/(d+)”
setting(year)
and click “#button”

88. select when pageview “/archives/(d+)”
setting(year)
or click “#button”

89. select when click “#button”
between(pageview “/archives/d+”,
pageview “google.com”)

90. select when click “#button”
not between(
pageview “/archives/d+”,
pageview “google.com”)

91. select when (click “#button”
not between(
pageview “/archives/d+”,
pageview “google.com”))
before click “#link_1”

92. What about
conditions, actions,
and effects?

93. Little Languages

94. Little Languages
Regular expressions

95. Little Languages
Regular expressions
JSONPath

96. Little Languages
Regular expressions
JSONPath
jQuery HTML Selectors

97. Data

98. Data
Geo-location
Weather
General (JSON/XML)
Twitter
Acxiom (pilot)
GData (Google)
Amazon
OData (Microsoft)

99. ruleset library {
global {
datasource library_search
<- "http://www.example.com/bookdata/?wt=json" cachable;
}
rule book_notfication is active {
select when pageview "www.amazon.com/gp/product/(d+)/" setting(isbn)
pre {
book_data = datasource:library_search("q="+isbn);
url = book_data.pick("$..docs[0].url");
title = book_data.pick("$..docs[0].title");
msg = <<
This book's available the library. <a id="MLN_link" href="#{url}">#{title}</a>
>>;
}
if(book_data.pick("$..numFound") > 0) then {
notify("Local Library", msg)
}
callbacks {
success { click id="MLN_link" }
}}}
KRL for Library Lookup

100. ruleset library {
global {
datasource library_search
<- "http://www.example.com/bookdata/?wt=json" cachable;
}
rule book_notfication is active {
select when pageview "www.amazon.com/gp/product/(d+)/" setting(isbn)
pre {
book_data = datasource:library_search("q="+isbn);
url = book_data.pick("$..docs[0].url");
title = book_data.pick("$..docs[0].title");
msg = <<
This book's available the library. <a id="MLN_link" href="#{url}">#{title}</a>
>>;
}
if(book_data.pick("$..numFound") > 0) then {
notify("Local Library", msg)
}
callbacks {
success { click id="MLN_link" }
}}}
KRL for Library Lookup

101. ruleset library {
global {
datasource library_search
<- "http://www.example.com/bookdata/?wt=json" cachable;
}
rule book_notfication is active {
select when pageview "www.amazon.com/gp/product/(d+)/" setting(isbn)
pre {
book_data = datasource:library_search("q="+isbn);
url = book_data.pick("$..docs[0].url");
title = book_data.pick("$..docs[0].title");
msg = <<
This book's available the library. <a id="MLN_link" href="#{url}">#{title}</a>
>>;
}
if(book_data.pick("$..numFound") > 0) then {
notify("Local Library", msg)
}
callbacks {
success { click id="MLN_link" }
}}}
KRL for Library Lookup

102. ruleset library {
global {
datasource library_search
<- "http://www.example.com/bookdata/?wt=json" cachable;
}
rule book_notfication is active {
select when pageview "www.amazon.com/gp/product/(d+)/" setting(isbn)
pre {
book_data = datasource:library_search("q="+isbn);
url = book_data.pick("$..docs[0].url");
title = book_data.pick("$..docs[0].title");
msg = <<
This book's available the library. <a id="MLN_link" href="#{url}">#{title}</a>
>>;
}
if(book_data.pick("$..numFound") > 0) then {
notify("Local Library", msg)
}
callbacks {
success { click id="MLN_link" }
}}}
KRL for Library Lookup

103. ruleset library {
global {
datasource library_search
<- "http://www.example.com/bookdata/?wt=json" cachable;
}
rule book_notfication is active {
select when pageview "www.amazon.com/gp/product/(d+)/" setting(isbn)
pre {
book_data = datasource:library_search("q="+isbn);
url = book_data.pick("$..docs[0].url");
title = book_data.pick("$..docs[0].title");
msg = <<
This book's available the library. <a id="MLN_link" href="#{url}">#{title}</a>
>>;
}
if(book_data.pick("$..numFound") > 0) then {
notify("Local Library", msg)
}
callbacks {
success { click id="MLN_link" }
}}}
KRL for Library Lookup

104. ruleset library {
global {
datasource library_search
<- "http://www.example.com/bookdata/?wt=json" cachable;
}
rule book_notfication is active {
select when pageview "www.amazon.com/gp/product/(d+)/" setting(isbn)
pre {
book_data = datasource:library_search("q="+isbn);
url = book_data.pick("$..docs[0].url");
title = book_data.pick("$..docs[0].title");
msg = <<
This book's available the library. <a id="MLN_link" href="#{url}">#{title}</a>
>>;
}
if(book_data.pick("$..numFound") > 0) then {
notify("Local Library", msg)
}
callbacks {
success { click id="MLN_link" }
}}}
KRL for Library Lookup

105. ruleset library {
global {
datasource library_search
<- "http://www.example.com/bookdata/?wt=json" cachable;
}
rule book_notfication is active {
select when pageview "www.amazon.com/gp/product/(d+)/" setting(isbn)
pre {
book_data = datasource:library_search("q="+isbn);
url = book_data.pick("$..docs[0].url");
title = book_data.pick("$..docs[0].title");
msg = <<
This book's available the library. <a id="MLN_link" href="#{url}">#{title}</a>
>>;
}
if(book_data.pick("$..numFound") > 0) then {
notify("Local Library", msg)
}
callbacks {
success { click id="MLN_link" }
}}}
KRL for Library Lookup

106. ruleset library {
global {
datasource library_search
<- "http://www.example.com/bookdata/?wt=json" cachable;
}
rule book_notfication is active {
select when pageview "www.amazon.com/gp/product/(d+)/" setting(isbn)
pre {
book_data = datasource:library_search("q="+isbn);
url = book_data.pick("$..docs[0].url");
title = book_data.pick("$..docs[0].title");
msg = <<
This book's available the library. <a id="MLN_link" href="#{url}">#{title}</a>
>>;
}
if(book_data.pick("$..numFound") > 0) then {
notify("Local Library", msg)
}
callbacks {
success { click id="MLN_link" }
}}}
KRL for Library Lookup

107. ruleset library {
global {
datasource library_search
<- "http://www.example.com/bookdata/?wt=json" cachable;
}
rule book_notfication is active {
select when pageview "www.amazon.com/gp/product/(d+)/" setting(isbn)
pre {
book_data = datasource:library_search("q="+isbn);
url = book_data.pick("$..docs[0].url");
title = book_data.pick("$..docs[0].title");
msg = <<
This book's available the library. <a id="MLN_link" href="#{url}">#{title}</a>
>>;
}
if(book_data.pick("$..numFound") > 0) then {
notify("Local Library", msg)
}
callbacks {
success { click id="MLN_link" }
}}}
KRL for Library Lookup

108. Demo

109. early binding
vs
late binding

110. Sign up for a
free developer account
at http://www.kynetx.com

111. Building a Programing
Layer for the Internet
Contact info:
pjw@kynetx.com
www.windley.com
@windley