Specifying UML Protocol State Machines in Alloy

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-642-30729-4_22
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Springer Berlin Heidelberg

Related search

Modeling the Dynamics of UML State Machines

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2000English

Model Checking Timed UML State Machines and Collaborations

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
2002English

DEONTIC PROTOCOL MODELLING - Modelling Business Rules With State Machines

2006English

TURTLES AS STATE MACHINES - Agent Programming in NetLogo Using State Machines

2012English

Finite State Machines

2017English

Concurrent Abstract State Machines

Acta Informatica
Computer NetworksSoftwareInformation SystemsCommunications
2015English

On State-Behavior Machines

Memoirs of the Faculty of Science, Kyushu University. Series A, Mathematics
1977English

Modeling Legislation by Using UML State Machine Diagrams

2006English

State Enumeration With Abstract Descriptions of State Machines

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1995English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2026 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy