Verification of message sequence charts

Number of patents in Portfolio can not be more than 2000

United States of America Patent

PATENT NO 6346879
SERIAL NO

09565394

Stats

ATTORNEY / AGENT: (SPONSORED)

Importance

Loading Importance Indicators... loading....

Abstract

See full text

A method for checking a property of a system modeled with a hierarchical message sequence chart is provided. To check a property of the modeled system, a temporal logic causality specification is defined. The specification is translated to a specification automaton, and an implementation automaton is constructed from the hierarchical message sequence chart. The intersection of the automata are then checked for emptiness.

Loading the Abstract Image... loading....

First Claim

See full text

Family

Loading Family data... loading....

Patent Owner(s)

Patent OwnerAddressTotal Patents
LUCENT TECHNOLOGIES INC.MURRAY HILL, NJ6819

International Classification(s)

  • [Classification Symbol]
  • [Patents Count]

Inventor(s)

Inventor Name Address # of filed Patents Total Citations
Peled, Doron A Berkeley Heights, NJ 7 113

Cited Art Landscape

Patent Info (Count) # Cites Year
 
FUJITSU LIMITED (1)
* 6154129 Operation system for transmission devices and alarm monitoring method 10 1998
* Cited By Examiner

Patent Citation Ranking

Forward Cite Landscape

Patent Info (Count) # Cites Year
 
INTERNATIONAL BUSINESS MACHINES CORPORATION (10)
8863102 Method and system for assembling information processing applications based on declarative semantic specifications 5 2007
8370812 Method and system for automatically assembling processing graphs in information processing systems 33 2007
8307372 Method for declarative semantic expression of user intent to enable goal-driven information processing 4 2007
8166465 Method and system for composing stream processing applications according to a semantic description of a processing goal 10 2007
* 8098248 Method for semantic modeling of stream processing components to enable automatic application composition 1 2007
* 2011/0004,863 METHOD AND SYSTEM FOR AUTOMATICALLY ASSEMBLING PROCESSING GRAPHS IN INFORMATION PROCESSING SYSTEMS 9 2007
* 2008/0244,236 METHOD AND SYSTEM FOR COMPOSING STREAM PROCESSING APPLICATIONS ACCORDING TO A SEMANTIC DESCRIPTION OF A PROCESSING GOAL 3 2007
* 2008/0244,540 METHOD AND SYSTEM FOR ASSEMBLING INFORMATION PROCESSING APPLICATIONS BASED ON DECLARATIVE SEMANTIC SPECIFICATIONS 6 2007
* 2008/0243,451 METHOD FOR SEMANTIC MODELING OF STREAM PROCESSING COMPONENTS TO ENABLE AUTOMATIC APPLICATION COMPOSITION 36 2007
* 2008/0243,449 METHOD FOR DECLARATIVE SEMANTIC EXPRESSION OF USER INTENT TO ENABLE GOAL-DRIVEN INFORMATION PROCESSING 10 2007
 
PALO ALTO RESEARCH CENTER INCORPORATED (2)
* 7584444 System and method for external-memory graph search utilizing edge partitioning 3 2006
* 2008/0143,723 SYSTEM AND METHOD FOR EXTERNAL-MEMORY GRAPH SEARCH UTILIZING EDGE PARTITIONING 4 2006
 
Next Stage Evolution, LLC (1)
8655804 System and method for determining a characteristic of an individual 0 2009
 
SRI INTERNATIONAL (2)
* 7653520 Method for combining decision procedures with satisfiability solvers 9 2003
* 2004/0019,468 Method for combining decision procedures with satisfiability solvers 25 2003
 
CARRABIS, SUSAN (4)
* 7383283 Programable method and apparatus for real-time adaptation of presentations to individuals 5 2002
* 2003/0074,092 Programable method and apparatus for real-time adaptation of presentations to individuals 17 2002
8195597 System and method for obtaining subtextual information regarding an interaction between an individual and a programmable device 0 2008
* 2008/0313,108 System and Method for Obtaining Subtextual Information Regarding an Interaction Between an Individual and a Programmable Device 2 2008
 
The United States of America as represented by the Secretary of the Army (1)
* 2003/0199,850 Orthogonal arterial catheter 26 2003
 
KABUSHIKI KAISHA TOSHIBA (1)
* 2009/0132,227 COUNTER EXAMPLE ANALYSIS SUPPORT APPARATUS 1 2008
 
TEKTRONIX, INC. (1)
* 7369507 Process for learning the basic finite automation of a protocol implementation 0 2000
* Cited By Examiner