A requirements modeling language and its logic
Information Systems
An introduction to Estelle: a specification language for distributed systems
Computer Networks and ISDN Systems - Special Issue: Protocol Specification and Testing
Requirements Specification for Process-Control Systems
IEEE Transactions on Software Engineering
Deriving specifications from requirements: an example
Proceedings of the 17th international conference on Software engineering
Four dark corners of requirements engineering
ACM Transactions on Software Engineering and Methodology (TOSEM)
SOFL: A Formal Engineering Methodology for Industrial Applications
IEEE Transactions on Software Engineering
HTML and XHTML
Babel: representing business rules in XML for application integration
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)
Inside XML
Definitive XML Schema
Visual requirement representation
Journal of Systems and Software
Current Approaches to XML Management
IEEE Internet Computing
Business Rules Specification, Enforcement and Distribution for Heterogeneous Environments
COMPSAC '01 Proceedings of the 25th International Computer Software and Applications Conference on Invigorating Software Development
Introducing Requirements Engineering: How to Make a Cultural Change Happen in Practice
RE '02 Proceedings of the 10th Anniversary IEEE Joint International Conference on Requirements Engineering
On the Use of Visualization in Formal Requirements Specification
RE '02 Proceedings of the 10th Anniversary IEEE Joint International Conference on Requirements Engineering
Improving the Requirements Engineering Process for an Electronic Clearinghouse
RE '02 Proceedings of the 10th Anniversary IEEE Joint International Conference on Requirements Engineering
SCR*: A Toolset for Specifying and Analyzing Software Requirements
CAV '98 Proceedings of the 10th International Conference on Computer Aided Verification
A Framework for Multi-Notation Requirements Specification and Analysis
ICRE '00 Proceedings of the 4th International Conference on Requirements Engineering (ICRE'00)
Understanding and Comparing Model-Based Specification Notations
RE '03 Proceedings of the 11th IEEE International Conference on Requirements Engineering
XSLT: Programmer's Reference (Programmer to Programmer)
XSLT: Programmer's Reference (Programmer to Programmer)
Test scenario generation from a structured requirements specification
ECBS'99 Proceedings of the 1999 IEEE conference on Engineering of computer-based systems
Hi-index | 0.00 |
We present methods and tools to support XML-based requirements engineering for an electronic clearinghouse that connects trading partners in the telecommunications area. The original semi-structured requirements, locally known as business rules, were written as message specifications in a non-standardized and error-prone format using MS Word. To remedy the resulting software failures and faults, we first formalized the requirements by designing an W3C XML Schema for the precise definition of the requirements structure. The schema allows a highly structured representation of the essential information in eXtensible Markup Language (XML). Second, to offer the requirements engineers the ability to edit the XML documents in a friendly way while preserving their information structure, we developed a custom editor called XLEdit. Third, by developing a converter from MS Word to the target XML format, we helped the requirements engineers to migrate the existing business rules. Fourth, we developed translators from the structured requirements to schema languages, which enabled automated generation of message-validation code. The increase in customer satisfaction and clearinghouse-service efficiency are primary gains from the investment in the technology for structured requirements editing and validation.