WO2006035448A3 - Dynamic functional programming - Google Patents

Dynamic functional programming

Info

Publication number
WO2006035448A3
WO2006035448A3 PCT/IL2005/001056 IL2005001056W WO2006035448A3 WO 2006035448 A3 WO2006035448 A3 WO 2006035448A3 IL 2005001056 W IL2005001056 W IL 2005001056W WO 2006035448 A3 WO2006035448 A3 WO 2006035448A3
Authority
WO
Grant status
Application
Patent type
Prior art keywords
functional
analysis
invention
source
code
Prior art date
Application number
PCT/IL2005/001056
Other languages
French (fr)
Other versions
WO2006035448A2 (en )
Inventor
Moshe Atlan
Original Assignee
Moshe Atlan
Innatelogic Ltd
Priority date (The priority date is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the date listed.)
Filing date
Publication date

Links

Classifications

    • GPHYSICS
    • G06COMPUTING; CALCULATING; COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F8/00Arrangements for software engineering
    • G06F8/20Software design
    • G06F8/24Object-oriented
    • GPHYSICS
    • G06COMPUTING; CALCULATING; COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F8/00Arrangements for software engineering

Abstract

The present invention provides a user-centric method and system for programming software modules based on automatic source code prototyping direction from functional requirements. In enables, before producing any source code, distribution of implemented business rules among predefined software modules. The invention is based on the formal characterization of the properties intrinsic to functional analysis and independent of any implementation techniques, conditioning the possibility of implementing business rules as a textually contiguous set of elementary instructions. The invention starts with an initial functional analysis wherein the functional requirements of a system are expressed in terms of rules (12). An automatic functional analysis completion algorithm produces a locally complete functional analysis from the initial functional analysis (13, 14). Next, a filtered functional analysis presents the computational properties of a correct implementation from the locally complete functional analysis (15, 16). Finally, the filtered functional analysis can be automatically translated into object oriented program source code (17).
PCT/IL2005/001056 2004-09-29 2005-09-29 Dynamic functional programming WO2006035448A3 (en)

Priority Applications (2)

Application Number Priority Date Filing Date Title
US61394204 true 2004-09-29 2004-09-29
US60/613,942 2004-09-29

Publications (2)

Publication Number Publication Date
WO2006035448A2 true WO2006035448A2 (en) 2006-04-06
WO2006035448A3 true true WO2006035448A3 (en) 2007-05-03

Family

ID=36119286

Family Applications (1)

Application Number Title Priority Date Filing Date
PCT/IL2005/001056 WO2006035448A3 (en) 2004-09-29 2005-09-29 Dynamic functional programming

Country Status (1)

Country Link
WO (1) WO2006035448A3 (en)

Citations (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US5265206A (en) * 1990-10-23 1993-11-23 International Business Machines Corporation System and method for implementing a messenger and object manager in an object oriented programming environment
US5920723A (en) * 1997-02-05 1999-07-06 Hewlett-Packard Company Compiler with inter-modular procedure optimization

Patent Citations (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US5265206A (en) * 1990-10-23 1993-11-23 International Business Machines Corporation System and method for implementing a messenger and object manager in an object oriented programming environment
US5920723A (en) * 1997-02-05 1999-07-06 Hewlett-Packard Company Compiler with inter-modular procedure optimization

Also Published As

Publication number Publication date Type
WO2006035448A2 (en) 2006-04-06 application

Similar Documents

Publication Publication Date Title
Lee et al. Improvement on nonquadratic stabilization of discrete-time Takagi–Sugeno fuzzy systems: Multiple-parameterization approach
WO2004114160A3 (en) Systems and processes for automated criteria and attribute generation, searching, auditing and reporting of data
US20040093446A1 (en) Method and apparatus for implementing hot key functions
WO2008090836A1 (en) Radio control method
WO2004058404A3 (en) Enhanced scheduling sample processing system and methods of biological slide processing
CN101086711A (en) Mission management method of multiple-mission operation system
de Marques et al. Pervasive legal threats to protected areas in Brazil
US20020095652A1 (en) Program generating apparatus for built-in microcomputer
US20060041323A1 (en) Method of inputting same data to a plurality of programmable logic controllers
JP2009032133A (en) Test case-generating system
von Axelson On the development of production methods for transfer to small to medium-sized enterprises
Hong et al. Decomposition process of engineering systems using axiomatic design and design structure matrix
WO2004098385A3 (en) Method and system for programing and controlling an electrosurgical generator system
Drug Enforcement Administration (DEA), Department of Justice Schedules of controlled substances: temporary placement of alpha-methyltryptamine and 5-methoxy-N, N-diisopropyltryptamine into Schedule I. Final rule.
JPH04184602A (en) System and method for preparation of production schedule
US20120023478A1 (en) Method of replacement for a controller in an onboard power supply system in a vehicle
JPH02220145A (en) Program tracing system
WO2001060024A3 (en) System and method for assessing the security vulnerability of a network
WO2002031613A3 (en) System and method for monitoring process quality control
JPS63163656A (en) Method and system for input/output interruption
Patry et al. Simulation: a key component in the development of an integrated computer-based approach to wastewater treatment plant control
D’Oca et al. Data mining of occupant behavior in office buildings
Beuche et al. Variant management for embedded software product lines with pure:: consul and aspectc++
US20150274100A1 (en) Apparatus and method of automatically controlling convenient device for vehicle
Arnold Technical cost analysis using discrete event simulation: A case study analysis of materials substitution in automotive systems.

Legal Events

Date Code Title Description
AK Designated states

Kind code of ref document: A2

Designated state(s): AE AG AL AM AT AU AZ BA BB BG BR BW BY BZ CA CH CN CO CR CU CZ DE DK DM DZ EC EE EG ES FI GB GD GE GH GM HR HU ID IL IN IS JP KE KG KM KP KR KZ LC LK LR LS LT LU LV LY MA MD MG MK MN MW MX MZ NA NG NI NO NZ OM PG PH PL PT RO RU SC SD SE SG SK SL SM SY TJ TM TN TR TT TZ UA UG US UZ VC VN YU ZA ZM ZW

AL Designated countries for regional patents

Kind code of ref document: A2

Designated state(s): GM KE LS MW MZ NA SD SL SZ TZ UG ZM ZW AM AZ BY KG KZ MD RU TJ TM AT BE BG CH CY CZ DE DK EE ES FI FR GB GR HU IE IS IT LT LU LV MC NL PL PT RO SE SI SK TR BF BJ CF CG CI CM GA GN GQ GW ML MR NE SN TD TG

NENP Non-entry into the national phase in:

Ref country code: DE

122 Ep: pct application non-entry in european phase

Ref document number: 05789467

Country of ref document: EP

Kind code of ref document: A2