CA2583921A1 - Dispositif de calcul fonde sur la logique et methode - Google Patents

Dispositif de calcul fonde sur la logique et methode Download PDF

Info

Publication number
CA2583921A1
CA2583921A1 CA002583921A CA2583921A CA2583921A1 CA 2583921 A1 CA2583921 A1 CA 2583921A1 CA 002583921 A CA002583921 A CA 002583921A CA 2583921 A CA2583921 A CA 2583921A CA 2583921 A1 CA2583921 A1 CA 2583921A1
Authority
CA
Canada
Prior art keywords
model
actor
meta
event
actions
Prior art date
Legal status (The legal status 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 status listed.)
Granted
Application number
CA002583921A
Other languages
English (en)
Other versions
CA2583921C (fr
Inventor
Peter Hawkins
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
Manthatron IP Ltd
Original Assignee
Manthatron-Ip Limited
Peter Hawkins
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 Manthatron-Ip Limited, Peter Hawkins filed Critical Manthatron-Ip Limited
Publication of CA2583921A1 publication Critical patent/CA2583921A1/fr
Application granted granted Critical
Publication of CA2583921C publication Critical patent/CA2583921C/fr
Expired - Fee Related legal-status Critical Current
Anticipated expiration legal-status Critical

Links

Classifications

    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/20—Software design
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/20—Software design
    • G06F8/24—Object-oriented
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06Q—INFORMATION AND COMMUNICATION TECHNOLOGY [ICT] SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL OR SUPERVISORY PURPOSES; SYSTEMS OR METHODS SPECIALLY ADAPTED FOR ADMINISTRATIVE, COMMERCIAL, FINANCIAL, MANAGERIAL OR SUPERVISORY PURPOSES, NOT OTHERWISE PROVIDED FOR
    • G06Q10/00—Administration; Management
    • G06Q10/06—Resources, workflows, human or project management; Enterprise or organisation planning; Enterprise or organisation modelling

Landscapes

  • Engineering & Computer Science (AREA)
  • Theoretical Computer Science (AREA)
  • Software Systems (AREA)
  • Physics & Mathematics (AREA)
  • General Physics & Mathematics (AREA)
  • General Engineering & Computer Science (AREA)
  • Business, Economics & Management (AREA)
  • Economics (AREA)
  • Entrepreneurship & Innovation (AREA)
  • Human Resources & Organizations (AREA)
  • Strategic Management (AREA)
  • Tourism & Hospitality (AREA)
  • General Business, Economics & Management (AREA)
  • Marketing (AREA)
  • Operations Research (AREA)
  • Quality & Reliability (AREA)
  • Automation & Control Theory (AREA)
  • Educational Administration (AREA)
  • Game Theory and Decision Science (AREA)
  • Development Economics (AREA)
  • Multimedia (AREA)
  • Mathematical Analysis (AREA)
  • Pure & Applied Mathematics (AREA)
  • Computational Mathematics (AREA)
  • Data Mining & Analysis (AREA)
  • Evolutionary Computation (AREA)
  • Algebra (AREA)
  • Mathematical Optimization (AREA)
  • Artificial Intelligence (AREA)
  • Computing Systems (AREA)
  • Mathematical Physics (AREA)
  • Nonlinear Science (AREA)
  • Processing Or Creating Images (AREA)
  • Stored Programmes (AREA)
  • Management, Administration, Business Operations System, And Electronic Commerce (AREA)
  • Feedback Control In General (AREA)
CA2583921A 2004-10-18 2005-10-17 Dispositif de calcul fonde sur la logique et methode Expired - Fee Related CA2583921C (fr)

Applications Claiming Priority (3)

Application Number Priority Date Filing Date Title
GBGB0423110.6A GB0423110D0 (en) 2004-10-18 2004-10-18 Acting on a subject system
GB0423110.6 2004-10-18
PCT/EP2005/055310 WO2006042841A2 (fr) 2004-10-18 2005-10-17 Action sur un systeme d'interet

Publications (2)

Publication Number Publication Date
CA2583921A1 true CA2583921A1 (fr) 2006-04-27
CA2583921C CA2583921C (fr) 2017-01-24

Family

ID=33462924

Family Applications (1)

Application Number Title Priority Date Filing Date
CA2583921A Expired - Fee Related CA2583921C (fr) 2004-10-18 2005-10-17 Dispositif de calcul fonde sur la logique et methode

Country Status (7)

Country Link
EP (1) EP1805704A2 (fr)
JP (1) JP5128949B2 (fr)
CN (1) CN101288090B (fr)
AU (1) AU2005296859B2 (fr)
CA (1) CA2583921C (fr)
GB (3) GB0423110D0 (fr)
WO (1) WO2006042841A2 (fr)

Families Citing this family (11)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US8078552B2 (en) * 2008-03-08 2011-12-13 Tokyo Electron Limited Autonomous adaptive system and method for improving semiconductor manufacturing quality
US8725667B2 (en) 2008-03-08 2014-05-13 Tokyo Electron Limited Method and system for detection of tool performance degradation and mismatch
US8190543B2 (en) 2008-03-08 2012-05-29 Tokyo Electron Limited Autonomous biologically based learning tool
US8396582B2 (en) 2008-03-08 2013-03-12 Tokyo Electron Limited Method and apparatus for self-learning and self-improving a semiconductor manufacturing tool
CA2692018A1 (fr) 2009-02-06 2010-08-06 It Actual Sdn. Bhd. Plate-forme de calcul basee sur la hierarchie de structures de donnees emboitees
CA2679786A1 (fr) * 2009-09-16 2009-12-16 Ibm Canada Limited - Ibm Canada Limitee Representation conceptuelle de procedes commerciaux pour application de "cross-domain"
AU2011380289B2 (en) * 2011-10-31 2015-03-26 Fraunhofer-Gesellschaft Zur Foerderung Der Angewandten Forschung E.V. Apparatus and method for synchronizing events
KR102011094B1 (ko) * 2017-06-28 2019-08-14 백옥기 인공지능의 신경가소성 및 자가적응 유연성을 구현하기 위하여 자가적응형 동적 다차원 배열을 관리하는 방법과 이를 이용한 컴퓨터 소프트웨어
CN109460214B (zh) * 2018-11-06 2021-07-27 上海航天测控通信研究所 基于idef建模的航天器软件结构化方法
CN110164082B (zh) * 2019-06-21 2021-01-15 山东大学 家庭安防报警系统的静态控制器设计方法及系统
CN117099057A (zh) * 2021-04-02 2023-11-21 三菱电机株式会社 程序生成装置和程序生成方法

Family Cites Families (13)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
IE873207L (en) * 1987-11-26 1989-05-26 Schering Ag An energy management system
US5596331A (en) * 1988-05-13 1997-01-21 Lockheed Martin Corporation Real-time control sequencer with state matrix logic
JPH02109127A (ja) * 1988-10-19 1990-04-20 Hitachi Ltd 仕様処理方法
US5638539A (en) * 1994-02-28 1997-06-10 International Business Machines Corporation Tool for defining complex systems
US5887143A (en) * 1995-10-26 1999-03-23 Hitachi, Ltd. Apparatus and method for synchronizing execution of programs in a distributed real-time computing system
JP3598732B2 (ja) * 1997-05-20 2004-12-08 三菱電機株式会社 分散制御システムの構成管理方法およびこれに用いるデータ
JPH113108A (ja) * 1997-06-13 1999-01-06 Sony Corp 加工制御方法及び加工制御装置
WO1999030230A1 (fr) * 1997-12-12 1999-06-17 Cacheon, L.L.C. Systeme et procede de traitement informatique naturellement parallele
JP3863069B2 (ja) * 2002-06-06 2006-12-27 本田技研工業株式会社 プラントの制御装置
JP2004164328A (ja) * 2002-11-13 2004-06-10 Fujitsu Ltd 一人ｃａｍシステムおよび一人ｃａｍプログラム
US7006900B2 (en) * 2002-11-14 2006-02-28 Asm International N.V. Hybrid cascade model-based predictive control system
AU2003290932A1 (en) * 2002-11-15 2004-06-15 Applied Materials, Inc. Method, system and medium for controlling manufacture process having multivariate input parameters
JP3940665B2 (ja) * 2002-11-27 2007-07-04 株式会社東芝 ハイブリッドシミュレーション装置およびプログラム

Also Published As

Publication number Publication date
GB0423110D0 (en) 2004-11-17
GB2428322A9 (en) 2007-02-12
GB0613704D0 (en) 2006-08-23
WO2006042841A2 (fr) 2006-04-27
CN101288090B (zh) 2013-09-04
GB2425868B (en) 2007-07-04
GB2425868A (en) 2006-11-08
GB0618546D0 (en) 2006-11-01
GB2428322A (en) 2007-01-24
JP2008517362A (ja) 2008-05-22
CN101288090A (zh) 2008-10-15
WO2006042841A8 (fr) 2008-01-17
EP1805704A2 (fr) 2007-07-11
JP5128949B2 (ja) 2013-01-23
CA2583921C (fr) 2017-01-24
AU2005296859B2 (en) 2011-03-10
AU2005296859A1 (en) 2006-04-27

Similar Documents

Publication Publication Date Title
US7822592B2 (en) Acting on a subject system
AU2005296859B2 (en) Acting on a subject system
Bartoletti et al. Compliance in behavioural contracts: a brief survey
Syriani et al. Modeling a model transformation language
Cadoret et al. Design patterns for rule-based refinement of safety critical embedded systems models
Manolescu Workflow enactment with continuation and future objects
AU2003227991A1 (en) Generation of executable processes for distribution
Kamburjan et al. Session-based compositional analysis for actor-based languages using futures
Bodorik et al. Tabs: Transforming automatically bpmn models into blockchain smart contracts
Degano et al. A two-component language for adaptation: design, semantics and program analysis
Schlatte et al. Release the beasts: When formal methods meet real world data
Chrszon et al. Modeling role-based systems with exogenous coordination
Tan et al. A message-driving formalism for modeling and simulation of multi-agent supply chain systems
Colburn et al. Decoupling as a fundamental value of computer science
Arronategui et al. Towards an architecture proposal for federation of distributed DES simulators
Fiadeiro Software services: Scientific challenge or industrial hype?
Ferigo et al. A generic synchronous dataflow architecture to rapidly prototype and deploy robot controllers
Sendall Specifying reactive system behavior
Wand et al. Computing tomorrow: future research directions in computer science
Poddar et al. Verification of Giotto based Embedded Control Systems.
Majumdar Robots at the edge of the cloud
Rafique et al. Synthesis of Parallel Software from Heterogeneous Dataflow Models
Bagheri et al. Partial Order Reduction for Timed Actors
Ouchani et al. An Enhanced Interface-Based Probabilistic Compositional Verification Approach
Roostaei Ali Mehr Scalable Automatic Service Composition using Genetic Algorithms

Legal Events

Date Code Title Description
EEER Examination request
MKLA Lapsed

Effective date: 20191017