FI118064B - Äärellisen tilakonemallin luominen - Google Patents

Äärellisen tilakonemallin luominen Download PDF

Info

Publication number
FI118064B
FI118064B FI20055408A FI20055408A FI118064B FI 118064 B FI118064 B FI 118064B FI 20055408 A FI20055408 A FI 20055408A FI 20055408 A FI20055408 A FI 20055408A FI 118064 B FI118064 B FI 118064B
Authority
FI
Finland
Prior art keywords
state
transitions
states
state machine
component
Prior art date
Application number
FI20055408A
Other languages
English (en)
Finnish (fi)
Swedish (sv)
Other versions
FI20055408A (fi
FI20055408A0 (fi
Inventor
Marko Salmela
Original Assignee
Suomen 3C Oy
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 Suomen 3C Oy filed Critical Suomen 3C Oy
Priority to FI20055408A priority Critical patent/FI118064B/fi
Publication of FI20055408A0 publication Critical patent/FI20055408A0/fi
Priority to PCT/FI2006/050331 priority patent/WO2007006869A1/en
Priority to KR1020087003096A priority patent/KR20080048454A/ko
Priority to EP06778521A priority patent/EP1907958A4/en
Priority to JP2008520902A priority patent/JP2009501970A/ja
Priority to US11/994,946 priority patent/US20080270101A1/en
Publication of FI20055408A publication Critical patent/FI20055408A/fi
Application granted granted Critical
Publication of FI118064B publication Critical patent/FI118064B/fi

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/38—Creation or generation of source code for implementing user interfaces
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/10—Requirements analysis; Specification techniques
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F9/00—Arrangements for program control, e.g. control units
    • G06F9/06—Arrangements for program control, e.g. control units using stored programs, i.e. using an internal store of processing equipment to receive or retain programs
    • G06F9/44—Arrangements for executing specific programs
    • G06F9/448—Execution paradigms, e.g. implementations of programming paradigms
    • G06F9/4498—Finite state machines

Landscapes

  • Engineering & Computer Science (AREA)
  • Software Systems (AREA)
  • Theoretical Computer Science (AREA)
  • General Engineering & Computer Science (AREA)
  • Physics & Mathematics (AREA)
  • General Physics & Mathematics (AREA)
  • Human Computer Interaction (AREA)
  • Stored Programmes (AREA)
  • User Interface Of Digital Computer (AREA)
FI20055408A 2005-07-12 2005-07-12 Äärellisen tilakonemallin luominen FI118064B (fi)

Priority Applications (6)

Application Number Priority Date Filing Date Title
FI20055408A FI118064B (fi) 2005-07-12 2005-07-12 Äärellisen tilakonemallin luominen
PCT/FI2006/050331 WO2007006869A1 (en) 2005-07-12 2006-07-11 Building finite state machine model
KR1020087003096A KR20080048454A (ko) 2005-07-12 2006-07-11 유한 상태 기계 모델 구축
EP06778521A EP1907958A4 (en) 2005-07-12 2006-07-11 AUTOMATED MODEL CONSTRUCTION FINISH
JP2008520902A JP2009501970A (ja) 2005-07-12 2006-07-11 有限状態マシンモデルの構築
US11/994,946 US20080270101A1 (en) 2005-07-12 2006-07-11 Building Finite State Machine Model

Applications Claiming Priority (2)

Application Number Priority Date Filing Date Title
FI20055408 2005-07-12
FI20055408A FI118064B (fi) 2005-07-12 2005-07-12 Äärellisen tilakonemallin luominen

Publications (3)

Publication Number Publication Date
FI20055408A0 FI20055408A0 (fi) 2005-07-12
FI20055408A FI20055408A (fi) 2007-01-13
FI118064B true FI118064B (fi) 2007-06-15

Family

ID=34803276

Family Applications (1)

Application Number Title Priority Date Filing Date
FI20055408A FI118064B (fi) 2005-07-12 2005-07-12 Äärellisen tilakonemallin luominen

Country Status (6)

Country Link
US (1) US20080270101A1 (ja)
EP (1) EP1907958A4 (ja)
JP (1) JP2009501970A (ja)
KR (1) KR20080048454A (ja)
FI (1) FI118064B (ja)
WO (1) WO2007006869A1 (ja)

Families Citing this family (14)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US7412483B2 (en) * 2005-01-07 2008-08-12 International Business Machines Corporation Automated email activity management
US8605888B2 (en) * 2006-12-01 2013-12-10 Samsung Electronics Co., Ltd. Method for making status function matrix and method for controlling call connection using it
EP2169489B1 (en) * 2008-09-30 2012-08-01 Siemens Aktiengesellschaft Method for implementing production processes
US9009609B2 (en) 2011-09-15 2015-04-14 International Business Machines Corporation Interaction with a visualized state transition model
EP2820537A1 (en) 2012-02-15 2015-01-07 The Mathworks, Inc. Generating a state diagram
WO2013123376A1 (en) 2012-02-15 2013-08-22 The Mathworks, Inc. Unified state transition table describing a state machine model
US9733782B2 (en) * 2013-09-13 2017-08-15 Fujitsu Limited Extracting a deterministic finite-state machine model of a GUI based application
US9652360B2 (en) * 2014-04-04 2017-05-16 Fujitsu Limited Crawling for extracting a model of a GUI-based application
US10078502B2 (en) * 2014-06-19 2018-09-18 Fujitsu Limited Verification of a model of a GUI-based application
WO2017045727A1 (en) * 2015-09-18 2017-03-23 Telefonaktiebolaget Lm Ericsson (Publ) Management of communication between m2m device and m2m server
US10430211B2 (en) * 2016-09-12 2019-10-01 Ignition Interfaces, Inc. Parameterized user interface for capturing user feedback
EP3340044A1 (en) * 2016-12-22 2018-06-27 Ecole Nationale de l'Aviation Civile Method and apparatus for processing software code
KR102276230B1 (ko) * 2019-11-19 2021-07-12 주식회사 카카오뱅크 유한 상태기계 생성 방법, 유한 상태기계 운영 방법, 이를 수행하는 서버 및 컴퓨터 프로그램
US12073457B1 (en) 2021-03-29 2024-08-27 Ignition Interfaces, Inc. Parameterized method, device, and user interface for enabling filtering

Family Cites Families (9)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US5485600A (en) * 1992-11-09 1996-01-16 Virtual Prototypes, Inc. Computer modelling system and method for specifying the behavior of graphical operator interfaces
US5801687A (en) * 1994-09-30 1998-09-01 Apple Computer, Inc. Authoring tool comprising nested state machines for use in a computer system
US6222537B1 (en) * 1997-07-29 2001-04-24 International Business Machines Corporation User interface controls for a computer system
JP2002531899A (ja) * 1998-11-30 2002-09-24 シーベル システムズ，インコーポレイティド プロセス監視用の状態モデル
US6718533B1 (en) * 1999-02-26 2004-04-06 Real-Time Innovations, Inc. Method for building a real-time control system with mode and logical rate
US6031747A (en) * 1999-08-02 2000-02-29 Lockheed Martin Missiles & Space Company Interleaved synchronous flyback converter with high efficiency over a wide operating load range
US6668203B1 (en) * 2001-04-26 2003-12-23 Sandia Corporation State machine analysis of sensor data from dynamic processes
US7415483B2 (en) * 2002-06-05 2008-08-19 Sap Ag Individual data objects in enterprise computing systems
US7231630B2 (en) * 2002-07-12 2007-06-12 Ensequence Inc. Method and system automatic control of graphical computer application appearance and execution

Also Published As

Publication number Publication date
JP2009501970A (ja) 2009-01-22
EP1907958A1 (en) 2008-04-09
KR20080048454A (ko) 2008-06-02
FI20055408A (fi) 2007-01-13
WO2007006869A1 (en) 2007-01-18
FI20055408A0 (fi) 2005-07-12
EP1907958A4 (en) 2010-10-06
US20080270101A1 (en) 2008-10-30

Similar Documents

Publication Publication Date Title
FI118064B (fi) Äärellisen tilakonemallin luominen
US9348736B2 (en) System, method, and computer readable medium for universal software testing
US7512929B2 (en) Apparatus and method for managing design of a software system using dependency structure
US9268672B1 (en) Automated test case generation for applications
US8726226B2 (en) Integrated work lists for engineering project change management
US8010946B2 (en) Apparatus for analysing and organizing artifacts in a software application
US8726209B1 (en) Method and system for automatically establishing a component description format (CDF) debugging environment
US20070150772A1 (en) Systems and Methods For Hazards Analysis
US20140214396A1 (en) Specification properties creation for a visual model of a system
KR20080043345A (ko) 선언적으로 정의되는 컨트롤 액션
CN101710275B (zh) 利用gui工具来编辑工作流逻辑和屏幕的方法和系统
US20170308379A1 (en) Evaluating documentation coverage
JP2011170697A (ja) ソフトウェア構造分析装置
US7373343B2 (en) Requirements management semantics modeling
TWI501152B (zh) 用於簡化具有動態程式庫的介面之方法
US20070299705A1 (en) Method and apparatus for observation model validation
US11468249B2 (en) Linking an entity relating to product development to a document portion
Yeung et al. Modelling and model checking suspendible business processes via statechart diagrams and CSP
JP6281239B2 (ja) プログラム開発サポート装置および方法
JP2020101898A (ja) 設計図作成支援方法、設計図作成支援装置、及び設計図作成支援プログラム
Bencharqui et al. Dealing with Requirement Inconsistencies Based on ReqDL Language
US20230409296A1 (en) Providing metric data for patterns usable in a modeling environment
Pradhan User interface test automation and its challenges in an industrial scenario
Härtull Implementation of an Application for Analyzing and Visualizing Benchmark Results for Optimization Solvers
CN106293897A (zh) 组件自动化调度系统

Legal Events

Date Code Title Description
FG Patent granted

Ref document number: 118064

Country of ref document: FI

MM Patent lapsed