https://www.mdu.se/

mdu.sePublications
Planned maintenance
A system upgrade is planned for 10/12-2024, at 12:00-13:00. During this time DiVA will be unavailable.
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
UML-based Approach to Specify Secured, Fine-grained Concurrent Access to Shared Resources
Birla Institute of Technology & Scinec, INDIA.
Mälardalen University, Department of Computer Science and Electronics. Tata Institute of Fundamental Research, INDIA .
2007 (English)In: Journal of Object Technology, E-ISSN 1660-1769, Vol. 6, no 1, p. 107-119Article in journal (Refereed) Published
Abstract [en]

In object oriented paradigm, a concurrent system can be regarded as a collection of autonomous active objects which synchronize and communicate through shared passive objects. In this paper, we propose a UML-based approach to specify secured, fine-grained concurrent access to shared resources ensuring data integrity and security. The goal of the approach is to develop the UML specification with precise executional semantics, yet independent of low-level synchronization primitives and implementation environment. The approach is largely inspired from the language constructs of CDL*. A light-weight extension of UML 2.0 meta-model is proposed for the required constructs and semantics. UML protocol statemachine is used to define the access protocol for shared resources and UML activity is used to specify the behavior of methods implementing plausibly concurrent operations. The UML activity construct is extended to support concurrency features; synchronization regions, mutual exclusion and conditional synchronization not supported in current UML2.0 semantic model. The approach can be easily extended to a programming framework of design and coding.

Place, publisher, year, edition, pages
2007. Vol. 6, no 1, p. 107-119
National Category
Computer Engineering
Identifiers
URN: urn:nbn:se:mdh:diva-7108Scopus ID: 2-s2.0-33846820210OAI: oai:DiVA.org:mdh-7108DiVA, id: diva2:237118
Available from: 2009-09-25 Created: 2009-09-25 Last updated: 2024-03-04Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Scopushttp://www.jot.fm/issues/issue_2007_01/article3.pdf

Search in DiVA

By author/editor
Suryadevara, Jagadish
By organisation
Department of Computer Science and Electronics
In the same journal
Journal of Object Technology
Computer Engineering

Search outside of DiVA

GoogleGoogle Scholar

urn-nbn

Altmetric score

urn-nbn
Total: 65 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf