NO20051241L - Verifiserbare prosesser i et heterogent, distribuert databehandlingsmiljo - Google Patents

Verifiserbare prosesser i et heterogent, distribuert databehandlingsmiljo

Info

Publication number
NO20051241L
NO20051241L NO20051241A NO20051241A NO20051241L NO 20051241 L NO20051241 L NO 20051241L NO 20051241 A NO20051241 A NO 20051241A NO 20051241 A NO20051241 A NO 20051241A NO 20051241 L NO20051241 L NO 20051241L
Authority
NO
Norway
Prior art keywords
distributed computing
execution
processes
computing environment
heterogeneous
Prior art date
Application number
NO20051241A
Other languages
English (en)
Other versions
NO20051241D0 (no
Inventor
Andrew Martin West
Stephen Sean Mark Ross-Talbot
Gary Peter Brown
Duncan Jonston-Watt
Original Assignee
Enigmatec Corp
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 Enigmatec Corp filed Critical Enigmatec Corp
Publication of NO20051241D0 publication Critical patent/NO20051241D0/no
Publication of NO20051241L publication Critical patent/NO20051241L/no

Links

Classifications

    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/36—Preventing errors by testing or debugging software
    • G06F11/3668—Software testing
    • G06F11/3672—Test management
    • G06F11/3688—Test management for test execution, e.g. scheduling of test suites
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/30—Monitoring
    • G06F11/34—Recording or statistical evaluation of computer activity, e.g. of down time, of input/output operation ; Recording or statistical evaluation of user activity, e.g. usability assessment
    • G06F11/3466—Performance evaluation by tracing or monitoring
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR COUNTING
    • G06F—ELECTRIC DIGITAL DATA PROCESSING
    • G06F2201/00—Indexing scheme relating to error detection, to error correction, and to monitoring
    • G06F2201/86—Event-based monitoring

Landscapes

  • Engineering & Computer Science (AREA)
  • Theoretical Computer Science (AREA)
  • General Engineering & Computer Science (AREA)
  • Computer Hardware Design (AREA)
  • Quality & Reliability (AREA)
  • Physics & Mathematics (AREA)
  • General Physics & Mathematics (AREA)
  • Debugging And Monitoring (AREA)
  • Stored Programmes (AREA)
  • Management, Administration, Business Operations System, And Electronic Commerce (AREA)
  • Information Retrieval, Db Structures And Fs Structures Therefor (AREA)

Abstract

Det er beskrevet en fremgangsmåte, et dataprogramprodukt og et system som angår utførelse av verifiserbare prosesser i et distribuert beregnings/behandlingsmiljø. Mer spesielt angår oppfinnelsen autonom implementering og verifisering av en forretningslogikk-spesifikasjon i et heterogent distribuert beregningsmiljø. Forretningslogikk-spesifikasjonen (102) blir vist i (trinn 112) som et antall validerte prosesser (104) for utførelse i et distribuert behandlingsmiljø (110). Ved å overvåke og analysere den informasjon som genereres i utførelsestrinnet (trinn 114), er det mulig å korrelere en visning av utførelsesprosessen (106). Sammenligning mellom den opprinnelige spesifikasjonen og den korrelerte visningen blir utført, kontekstinformasjon blir tilført (trinn 116) og endringer gjort på spesifikasjonen som et resultat av dette. Oppfinnelsen tilveiebringer den fullstendige syklus av hendelser hovedsakelig autonomt.
NO20051241A 2002-09-25 2005-03-10 Verifiserbare prosesser i et heterogent, distribuert databehandlingsmiljo NO20051241L (no)

Applications Claiming Priority (2)

Application Number Priority Date Filing Date Title
US10/254,258 US20040060038A1 (en) 2002-09-25 2002-09-25 Verifiable processes in a heterogeneous distributed computing environment
PCT/GB2003/004205 WO2004029800A2 (en) 2002-09-25 2003-09-25 Verifiable processes in a heterogeneous distributed computing environment

Publications (2)

Publication Number Publication Date
NO20051241D0 NO20051241D0 (no) 2005-03-10
NO20051241L true NO20051241L (no) 2005-06-27

Family

ID=31993311

Family Applications (1)

Application Number Title Priority Date Filing Date
NO20051241A NO20051241L (no) 2002-09-25 2005-03-10 Verifiserbare prosesser i et heterogent, distribuert databehandlingsmiljo

Country Status (8)

Country Link
US (2) US20040060038A1 (no)
EP (1) EP1543412A2 (no)
JP (1) JP2006500670A (no)
CN (1) CN1688971A (no)
AU (1) AU2003269216A1 (no)
GB (1) GB2405977B (no)
NO (1) NO20051241L (no)
WO (1) WO2004029800A2 (no)

Families Citing this family (30)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US7237231B2 (en) * 2003-03-10 2007-06-26 Microsoft Corporation Automatic identification of input values that expose output failures in a software object
US7278135B2 (en) * 2003-06-11 2007-10-02 Microsoft Corporation Method and system for generating an efficient test suite from a domain description with given constraints
US8386272B2 (en) * 2003-08-06 2013-02-26 International Business Machines Corporation Autonomic assistance for policy generation
US7861181B2 (en) * 2003-08-29 2010-12-28 International Business Machines Corporation Autonomic user interface widgets
GB2408355B (en) * 2003-11-18 2007-02-14 Ibm A system for verifying a state of an environment
US8799003B2 (en) * 2004-05-18 2014-08-05 International Business Machines Corporation Dynamic binding of principal services in a cross-enterprise business process management system
GB2416048A (en) * 2004-07-10 2006-01-11 Hewlett Packard Development Co Inferring data type in a multi stage process
US8819639B2 (en) * 2004-09-15 2014-08-26 Lakeside Software, Inc. System for selectively blocking execution of applications on a computer system
US7406626B2 (en) * 2004-11-12 2008-07-29 Empirix Inc. Test agent architecture
EP1677197A1 (en) * 2004-12-31 2006-07-05 ST Incard S.r.l. Test case automatic generation method for testing proactive GSM applications on SIM card
US20070046282A1 (en) * 2005-08-31 2007-03-01 Childress Rhonda L Method and apparatus for semi-automatic generation of test grid environments in grid computing
EP1934721A2 (en) * 2005-09-23 2008-06-25 Business Objects, S.A. Apparatus and method for data profile based construction of an extraction, transform, load (etl) task
US9501463B2 (en) * 2005-12-08 2016-11-22 Microsoft Technology Licensing, Llc Spreadsheet cell-based notifications
US7707553B2 (en) * 2005-12-08 2010-04-27 International Business Machines Corporation Computer method and system for automatically creating tests for checking software
US20070180433A1 (en) * 2006-01-27 2007-08-02 International Business Machines Corporation Method to enable accurate application packaging and deployment with optimized disk space usage
CN100571167C (zh) * 2006-02-24 2009-12-16 国际商业机器公司 Web服务业务流程的单元测试的方法和设备
US8726241B1 (en) * 2007-06-06 2014-05-13 Rockwell Collins, Inc. Method and system for the development of high-assurance computing elements
US8627299B2 (en) 2008-02-29 2014-01-07 International Business Machines Corporation Virtual machine and programming language for event processing
US8365149B2 (en) * 2008-02-29 2013-01-29 International Business Machines Corporation Debugger for a declarative event-driven programming model
US8397216B2 (en) * 2008-02-29 2013-03-12 International Business Machines Corporation Compiler for a declarative event-driven programming model
US20110010217A1 (en) * 2009-07-13 2011-01-13 International Business Machines Corporation Service Oriented Architecture Governance Using A Template
US8386282B2 (en) * 2009-07-22 2013-02-26 International Business Machines Corporation Managing events in a configuration of SOA governance components
US8839214B2 (en) * 2010-06-30 2014-09-16 Microsoft Corporation Indexable type transformations
US9043761B2 (en) * 2010-09-01 2015-05-26 International Business Machines Corporation Fault localization using condition modeling and return value modeling
US8510762B1 (en) * 2011-10-12 2013-08-13 Google Inc. Generate custom client library samples based on a machine readable API description
JP5857806B2 (ja) * 2012-03-08 2016-02-10 日本電気株式会社 分散処理システムのテスト方法および分散処理システム
US9389986B2 (en) * 2013-05-06 2016-07-12 Microsoft Technology Licensing, Llc Identifying impacted tests from statically collected data
CN105426231A (zh) * 2014-09-04 2016-03-23 腾讯科技（深圳）有限公司 多进程处理装置和多进程处理方法
CN108509335B (zh) * 2018-01-31 2021-03-19 浙江理工大学 基于遗传算法优化的软件测试数据生成方法
CN111610976B (zh) * 2020-04-08 2023-04-07 中科曙光(南京)计算技术有限公司 异构应用移植方法、装置和计算机设备

Family Cites Families (6)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
DE19535084A1 (de) * 1995-09-21 1997-03-27 Ibm Verfahren und Vorrichtung zur dynamischen Optimierung von durch ein Computersystem gemanagten Geschäftsprozessen
US6385765B1 (en) * 1996-07-02 2002-05-07 The Research Foundation Specification and verification for concurrent systems with graphical and textual editors
US6516322B1 (en) * 2000-04-28 2003-02-04 Microsoft Corporation XML-based representation of mobile process calculi
WO2002019228A1 (en) * 2000-09-01 2002-03-07 Togethersoft Corporation Methods and systems for improving a workflow based on data mined from plans created from the workflow
US6868413B1 (en) * 2001-05-10 2005-03-15 Networks Associates Technology, Inc. System and method for customizing and processing business logic rules in a business process system
AU2003259744A1 (en) * 2002-08-09 2004-02-25 Corticon Technologies, Inc. Rule engine

Also Published As

Publication number Publication date
US20040060038A1 (en) 2004-03-25
US20040064806A1 (en) 2004-04-01
WO2004029800A3 (en) 2004-08-12
EP1543412A2 (en) 2005-06-22
CN1688971A (zh) 2005-10-26
GB0428115D0 (en) 2005-01-26
WO2004029800A2 (en) 2004-04-08
GB2405977B (en) 2005-11-09
AU2003269216A1 (en) 2004-04-19
GB2405977A (en) 2005-03-16
JP2006500670A (ja) 2006-01-05
NO20051241D0 (no) 2005-03-10

Similar Documents

Publication Publication Date Title
NO20051241L (no) Verifiserbare prosesser i et heterogent, distribuert databehandlingsmiljo
HK1070964A1 (en) Method of communicating across an operating system
NO20072763L (no) Fremgangsmate for prosessering av minst to sett seismikkdata
AU2001250773A1 (en) System and method for assessing the security posture of a network
TW200515256A (en) System and method for using first-principles simulation to facilitate a semiconductor manufacturing process
WO2007109723A3 (en) Computer automated group detection
TW200500868A (en) Method and apparatus for obtaining status information in a grid
ATE232616T1 (de) Verfahren zur überwachung des programmablaufs
WO2007047868A3 (en) System, method, and computer program for early event detection
JP2002278773A5 (no)
WO2001097029A3 (en) Method and apparatus for implementing an extended virtual machine
FR2884004B1 (fr) Procede de traitement de donnees impliquant une exponentiation modulaire et un dispositif associe
WO2006010128A3 (en) Maintenance, diagnosis and optimization of processes
ATE442616T1 (de) System, verfahren und computerprogrammprodukt zur maschinenwerkzeug-programmierung
WO2005024631A3 (en) Creating and checking runtime data types
WO2006083046A3 (en) Methods and apparatus for providing a task change application programming interface
DE50312601D1 (de) Verfahren zum erzeugen von softwaremodulen für feldgeräte der prozessautomatisierungstechnik
ATE438145T1 (de) Verfahren und vorrichtung zur mehrfachverarbeitungsausführung von computeranweisungen
WO2002077751A3 (en) Apparatus and method for designing proteins and protein libraries
WO2001079949A3 (en) Automated process control and data management system and methods
WO2005048109A3 (en) System, method, and computer program product for distributed testing of program code
WO2004095283A3 (en) A method for cpu simulation using virtual machine extensions
WO2005013100A3 (en) Systems and methods for generating and distributing executable procedures for technical desk-side support
WO2005003368A3 (de) Verfahren, computerprogramm mit programmcode-mitteln und computerprogramm-produkt zur analyse eines regulatorischen genetischen netzwerks einer zelle
Wang et al. RTPA-based Software Generation by AI Programming

Legal Events

Date Code Title Description
FC2A Withdrawal, rejection or dismissal of laid open patent application