Refining Mobile UML State Machines

No abstract is available for this paper.

• Publication year

  2004

• Venue

  International Conference on Algebraic Methodology and Software Technology

• Publication date

  2004-07-12

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1007/978-3-540-27815-3_23
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• Re(cid:2)nement used for Behaviour Modelling with Automata

  2013influential reference
• Mobile UML Statecharts with Localities

  2004influential reference
• Interacting State Machines for Mobility

  2003cited by this paper
• A spatial logic for concurrency (part I)

  2003cited by this paper
• A Spatio-Temporal Logic for the Specification and Refinement of Mobile Systems

  2003influential reference
• UML for Global Computing

  2003influential reference
• Global computing : programming environments, languages, security, and analysis of systems : IST/FET International Workshop, GC 2003, Rovereto, Italy, February 9-14, 2003 : revised papers

  2003cited by this paper
• Extending Activity Diagrams to Model Mobile Systems

  2002influential reference
• Behavior-consistent specialization of object life cycles

  2002influential reference
• A Spatial Logic for Concurrency

  2001cited by this paper
• Formalization of UML-Statecharts

  2001cited by this paper
• A Modal Logic for KLAIM

  2000cited by this paper
• An Approach to the Combination of Formal Description Techniques: Statecharts and TLA

  1999cited by this paper
• KLAIM: A Kernel Language for Agents Interaction and Mobility

  1998cited by this paper
• Mobile Ambients

  1998cited by this paper
• A Refinement Calculus for Statecharts

  1998influential reference
• The temporal logic of actions

  1994cited by this paper
• The existence of refinement mappings

  1988cited by this paper
• Statecharts: A Visual Formalism for Complex Systems

  1987cited by this paper

• Generating Maude Specifications from M-UML Statechart Diagrams

  2022cites this paper
• Project-Team MOSEL Proof-oriented development of computer-based systems

  2021cites this paper
• A Framework for UML-Based Component-Based Design and Code Generation for Reactive Systems

  2017cites this paper
• Mobile Agent-Based Software Systems Modeling Approaches: A Comparative Study

  2016cites this paper
• A method of refinement in UML-B

  2015cites this paper
• Formalization of Mobile UML Statechart Diagrams Using the π-calculus: An Approach for Modeling and Analysis

  2014cites this paper
• Refining Nodes and Edges of State Machines

  2011cites this paper
• Towards a mobile temporal logic of actions

  2005cites this paper
• Management of Wireless Software Components

  2005cites this paper
• Proof-oriented development of computer-based systems

  2005cites this paper
• Proof-oriented development of computer-based systems

  2005cites this paper
• Administration de composants logiciels : application aux systèmes sans fil

  2005cites this paper
• Mobile UML Statecharts with Localities

  2004cites this paper