Apparatus, method and system for building software by composition

42 Pages·2013·2.93 MB·English

US008464214B2
(12) United States Patent (10) Patent N0.: US 8,464,214 B2
Miloushev et a]. (45) Date of Patent: Jun. 11, 2013
(54) APPARATUS, METHOD AND SYSTEM FOR (58) Field of Classi?cation Search
BUILDING SOFTWARE BY COMPOSITION
USPC ................................ .. 717/105,107,109,113
See application ?le for complete search history.
(75) Inventors: Vladimir Miloushev, Dana Point, CA
(56) References Cited
(US); Peter Nickolov, Laguna Niguel,
CA (US); Leonid Kalev, Haifa (IL)
U.S. PATENT DOCUMENTS
(73) Assignee: CA, Inc., Islandia, NY (US) 7,337,174 B1 * 2/2008 Craig .......................... .. 717/108
2002/0049603 A1 * 4/2002 Mehra et al. ..... .. 705/1
(*) Notice: Subject to any disclaimer, the term of this 2003/0056022 A1 * 3/2003 Carlson et al. . 717/109
2004/0187094 A1 * 9/2004 Gil et al. ...... .. 717/108
patent is extended or adjusted under 35
2004/0268307 A1 * 12/2004 Plesko et al. 717/105
U.S.C. 154(b) by 1269 days.
2005/0065942 A1 * 3/2005 Diab ......... .. 717/108
2005/0183090 A1 * 8/2005 Hunt ......... .. 719/310
(21) Appl. No.: 11/992,093 2006/0282243 A1 * 12/2006 Childs et al. 717/109
2008/0137688 A1 * 6/2008 Walsh ......................... .. 717/105
(22) PCT Filed: Sep. 15, 2006 OTHER PUBLICATIONS
Yannis Ioannidis, Data Modeling in DELAB,1988, ACM, 1 page,
(86) PCT No.: PCT/US2006/036131
<URL: http://delivery.acm.org/l0.1145/60000/50224/p200-ioan
§ 371 (0)0)’ nidis.pdf>.*
(2), (4) Date: Mar. 13, 2008 Gwen Nugen, Design, Development, and Validation of a Learning
Object for CS1, 2005, ACM, 1 page, <URL:http://delivery.acm.org/
(87) PCT Pub. No.: WO2007/035545 10.1145/1070000/1067571/p370-nugent.pdi>.*
Renaud Blanch, Programming Rich Interactions Using the Hierar
PCT Pub. Date: Mar. 29, 2007 chical State Machine Toolkit, 2006, ACM, 8 pages, <URL: http://
delivery.acm.org/l0.l145/1140000/1l33275/p5l-blanch.pdf>.*
(65) Prior Publication Data
* cited by examiner
US 2009/0125879 A1 May 14, 2009
Primary Examiner * Matt Kim
Assistant Examiner * Hua Lu
Related US. Application Data (74) Attorney, Agent, or Firm * Baker Botts, LLP
(60) Provisional application No. 60/717,387, ?led on Sep. (57) ABSTRACT
15, 2005.
The present invention is related to the ?eld of real-time soft
(51) I t. Cl. Ware, and, more speci?cally, to an apparatus, method and
Gn06F 9/44 (2006 01) system fOr building complex high-performance software by
(52) U S C] . composition.
USPC .......................... .. 717/108; 717/105; 717/109 6 Claims, 21 Drawing Sheets
140
13°\ "41x=3 3, 5%142
111
_ 13 \
'“ ~ - Len. M
134/ In 2\1 out1 “FE-(“LING in out 7 ‘g
1311/
(M2 FLT 133
136 ses_arr
51 out.‘ |_FAC Jae
5: ; 0M2 LPRP Jrp 144
11g CTL SES__A )
146\ NIC
US. Patent Jun. 11, 2013 Sheet 1 0121 US 8,464,214 B2
102
1 10 \
114 LJ\Q Q» in/ D4 \out1 -—----—->
115
\
115 105 Os
$25k» ctl/ out2 ———-—->
108 1 1 8
\en log \DLY
FIG. 1A

US. Patent Jun. 11, 2013 Sheet 4 0121 US 8,464,214 B2
say-options:
conatxuator — :d-M
dsatructo: - cd-def
constructor = cd-dq', dbatructor II cd-def
prop-options:
propoption
propoption, prap~aptiom
propgrpe: one of
string constjt: scalar binary
prop-?ag: (me Of
mandatory to signed
prowvn?s'
dflt I identi?er
dflt - integer-constant
min :- integer-constant
max I integer-comm
name II ldcnt?er
temwplions:
floating
in - identg'?'er
floating, in - identi?cr
Syntactic categories (no) are indicated by italic type, and liberal words (terminals) by bold type. A coton (z)
following a nonterminal introduces its de?nition. Alternative de?nitions are listed on separan: linas, or on a single line,
when the de?nition is pmfawd by the wards “one of.” An optional symbol is indicated by the subscript “opt”.
The idemmermdmegenmnsmwinnotbede?mdhm-theymassumedtobeasde?nedinrhe
ISO/[EC standard?orthec
FIG. 2A
US. Patent Jun. 11, 2013 Sheet 5 0121 US 8,464,214 B2
struct SELF //#v self
I
// properties
in_addr_t bincl__ip; lltv prop scalar
inJ ortj: bind_ port; h'iv prop scalar, d£lt=l0000
uint n_listens: l/iv prop dflt==5
// terminals
VTRM ctl;
VTRM sac;
VTRM fac; //#v term im-nop
VTRM 1211); //#v term im-nop
// state
int lsh; // 'listen' socket handle
struct sockaddr_in 1a; // local add:
struct sockaddr_in ra: / I remote add:
LIST sessions; // list of open sessions
pthread_mutex_t ses__lck; // synch lock for the sessions l‘ist
LIST scav; // list of dead sessions
pthread__mutex_t scav_lck; ll synch lock for the scavenger list
};
I SYS
' ‘ctl
LSSC
TOP sockets
SES
FIG. 2B
US. Patent Jun. 11, 2013 Sheet 6 0121 US 8,464,214 B2
I 3
5 oz\( Star! - Read Application Descriptor )
U)
at
____;E__
Pick the next partfmm the PARTS list. ?nd the corresponding source file
306
Yes ?le is a coded parl?
310\ l7 No
Feed ll to the Boundary Extractor
312\ 320\
Compile output fmm the Boundary Feed It to the descriptor language pre
2 Extractor processor
65 314\ 322\
V
Oomplle the part Complle outpul form he preprocessor
316
\ ‘
Merge complied part code and boundary
deeedpler
330
No
P- 33 Yr
‘Ll6Bunii'lld
Desw.
Create appllca?on lnltdeser‘plor. oomplle It wllh the C compiler
oulpul
Merge all Into executable Image (llnk. If bulldlng an appllcatlon):
orlnto a ralocalahla llbmy (If building a part llb.)
“_produce D:
FIG. 3A
US. Patent
Jun. 11, 2013 Sheet 7 0f 21 US 8,464,214 B2
354\ NOLD
P = ?rst entry In
I.
356
All subordinates of P have part
desorlpmrs?
No
353 Yes
\ t
Create part doscr. for P, remove entry from (1st L
360
\ 4
L women I
L P I next entry from list L ‘I
388
No Yes
370
Yes
3 374
End: success
US. Patent Jun. 11, 2013 Sheet 8 0121 US 8,464,214 B2
3_.............. ........................\.. H
2v35022 w3uoémz
E Na
mo ...._
mow 2\
~:\ §\ 2\
.vUE
wA£h0e1n5! 9“8
21n2aw28 .$e2“56S ?58. 5
A£."003$Q 825253m52“ ::.622 . ..:
§\ 8¢\ 155n28: 93%58 8n95 50
42825 8061
3N0»00:E5 559D9.:. , E8s:8m58.
US. Patent Jun. 11, 2013 Sheet 9 0121 US 8,464,214 B2
06 /502
/5 /508
name‘!
Subordinate Class Names *
/510
name1
Subord. Instance Names '
Praperties name sub-idx tgt-name
14
Terminals 0 name sub4dx {gt-name
/516
‘ sb1-1dx name1 sbZ-idx namez
interior Connections '
/51a
Parameteriza?on (lnlt) sub-16X ?ame value
FIG. 5