Gandalf: software development environments
IEEE Transactions on Software Engineering
European Software Factory Plan—the ESF profile
Modern software engineering, foundations and current perspectives
ICSE '91 Proceedings of the 13th international conference on Software engineering
Protocols for Integrity Constraint Checking in FederatedDatabases
Distributed and Parallel Databases
World Wide Web Journal - Special issue on XML: principles, tools, and techniques
Building tightly integrated software development environments: the IPSEN approach
Building tightly integrated software development environments: the IPSEN approach
ACM Computing Surveys (CSUR)
ACM Computing Surveys (CSUR)
Path constraints in semistructured databases
Journal of Computer and System Sciences - Special issue on the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on principles of database systems
A framework for multi-valued reasoning over inconsistent viewpoints
ICSE '01 Proceedings of the 23rd International Conference on Software Engineering
xlinkit: a consistency checking and smart link generation service
ACM Transactions on Internet Technology (TOIT)
A formal semantics of patterns in XSLT and XPath
Markup Languages
Inconsistency Handling in Multiperspective Specifications
IEEE Transactions on Software Engineering
ICDT '97 Proceedings of the 6th International Conference on Database Theory
Managing Semantic Heterogeneity with Production Rules and Persistent Queues
VLDB '93 Proceedings of the 19th International Conference on Very Large Data Bases
A Foolish Consistency: Technical Challenges in Consistency Management
DEXA '00 Proceedings of the 11th International Conference on Database and Expert Systems Applications
Declarative specification of Web sites with S
The VLDB Journal — The International Journal on Very Large Data Bases
SDE 1 Proceedings of the first ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
Verifying integrity constraints on web sites
IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
Distributed component technologies and their software engineering implications
Proceedings of the 24th International Conference on Software Engineering
Consistency management with repair actions
Proceedings of the 25th International Conference on Software Engineering
ViewPoints: meaningful relationships are difficult!
Proceedings of the 25th International Conference on Software Engineering
ACM Transactions on Software Engineering and Methodology (TOSEM)
Consistency Checking in an Infrastructure for Large-Scale Generative Programming
Proceedings of the 19th IEEE international conference on Automated software engineering
Consistency Check in Modelling Multi-Agent Systems
COMPSAC '04 Proceedings of the 28th Annual International Computer Software and Applications Conference - Volume 01
Pragmatic Consistency Management in Industrial Requirements Specifications
SEFM '05 Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods
Journal of Integrated Design & Process Science
Information and Software Technology
Interfaces and Metainterfaces for Models and Metamodels
MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
Automatically analyzing software processes: experience report
SPW'05 Proceedings of the 2005 international conference on Unifying the Software Process Spectrum
| Hi-index | 0.00 |
Software engineers building a complex system make useof a number of informal and semi-formal notations. Wedescribe a framework, xlinkit, for managing the consistencyof development artifacts expressed in such notations.xlinkit supports distributed software engineering by providinga distribution-transparent language for expressing constraintsbetween specifications. It specifies a semantics forthose constraints that permits the generation of hyperlinksbetween inconsistent elements. We give a formal semanticsfor link generation, and show how we expressed the rulesof the UML Foundation/Core modules in our language. Weoutline how we implemented xlinkit as a light-weight webservice using open standard technology and present the resultsof an evaluation against several sizeable UML modelsprovided by industrial partners.