ERDoc: A Web Interface for Entity-Relation Modelling
Abstract
References
Index Terms
- ERDoc: A Web Interface for Entity-Relation Modelling
Recommendations
Preliminary explorations in specifying and validating entity-relationship models in PVS
AFM '07: Proceedings of the second workshop on Automated formal methodsEntity-Relationship (ER) diagrams are an established way of doing data modeling. In this paper, we report our experience with exploring the use of PVS to formally specify and reason with ER data models. Working with a text-book example, we rely on PVS's ...
Higher-Order Entity Relationship Modelling with UML
QSIC '05: Proceedings of the Fifth International Conference on Quality SoftwareTo explore the use of UML for creating valuerepresentable data models, we use the Object Management Group (OMG) Meta Object Facility (MOF) to formally describe the Higher-order Entity Relationship Model (HERM). In addition, we formally define a UML ...
User Interface Modeling in UMLi
Although user interfaces represent an essential part of software systems, the Unified Modeling Language seems to have been developed with little specific attention given to user interface issues. You can use standard UML to model important aspects of ...
Comments
Information & Contributors
Information
Published In
![cover image ACM Conferences](/cms/asset/c46369a1-3a43-4adf-ad64-9102468dc631/3663649.cover.jpg)
Sponsors
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Check for updates
Author Tags
Qualifiers
- Research-article
- Research
- Refereed limited
Funding Sources
- FONDECYT
- ANID - Millennium Science Initiative Program
Conference
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 11Total Downloads
- Downloads (Last 12 months)11
- Downloads (Last 6 weeks)11
Other Metrics
Citations
View Options
View options
View or Download as a PDF file.
PDFeReader
View online with eReader.
eReaderHTML Format
View this article in HTML Format.
HTML FormatGet Access
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in