Concurrency and Refinement in the Unified Modeling Language

Concurrency and Refinement in the Unified Modeling Language

Taispeáin leaganacha eile (1)

This paper shows how a formal notion of refinement may be defined for models, and model components, expressed in the Unified Modeling Language (UML). A formal, behavioural semantics is given to combinations of class, object, and state diagrams, using the notation of Communicating Sequential Processe...

Cur síos iomlán

Sonraí bibleagrafaíochta
Príomhchruthaitheoirí:	Davies, J, Crichton, C
Formáid:	Journal article
Foilsithe / Cruthaithe:	2002

Míreanna comhchosúla

Concurrency and Refinement in the Unified Modeling Language
de réir: Davies, J, et al.
Foilsithe / Cruthaithe: (2003)

Using State Diagrams to Describe Concurrent Behaviour
de réir: Davies, J, et al.
Foilsithe / Cruthaithe: (2003)

Semantics and refinement for a concurrent object oriented language
de réir: Monteiro Borba, P
Foilsithe / Cruthaithe: (1995)

Unifying Semantics for Concurrent Programming
de réir: Hoare, T
Foilsithe / Cruthaithe: (2013)

Data refinement for true concurrency
de réir: Brijesh Dongol, et al.
Foilsithe / Cruthaithe: (2013-05-01)

Refinements and higher-order beliefs: a unified survey
de réir: Kajii, Atsushi, et al.
Foilsithe / Cruthaithe: (2021)

Refinements and higher-order beliefs: a unified survey
de réir: Kajii, Atsushi, et al.
Foilsithe / Cruthaithe: (2022)

Refinements of some integral inequalities for unified integral operators
de réir: Chahn Yong Jung, et al.
Foilsithe / Cruthaithe: (2021-01-01)

Counterexample-guided abstraction refinement for symmetric concurrent programs
de réir: Donaldson, A, et al.
Foilsithe / Cruthaithe: (2012)

The unified modeling language user guide /
de réir: 463085 Booch, Grady, et al.
Foilsithe / Cruthaithe: (1999)

The Unified Modeling Language reference manual /
de réir: 432630 Rumbaugh, James, et al.
Foilsithe / Cruthaithe: (1999)

The Unified Modeling Language reference manual /
de réir: 432630 Rumbaugh, James, et al.
Foilsithe / Cruthaithe: (1999)

The Unified modeling language user guide /
de réir: 463085 Booch, Grady, et al.
Foilsithe / Cruthaithe: (2005)

Unified shape and appearance reconstruction with joint camera parameter refinement
de réir: Julian Kaltheuner, et al.
Foilsithe / Cruthaithe: (2023-10-01)

Gender and classifiers in concurrent systems: Refining the typology of nominal classification
de réir: Greville G. Corbett, et al.
Foilsithe / Cruthaithe: (2017-04-01)

Introduction to concurrency in programming languages /
de réir: 235053 Sottile, Matthew J., et al.
Foilsithe / Cruthaithe: (2009)

Formal and Model−Based Testing of Concurrent Workflows
de réir: Wang, C, et al.
Foilsithe / Cruthaithe: (2011)

Formal and Model−Based Testing of Concurrent Workflows
de réir: Wang, C, et al.
Foilsithe / Cruthaithe: (2011)

Correlation of data in the unified modeling language interaction diagram
de réir: Lie, Jonathan Ken, 1977-
Foilsithe / Cruthaithe: (2014)

Unified Modeling Language Application for Laparoscopic Instrument Design
de réir: Veronika Ivanova, et al.
Foilsithe / Cruthaithe: (2024-09-01)

The unified modeling language model of an object oriented debugger system.
de réir: Mohd Ariffin, Noor Afiza, et al.
Foilsithe / Cruthaithe: (2013)

The Concurrent C programming language /
de réir: Gehani, Narain, 1947-, et al.
Foilsithe / Cruthaithe: (c198)

A Modular Formalization of Reversibility for Concurrent Models and Languages
de réir: Alexis Bernadet, et al.
Foilsithe / Cruthaithe: (2016-08-01)

Petroleum refining : in nontechnical language /
de réir: 179254 Leffler, William L.
Foilsithe / Cruthaithe: (2000)

Petroleum refining in nontechnical language /
de réir: 179254 Leffler, William L.
Foilsithe / Cruthaithe: (2008)

Programming Language Features for Refinement
de réir: Jason Koenig, et al.
Foilsithe / Cruthaithe: (2016-06-01)

Compositionality and refinement in model-driven engineering
de réir: Davies, J, et al.
Foilsithe / Cruthaithe: (2012)

Compositionality and Refinement in Model−Driven Engineering
de réir: Davies, J, et al.
Foilsithe / Cruthaithe: (2012)

A formal refinement framework for the systems modeling language
de réir: Jacobs, P
Foilsithe / Cruthaithe: (2015)

Refinement in Object−Z and CSP
de réir: Bolton, C, et al.
Foilsithe / Cruthaithe: (2002)

Targeting in Language: Unifying Deixis and Anaphora
de réir: Leonard Talmy
Foilsithe / Cruthaithe: (2020-09-01)

The Design of Population Data Application Using Unified Modeling Language
de réir: Alim Hardiansyah, et al.
Foilsithe / Cruthaithe: (2019-02-01)

Using unified modeling language for conceptual modelling of knowledge-based systems
de réir: Abdullah, Mohd Syazwan, et al.
Foilsithe / Cruthaithe: (2007)

Design of object-oriented debugger model by using unified modeling language.
de réir: Mohd Sani, Nor Fazlida, et al.
Foilsithe / Cruthaithe: (2013)

Unified Modeling Language Quantitative Measures Based on a Behavioural Model
de réir: Marwah Dabdawb
Foilsithe / Cruthaithe: (2024-03-01)

Notational Modeling for Model Driven Cloud Computing using Unified Modeling Language
de réir: Muhammad Faisal, et al.
Foilsithe / Cruthaithe: (2018-04-01)

Domain−Specific Semantics and Data Refinement of Object Models
de réir: Davies, J, et al.
Foilsithe / Cruthaithe: (2006)

Domain−specific Semantics and Data Refinement of Object Models
de réir: Davies, J, et al.
Foilsithe / Cruthaithe: (2008)

Concurrent programming /
de réir: 361244 Burns, Alan, et al.
Foilsithe / Cruthaithe: (1993)

Toward Concurrent Identification of Human Activities with a Single Unifying Neural Network Classification: First Step
de réir: Andrew Smith, et al.
Foilsithe / Cruthaithe: (2024-07-01)