WO2007143265A4 - Statechart generation using frames - Google Patents

Statechart generation using frames Download PDF

Info

Publication number
WO2007143265A4
WO2007143265A4 PCT/US2007/065574 US2007065574W WO2007143265A4 WO 2007143265 A4 WO2007143265 A4 WO 2007143265A4 US 2007065574 W US2007065574 W US 2007065574W WO 2007143265 A4 WO2007143265 A4 WO 2007143265A4
Authority
WO
WIPO (PCT)
Prior art keywords
statechart
state
goals
data model
interaction
Prior art date
Application number
PCT/US2007/065574
Other languages
French (fr)
Other versions
WO2007143265A3 (en
WO2007143265A2 (en
Inventor
William K Thompson
Paul C Davis
Original Assignee
Motorola Inc
William K Thompson
Paul C Davis
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
Application filed by Motorola Inc, William K Thompson, Paul C Davis filed Critical Motorola Inc
Publication of WO2007143265A2 publication Critical patent/WO2007143265A2/en
Publication of WO2007143265A3 publication Critical patent/WO2007143265A3/en
Publication of WO2007143265A4 publication Critical patent/WO2007143265A4/en

Links

Classifications

    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/30—Creation or generation of source code
    • G06F8/34—Graphical or visual programming
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F40/00—Handling natural language data
    • G06F40/10—Text processing
    • G06F40/12—Use of codes for handling textual entities
    • G06F40/14—Tree-structured documents

Abstract

A Statechart (400) for management of an interaction is generated automatically from a frame (100, 200, 304) that describes the interaction by extracting a data model (300) and a set of goals (302) from the frame and then generating a Statechart (400) from the data model (300) and the set of goals (302). The data model (300) includes a set of data fields (306, 308) to be completed during the interaction. Procedural logic (206, 208) is extracted from the frame and used to annotate the Statechart with, for example, initial and final rules, prompts and grammar (502-512). The Statechart (400) may be stored for future use or editing, or used to manage a current interaction.

Claims

AMENDED CLAIMS received by the International Bureau on 02 September 2008 (02.09.2008)
1. A method for automatic generation of a Statechart for management of an interaction, the method comprising: extracting a data model and a set of goals from a frame that describes the interaction, the data model comprising a set of data fields to be completed during the interaction; generating a Statechart from the data model and the set of goals; extracting procedural logic from the frame; adding the procedural logic to the Statechart; and outputting the Statechart.
2. A method in accordance with claim 1 wherein generating a Statechart from the data model and the set of goals comprises: generating a set of states corresponding to completion states of the data model; generating an initial pseudo-state and a final state; generating a transition from the initial pseudo-state to an empty state of the set of states; gen erating transitions between each state of the set of states and its subset states; removing outgoing transitions from any state of the set of states that satisfies at least one goal of the set of goals; and generating transitions to the final state from any state of the set of states that satisfies at least one goal of the set of goals.
3. A method in accordance with claim 1 wherein adding the procedural logic to the Statechart comprises, for each state of the Statechart: finding a goal of the set of goals that refers to the state; finding an unsatisfied atom within the goal; finding a field of the data model to which the unsatisfied goal atom refers; adding initial rules, prompts, and grammar for the field to the state as entry actions; and adding final rules for the field to the stale as exit actions.
4. A method in accordance with claim 3 wherein adding the procedural logic to the Statcchart further comprises: adding initial rule pre-conditions to the state as guards on the entry actions and adding final rule pre-conditions to the state as guards on the exit actions.
5, A method in accordance with claim 3 wherein adding the procedural logic to the Statechart further comprises: adding initial rules, prompts, and grammar on initial transitions of the Statechart; and adding final rules on final transitions of the Statechart.
6, Λ method in accordance with claim 3 wherein adding the procedural logic to the Statechart further comprises: adding event handlers for the field to the state as internal transitions.
7. A method in accordance with claim 1 wherein the Statechart comprises: a set of states corresponding to completion states of the data model; an initial pseudo-state; a final state; a transition from the initial pseudo-state to an empty state of the set of states; incoming transitions to each state of the set of states from any of its subset states that do not satisfy any goal of a set of goals; and outgoing transitions to the final state from any state of the set of states that satisfies at least one goal of the set of goals.
9. A method in accordance with claim 1 wherein the frame comprises a representation stored on a computer-readable representation.
10. A method in accordance with claim 1 further comprising: presenting the Statechart to an interaction designer for modification.
19
11. A method in accordance with claim 1 further comprising: combining the Statechart with a Statechart generated by a different method.
12. A system for automatic generation of a Statechart for management of an interaction, the system comprising: an input for receiving a frame that describes the interaction; a processor operable to: extract a data model and a set of goals from a frame that describes the interaction, the data model comprising a set of data fields to be completed during the interaction; generate a Statechart from the data model and the set of goals; extract procedural logic from the frame; and add the procedural logic to the Statechart; and an output for outputting the Statechart.
13. A system in accordance with claim 12 further comprising: a memory for storing the Statechart.
14. A computer-readable medium storing a program of instructions that, when executed on a processor, generate a Statechart for management of an interaction, the program of instructions comprising: instructions to extract a data model and a set of goals from a frame that describes the interaction, the data model comprising a set of data fields to be completed during the interaction; instructions to generate a Statechart from the data model and the set of goals; instructions to extract procedural logic from the frame; instructions to add the procedural logic to the Statechart; and instructions to output the Statechart.
20
PCT/US2007/065574 2006-05-30 2007-03-30 Statechart generation using frames WO2007143265A2 (en)

Applications Claiming Priority (2)

Application Number Priority Date Filing Date Title
US11/421,012 US7797672B2 (en) 2006-05-30 2006-05-30 Statechart generation using frames
US11/421,012 2006-05-30

Publications (3)

Publication Number Publication Date
WO2007143265A2 WO2007143265A2 (en) 2007-12-13
WO2007143265A3 WO2007143265A3 (en) 2008-11-06
WO2007143265A4 true WO2007143265A4 (en) 2008-12-31

Family

ID=38791385

Family Applications (1)

Application Number Title Priority Date Filing Date
PCT/US2007/065574 WO2007143265A2 (en) 2006-05-30 2007-03-30 Statechart generation using frames

Country Status (2)

Country Link
US (1) US7797672B2 (en)
WO (1) WO2007143265A2 (en)

Families Citing this family (21)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US8201140B2 (en) * 2005-08-30 2012-06-12 The Mathworks, Inc. System and method for creating and using graphical object instances in a statechart environment
US7797672B2 (en) 2006-05-30 2010-09-14 Motorola, Inc. Statechart generation using frames
US7657434B2 (en) * 2006-05-30 2010-02-02 Motorola, Inc. Frame goals for dialog system
US7505951B2 (en) * 2006-05-30 2009-03-17 Motorola, Inc. Hierarchical state machine generation for interaction management using goal specifications
US8522261B2 (en) * 2006-06-30 2013-08-27 Sap Ag Using status models with state guards in a computer system
US8706776B1 (en) 2006-06-30 2014-04-22 Sap Ag Extending status models in a computer system
US8365200B1 (en) 2006-06-30 2013-01-29 Sap Ag Using cancellation status models in a computer system
US20080080678A1 (en) * 2006-09-29 2008-04-03 Motorola, Inc. Method and system for personalized voice dialogue
US20080147364A1 (en) * 2006-12-15 2008-06-19 Motorola, Inc. Method and apparatus for generating harel statecharts using forms specifications
US8108833B2 (en) * 2007-04-20 2012-01-31 National Instruments Corporation Automatically generating a graphical data flow program from a statechart
CN102902519B (en) * 2007-09-11 2016-03-16 夏寿民 A kind of method realizing composite-predicate calculating based on dynamic system
US8504980B1 (en) 2008-04-14 2013-08-06 Sap Ag Constraining data changes during transaction processing by a computer system
US8479151B2 (en) * 2010-05-12 2013-07-02 National Instruments Corporation Converting a statechart from a first statechart format to a second statechart format
US8766666B2 (en) * 2010-06-10 2014-07-01 Micron Technology, Inc. Programmable device, hierarchical parallel machines, and methods for providing state information
US8996472B2 (en) * 2012-04-16 2015-03-31 Sap Se Verification of status schemas based on business goal definitions
US8996473B2 (en) * 2012-08-06 2015-03-31 Sap Se Checking compatibility of extended and core SAM schemas based on complex goals
US10212986B2 (en) 2012-12-09 2019-02-26 Arris Enterprises Llc System, apparel, and method for identifying performance of workout routines
US9278255B2 (en) 2012-12-09 2016-03-08 Arris Enterprises, Inc. System and method for activity recognition
US10417594B2 (en) 2013-05-02 2019-09-17 Sap Se Validation of functional correctness of SAM schemas including action chains
CN103455328B (en) * 2013-08-16 2017-06-06 奥博杰天软件（西安）有限公司 The player method of the controlling media play device based on multi-level state machine
US20180131642A1 (en) * 2016-11-04 2018-05-10 Microsoft Technology Licensing, Llc Conversation runtime

Family Cites Families (56)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US4068298A (en) 1975-12-03 1978-01-10 Systems Development Corporation Information storage and retrieval system
US5247651A (en) 1990-04-17 1993-09-21 At&T Bell Laboratories Interactive computer program specification and simulation system
JP2794142B2 (en) * 1992-09-14 1998-09-03 株式会社山武 Information processing device
US5412756A (en) 1992-12-22 1995-05-02 Mitsubishi Denki Kabushiki Kaisha Artificial intelligence software shell for plant operation simulation
US5694558A (en) 1994-04-22 1997-12-02 U S West Technologies, Inc. Method and system for interactive object-oriented dialogue management
US5801687A (en) 1994-09-30 1998-09-01 Apple Computer, Inc. Authoring tool comprising nested state machines for use in a computer system
US5652714A (en) 1994-09-30 1997-07-29 Apple Computer, Inc. Method and apparatus for capturing transient events in a multimedia product using an authoring tool on a computer system
US5835688A (en) 1995-06-07 1998-11-10 Xerox Corporation Generic method for automatically generating finite-state machines for schedudling from print engine capabilities
IL119914A (en) 1996-12-25 2000-06-29 Emultek Ltd Device for implementing hierarchical state charts and methods and apparatus useful therefor
US6234964B1 (en) 1997-03-13 2001-05-22 First Opinion Corporation Disease management system and method
US6778651B1 (en) 1997-04-03 2004-08-17 Southwestern Bell Telephone Company Apparatus and method for facilitating service management of communications services in a communications network
US6999936B2 (en) 1997-05-06 2006-02-14 Sehr Richard P Electronic ticketing system and methods utilizing multi-service visitor cards
US7010472B1 (en) 1997-05-12 2006-03-07 Mcdonnell Douglas Corporation Knowledge driven composite design optimization process and system therefor
US6408262B1 (en) * 1998-03-27 2002-06-18 Iar Systems A/S Method and an apparatus for analyzing a state based system model
US6324496B1 (en) 1998-06-18 2001-11-27 Lucent Technologies Inc. Model checking of hierarchical state machines
US7284202B1 (en) 1998-10-09 2007-10-16 Microsoft Corporation Interactive multi media user interface using affinity based categorization
US7024368B1 (en) 1999-03-12 2006-04-04 Microsoft Corporation Man-machine dialogue system, controls dialogue between system and user using dialogue specification employing augmented transition networks propagating tokens
US6850806B2 (en) 1999-04-16 2005-02-01 Siemens Energy & Automation, Inc. Method and apparatus for determining calibration options in a motion control system
US6513006B2 (en) 1999-08-26 2003-01-28 Matsushita Electronic Industrial Co., Ltd. Automatic control of household activity using speech recognition and natural language
US7206805B1 (en) 1999-09-09 2007-04-17 Oracle International Corporation Asynchronous transcription object management system
US7401040B2 (en) 1999-11-01 2008-07-15 Accenture Llp Financial modeling and counseling system
US9076448B2 (en) 1999-11-12 2015-07-07 Nuance Communications, Inc. Distributed real time speech recognition system
US6829603B1 (en) 2000-02-02 2004-12-07 International Business Machines Corp. System, method and program product for interactive natural dialog
EP1275042A2 (en) 2000-03-06 2003-01-15 Kanisa Inc. A system and method for providing an intelligent multi-step dialog with a user
AU2000260103A1 (en) 2000-08-02 2002-02-13 Philipp Kutter Xml-robot
US6880147B1 (en) * 2000-09-07 2005-04-12 Rockwell Collins System and method for developing software utilizing determinative representations
US8719326B2 (en) 2003-08-18 2014-05-06 S.F. Ip Properties 14 Llc Adaptive data transformation engine
US6735592B1 (en) 2000-11-16 2004-05-11 Discern Communications System, method, and computer program product for a network-based content exchange system
US20040085162A1 (en) 2000-11-29 2004-05-06 Rajeev Agarwal Method and apparatus for providing a mixed-initiative dialog between a user and a machine
US6996800B2 (en) 2000-12-04 2006-02-07 International Business Machines Corporation MVC (model-view-controller) based multi-modal authoring tool and development environment
US7487440B2 (en) 2000-12-04 2009-02-03 International Business Machines Corporation Reusable voiceXML dialog components, subdialogs and beans
US7213230B2 (en) 2000-12-28 2007-05-01 Yeda Research And Development Co. Ltd. Playing scenarios of system behavior
US20030045281A1 (en) 2001-04-09 2003-03-06 Yoram Rimoni Mobile transceiver state machine testing device
US6865499B2 (en) 2001-04-26 2005-03-08 Siemens Energy & Automation, Inc. Method and apparatus for tuning compensation parameters in a motion control system associated with a mechanical member
US6859747B2 (en) 2001-04-26 2005-02-22 Siemens Energy & Automation, Inc. Method and apparatus for self-calibrating a motion control system
US7020850B2 (en) 2001-05-02 2006-03-28 The Mathworks, Inc. Event-based temporal logic
US7720656B2 (en) 2001-05-14 2010-05-18 The Math Works, Inc. Graphical functions
US7406418B2 (en) 2001-07-03 2008-07-29 Apptera, Inc. Method and apparatus for reducing data traffic in a voice XML application distribution system through cache optimization
US7242752B2 (en) 2001-07-03 2007-07-10 Apptera, Inc. Behavioral adaptation engine for discerning behavioral characteristics of callers interacting with an VXML-compliant voice application
US7286985B2 (en) 2001-07-03 2007-10-23 Apptera, Inc. Method and apparatus for preprocessing text-to-speech files in a voice XML application distribution system using industry specific, social and regional expression rules
US7272586B2 (en) 2001-09-27 2007-09-18 British Telecommunications Public Limited Company Method and apparatus for data analysis
US20030153998A1 (en) 2002-02-13 2003-08-14 Micron Technology, Inc. Feature modeling application
US6914975B2 (en) 2002-02-21 2005-07-05 Sbc Properties, L.P. Interactive dialog-based training method
US7197460B1 (en) 2002-04-23 2007-03-27 At&T Corp. System for handling frequently asked questions in a natural language dialog service
US7039893B2 (en) 2002-06-11 2006-05-02 Carrier Corporation System and method for implementing configurable finite state machine
GB0226803D0 (en) 2002-11-16 2002-12-24 Koninkl Philips Electronics Nv State machine modelling
WO2004066200A2 (en) 2003-01-17 2004-08-05 Yeda Research And Development Co. Ltd. Reactive animation
US7200559B2 (en) 2003-05-29 2007-04-03 Microsoft Corporation Semantic object synchronous understanding implemented with speech application language tags
US7478171B2 (en) 2003-10-20 2009-01-13 International Business Machines Corporation Systems and methods for providing dialog localization in a distributed environment and enabling conversational communication using generalized user gestures
US7460650B2 (en) 2004-05-24 2008-12-02 At&T Intellectual Property I, L.P. Method for designing an automated speech recognition (ASR) interface for a customer call center
US20060036770A1 (en) 2004-07-30 2006-02-16 International Business Machines Corporation System for factoring synchronization strategies from multimodal programming model runtimes
US8201140B2 (en) * 2005-08-30 2012-06-12 The Mathworks, Inc. System and method for creating and using graphical object instances in a statechart environment
US7797672B2 (en) 2006-05-30 2010-09-14 Motorola, Inc. Statechart generation using frames
US7505951B2 (en) 2006-05-30 2009-03-17 Motorola, Inc. Hierarchical state machine generation for interaction management using goal specifications
US7877727B2 (en) 2006-08-18 2011-01-25 Bitrouter Hierarchical state programming with a markup language
US20080071714A1 (en) 2006-08-21 2008-03-20 Motorola, Inc. Method and apparatus for controlling autonomic computing system processes using knowledge-based reasoning mechanisms

Also Published As

Publication number Publication date
US7797672B2 (en) 2010-09-14
US20070282570A1 (en) 2007-12-06
WO2007143265A3 (en) 2008-11-06
WO2007143265A2 (en) 2007-12-13

Similar Documents

Publication Publication Date Title
WO2007143265A4 (en) Statechart generation using frames
Soeken et al. Assisted behavior driven development using natural language processing
Øhrstrøm et al. Temporal logic: From ancient ideas to artificial intelligence
WO2007143264B1 (en) Hierarchical state machine generation for interaction management using goal specifications
CN108256870B (en) Method and device for generating description information, updating and processing data based on topological structure
US20240053991A1 (en) Method and Apparatus for Generating Dependence Graph, Device, Storage Medium and Program Product
US20140351677A1 (en) Minimum cut set evaluation system, minimum cut set calculation method, and program
Abusch Triggering from alternative sets and projection of pragmatic presuppositions
CN107506015A (en) The method and apparatus powered to processor
Narayan et al. Enhanced traceability in model-based CASE tools using ontologies and information retrieval
US20220164545A1 (en) Dialog action estimation device, dialog action estimation method, dialog action estimation model learning device, and program
US20220309413A1 (en) Method and apparatus for automated workflow guidance to an agent in a call center environment
CN116312472A (en) Method and device for designing robot speaking group, computer equipment and storage medium
Herzig et al. A dynamic logic of institutional actions
US9483332B2 (en) Event processing method in stream processing system and stream processing system
US10120652B2 (en) System and method for representing software development requirements into standard diagrams
Sheng et al. Mechanized semantics and refinement of UML-Statecharts
Alami et al. Generating sequence diagrams from arabic user requirements using mada+ tokan tool.
Ye et al. LLM-DA: Data Augmentation via Large Language Models for Few-Shot Named Entity Recognition
Enqvist Interrogative belief revision in modal logic
Goranko et al. Tableau-based procedure for deciding satisfiability in the full coalitional multiagent epistemic logic
CN108021559A (en) Natural language understanding system and lexical analysis method
CN110334183A (en) Use the method and device of any text dictionary
Wu et al. Planning of Axiom Absorption.
Bernard et al. Modelling discourse in stag: Subordinate conjunctions and attributing phrases

Legal Events

Date Code Title Description
121 Ep: the epo has been informed by wipo that ep was designated in this application

Ref document number: 07759765

Country of ref document: EP

Kind code of ref document: A2

NENP Non-entry into the national phase

Ref country code: DE

122 Ep: pct application non-entry in european phase

Ref document number: 07759765

Country of ref document: EP

Kind code of ref document: A2