Concurrency and Refinement in the Unified Modeling Language

Concurrency and Refinement in the Unified Modeling Language

Hiển thị phiên bản (1) khác

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...

Mô tả đầy đủ

Chi tiết về thư mục
Những tác giả chính:	Davies, J, Crichton, C
Định dạng:	Journal article
Được phát hành:	2002

Những quyển sách tương tự

Concurrency and Refinement in the Unified Modeling Language
Bằng: Davies, J, et al.
Được phát hành: (2003)

Using State Diagrams to Describe Concurrent Behaviour
Bằng: Davies, J, et al.
Được phát hành: (2003)

Semantics and refinement for a concurrent object oriented language
Bằng: Monteiro Borba, P
Được phát hành: (1995)

Unifying Semantics for Concurrent Programming
Bằng: Hoare, T
Được phát hành: (2013)

Data refinement for true concurrency
Bằng: Brijesh Dongol, et al.
Được phát hành: (2013-05-01)

Refinements and higher-order beliefs: a unified survey
Bằng: Kajii, Atsushi, et al.
Được phát hành: (2021)

Refinements and higher-order beliefs: a unified survey
Bằng: Kajii, Atsushi, et al.
Được phát hành: (2022)

Refinements of some integral inequalities for unified integral operators
Bằng: Chahn Yong Jung, et al.
Được phát hành: (2021-01-01)

Counterexample-guided abstraction refinement for symmetric concurrent programs
Bằng: Donaldson, A, et al.
Được phát hành: (2012)

The unified modeling language user guide /
Bằng: 463085 Booch, Grady, et al.
Được phát hành: (1999)

The Unified Modeling Language reference manual /
Bằng: 432630 Rumbaugh, James, et al.
Được phát hành: (1999)

The Unified Modeling Language reference manual /
Bằng: 432630 Rumbaugh, James, et al.
Được phát hành: (1999)

The Unified modeling language user guide /
Bằng: 463085 Booch, Grady, et al.
Được phát hành: (2005)

Unified shape and appearance reconstruction with joint camera parameter refinement
Bằng: Julian Kaltheuner, et al.
Được phát hành: (2023-10-01)

Inequalities for unified integral operators of generalized refined convex functions
Bằng: Moquddsa Zahra, et al.
Được phát hành: (2022-01-01)

Gender and classifiers in concurrent systems: Refining the typology of nominal classification
Bằng: Greville G. Corbett, et al.
Được phát hành: (2017-04-01)

Introduction to concurrency in programming languages /
Bằng: 235053 Sottile, Matthew J., et al.
Được phát hành: (2009)

Formal and Model−Based Testing of Concurrent Workflows
Bằng: Wang, C, et al.
Được phát hành: (2011)

Formal and Model−Based Testing of Concurrent Workflows
Bằng: Wang, C, et al.
Được phát hành: (2011)

Correlation of data in the unified modeling language interaction diagram
Bằng: Lie, Jonathan Ken, 1977-
Được phát hành: (2014)

Unified Modeling Language Application for Laparoscopic Instrument Design
Bằng: Veronika Ivanova, et al.
Được phát hành: (2024-09-01)

The unified modeling language model of an object oriented debugger system.
Bằng: Mohd Ariffin, Noor Afiza, et al.
Được phát hành: (2013)

The Concurrent C programming language /
Bằng: Gehani, Narain, 1947-, et al.
Được phát hành: (c198)

A Modular Formalization of Reversibility for Concurrent Models and Languages
Bằng: Alexis Bernadet, et al.
Được phát hành: (2016-08-01)

Petroleum refining : in nontechnical language /
Bằng: 179254 Leffler, William L.
Được phát hành: (2000)

Petroleum refining in nontechnical language /
Bằng: 179254 Leffler, William L.
Được phát hành: (2008)

Programming Language Features for Refinement
Bằng: Jason Koenig, et al.
Được phát hành: (2016-06-01)

Compositionality and refinement in model-driven engineering
Bằng: Davies, J, et al.
Được phát hành: (2012)

Compositionality and Refinement in Model−Driven Engineering
Bằng: Davies, J, et al.
Được phát hành: (2012)

A formal refinement framework for the systems modeling language
Bằng: Jacobs, P
Được phát hành: (2015)

Refinement in Object−Z and CSP
Bằng: Bolton, C, et al.
Được phát hành: (2002)

Targeting in Language: Unifying Deixis and Anaphora
Bằng: Leonard Talmy
Được phát hành: (2020-09-01)

The Design of Population Data Application Using Unified Modeling Language
Bằng: Alim Hardiansyah, et al.
Được phát hành: (2019-02-01)

Using unified modeling language for conceptual modelling of knowledge-based systems
Bằng: Abdullah, Mohd Syazwan, et al.
Được phát hành: (2007)

Design of object-oriented debugger model by using unified modeling language.
Bằng: Mohd Sani, Nor Fazlida, et al.
Được phát hành: (2013)

Unified Modeling Language Quantitative Measures Based on a Behavioural Model
Bằng: Marwah Dabdawb
Được phát hành: (2024-03-01)

Notational Modeling for Model Driven Cloud Computing using Unified Modeling Language
Bằng: Muhammad Faisal, et al.
Được phát hành: (2018-04-01)

Domain−Specific Semantics and Data Refinement of Object Models
Bằng: Davies, J, et al.
Được phát hành: (2006)

Domain−specific Semantics and Data Refinement of Object Models
Bằng: Davies, J, et al.
Được phát hành: (2008)

Toward Concurrent Identification of Human Activities with a Single Unifying Neural Network Classification: First Step
Bằng: Andrew Smith, et al.
Được phát hành: (2024-07-01)