[go: up one dir, main page]

Kerkouche et al., 2009 - Google Patents

Transforming UML models to colored Petri nets models using graph grammars

Kerkouche et al., 2009

Document ID
10527160634594460018
Author
Kerkouche E
Chaoui A
Khalfaoui K
Publication year
Publication venue
2009 IEEE Symposium on Computers and Communications

External Links

Snippet

In this paper we propose an approach for transforming UML statechart and collaboration diagrams to colored Petri nets models. This transformation aims to bridge the gap between informal notation (UML diagrams) and more formal notation (colored Petri nets models) for …
Continue reading at ieeexplore.ieee.org (other versions)

Classifications

    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/40—Transformations of program code
    • G06F8/41—Compilation
    • G06F8/42—Syntactic analysis
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/30—Creation or generation of source code
    • G06F8/31—Programming languages or programming paradigms
    • G06F8/315—Object-oriented languages
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/30—Creation or generation of source code
    • G06F8/35—Model driven
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL 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; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/40—Transformations of program code
    • G06F8/51—Source to source
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F17/00—Digital computing or data processing equipment or methods, specially adapted for specific functions
    • G06F17/20—Handling natural language data
    • G06F17/27—Automatic analysis, e.g. parsing
    • G06F17/2705—Parsing
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F17/00—Digital computing or data processing equipment or methods, specially adapted for specific functions
    • G06F17/50—Computer-aided design
    • G06F17/5009—Computer-aided design using simulation
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F17/00—Digital computing or data processing equipment or methods, specially adapted for specific functions
    • G06F17/50—Computer-aided design
    • G06F17/5045—Circuit design
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/30—Creation or generation of source code
    • G06F8/38—Implementation of user interfaces
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/30—Creation or generation of source code
    • G06F8/36—Software reuse
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/10—Requirements analysis; Specification techniques
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/70—Software maintenance or management
    • G06F8/74—Reverse engineering; Extracting design information from source code
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F8/00—Arrangements for software engineering
    • G06F8/20—Software design
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06N—COMPUTER SYSTEMS BASED ON SPECIFIC COMPUTATIONAL MODELS
    • G06N5/00—Computer systems utilising knowledge based models
    • G06N5/02—Knowledge representation
    • G06N5/022—Knowledge engineering, knowledge acquisition
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F17/00—Digital computing or data processing equipment or methods, specially adapted for specific functions
    • G06F17/30—Information retrieval; Database structures therefor; File system structures therefor
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F9/00—Arrangements for programme control, e.g. control unit
    • G06F9/06—Arrangements for programme control, e.g. control unit using stored programme, i.e. using internal store of processing equipment to receive and retain programme
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06N—COMPUTER SYSTEMS BASED ON SPECIFIC COMPUTATIONAL MODELS
    • G06N99/00—Subject matter not provided for in other groups of this subclass
    • G—PHYSICS
    • G06—COMPUTING; CALCULATING; COUNTING
    • G06F—ELECTRICAL DIGITAL DATA PROCESSING
    • G06F11/00—Error detection; Error correction; Monitoring
    • G06F11/36—Preventing errors by testing or debugging software

Similar Documents

Publication Publication Date Title
Ehrig et al. Generating instance models from meta models
Bashir et al. UML models consistency management: Guidelines for software quality manager
Labbani UML and colored petri nets integrated modeling and analysis approach using graph transformation
Lignos et al. Provably correct reactive control from natural language
Gabmeyer et al. A feature-based classification of formal verification techniques for software models
Ehrig et al. Overview of formal concepts for model transformations based on typed attributed graph transformation
Wagenhals et al. Toward executable architectures to support evaluation
Kerkouche et al. Transforming UML models to colored Petri nets models using graph grammars
Osis et al. MDA Oriented Computation Independent Modeling of the Problem Domain.
Osis et al. Formal Computation Independent Model of the Problem Domain within the MDA.
Plasil et al. Getting'Whole Picture'Behavior In A Use Case Model
CN1530829A (en) Extensible Graphical User Interface Development Framework
Oquendo et al. A formal approach for architecting software-intensive systems-of-systems with guarantees
Farahbod et al. Executable formal specifications of complex distributed systems with CoreASM
Kerkouche et al. On the Use of Graph Transformation in the Modeling and Verification of Dynamic Behavior in UML Models.
Bahri et al. Transforming mobile UML statecharts models to nested nets models using graph grammars: an approach for modeling and analysis of mobile agent-based software systems
Höver et al. A domain specific language for describing s-bpm processes
Kerkouche et al. A graphical tool support to process and simulate ecatnets models based on meta-modelling and graph grammars
Pais et al. Towards statecharts to input-output place transition nets transformations
El Mansouri et al. A Graphical Environment for Petri Nets INA Tool Based on Meta-Modelling and Graph Grammars
Rafe et al. Verification and validation of activity diagrams using graph transformation
Dodds et al. From hyperedge replacement to separation logic and back
Wiam et al. Formal Verification and validation of object-aspect oriented models, an approach based on graph transformation.
Joochim et al. Timing diagrams requirements modeling using Event-B formal methods
Longuet et al. Towards a Tool for Featherweight OCL: A Case Study On Semantic Reflection.