A model-checking approach for service component architectures

Computer Science

• Model Checking 100%
• Service Composition 100%
• Service Component 100%
• Service Interaction 50%
• Modeling Framework 50%
• model checker 50%
• Temporal Logic 50%
• formal modeling 50%
• Service Oriented Computing 50%
• State Machine 50%
• Branching Time 50%

Keyphrases

• Service Composition 100%
• Service Component Architecture 100%
• State Action 50%
• Modeling Framework 50%
• Model Checker 50%
• Formal Modeling 50%
• Service-oriented Computing 50%
• Branching-time Logics 50%
• Encoding Pattern 50%
• UML State Machines 50%
• Service Interactions 50%