CORE
🇺🇦
make metadata, not war
Services
Services overview
Explore all CORE services
Access to raw data
API
Dataset
FastSync
Content discovery
Recommender
Discovery
OAI identifiers
OAI Resolver
Managing content
Dashboard
Bespoke contracts
Consultancy services
Support us
Support us
Membership
Sponsorship
Community governance
Advisory Board
Board of supporters
Research network
About
About us
Our mission
Team
Blog
FAQs
Contact us
research
Architectural abstraction as transformation of poset labelled graphs
Authors
M Denford
J Leaney
T O'Neill
A Solomon
Publication date
1 January 2004
Publisher
Doi
Cite
Abstract
The design of large, complex computer based systems, based on their architecture, will benefit from a formal system that is intuitive, scalable and accessible to practitioners. The work herein is based in graphs which are an efficient and intuitive way of encoding structure, the essence of architecture. A model of system architectures and architectural abstraction is proposed, using poset labelled graphs and their transformations. The poset labelled graph formalism closely models several important aspects of architectures, namely topology, type and levels of abstraction. The technical merits of the formalism are discussed in terms of the ability to express and use domain knowledge to ensure sensible refinements. An abstraction / refinement calculus is introduced and illustrated with a detailed usage scenario. The paper concludes with an evaluation of the formalism in terms of its rigour, expressiveness, simplicity and practicality. © J.UCS
Similar works
Full text
Available Versions
ARPHA Preprints
See this paper in CORE
Go to the repository landing page
Download from data provider
10.3217/jucs-010-10-1408
Last time updated on 25/08/2023
OPUS - University of Technology Sydney
See this paper in CORE
Go to the repository landing page
Download from data provider
oai:opus.lib.uts.edu.au:10453/...
Last time updated on 14/09/2015
OPUS - University of Technology Sydney
See this paper in CORE
Go to the repository landing page
Download from data provider
oai:opus.lib.uts.edu.au:10453/...
Last time updated on 14/09/2015
NEUROSURGERY ENTHUSIASTIC WOMEN SOCIETY
See this paper in CORE
Go to the repository landing page
Download from data provider
oai:zenodo.org:6996645
Last time updated on 02/12/2022
ARPHA OAI-PMH Endpoint
See this paper in CORE
Go to the repository landing page
Download from data provider
10.3217/jucs-010-10-1408
Last time updated on 25/10/2023
ZENODO
See this paper in CORE
Go to the repository landing page
Download from data provider
oai:zenodo.org:6996645
Last time updated on 08/08/2023