Model based reauirements specification and validation for component architectures

2008 IEEE International Systems Conference Proceedings, SysCon 2008

Volumn , Issue , 2008, Pages 145-152

  Cardei, Ionut ^a   Fonoage, Mihai ^a   Shankar, Ravi ^a  

^a Florida Atlantic University   (United States)

Author keywords

Consistency validation; Design automation; Requirements specification

Indexed keywords

COMPONENT ARCHITECTURES; COMPONENT-BASED SYSTEMS; CONSISTENCY VALIDATION; DESIGN AUTOMATION; DESIGN STAGES; DEVELOPMENT COSTS; FRONT END; FUNCTIONAL REQUIREMENTS; MODEL BASED; PRODUCT REQUIREMENTS; REQUIREMENTS DOCUMENTS; REQUIREMENTS MODELING; REQUIREMENTS SPECIFICATION; REQUIREMENTS SPECIFICATIONS; SEMANTIC DESCRIPTIONS; STRUCTURE DIAGRAMS; SYSTEM DEVELOPMENT CYCLE; SYSTEMS CONFERENCE;

COMPUTER AIDED DESIGN; ERRORS; INFORMATION THEORY; ONTOLOGY; SPECIFICATIONS; USER INTERFACES;

QUALITY OF SERVICE;

EID: 49049104257     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/SYSTEMS.2008.4519001     Document Type: Conference Paper

References (16)

1. Protège: ontology editor and knowledge-base framework. protege.stanlbrd.edu.
2. RAVEN: Requirements modeling tool from Ravenflow. http://ravenflow.com/.
3. SWI Prolog. http://www.swi-prolog.org/.
4. Vowlidator OWL Checker. http://projects.semwebcentral.org/projects/ vowlidator/.
5. Sören Auer and Klaus-Peter Fhnrich. SoftWiki - Agiles Requirements-Engineering fr Softwareprojekte mil einer groen Anzahl verteilter Stakeholder. In Software Engineering 2006, Leipzig. Germany, June 2006.
6. Sören Auer and Jens Lehmann. What have Innsbruck and Leipzig in common? Extracting Semantics from Wiki Content. In European Semantic Web Conference (ESWC'07), volume 4519, pages 503-517. Springer, LNCS, 2007.
7. Barrett R. Bryant, Beum-Seuk Lee, Fei Cao. Rajeev R. Raje, Andrew M. Olson, and Mikhail Auguston. From Natural Language Requirements to Executable Models of Software Components. In Monterey Workshop on Software Engineering for Embedded Systems: From Requirements to Implementation, pages 51-58, 2003.
8. Ionut Cardei, Mihai Fonoage, and Ravi Shankar. Framework for Requirements-Driven System Design Automation. In The 1st IEEK Systems Conference, Hawaii, USA, April 2007.
9. D. Hyland-Wood, D. Carrington, and S. Kaplan. Enhancing software maintenance by using semantic web techniques. In International Semantic Web Conference (ISWC), 2006.
10. I-Logix/Telelogic. The Rhapsody UML Modeling Tool. http://www.ilogix.com/ sublevel. aspx?id=53.
11. Haruhiko Kaiya and Motoshi Saeki. Ontology Based Requirements Analysis: Lightweight Semantic Processing Approach. In Fifth International Conference on Quality Software (QSIC 2005), 2005.
12. Leonid Kof. Natural Language Processing for Requirements Engineering: Applicability Io Large Requirements Documents. In Automated Software Engineering, Proceedings of the Workshops, Linz, Austria, Sept. 2004.
13. OMG. Omg systems modeling language. http://www.omgsysml.org/.
14. OMG. The Unified Modeling Language, http://www.uml.org.
15. Robert Scatcr, Daniel Jackson, and Rohit Ghcyi. Requirement Progression in Problem Frames: Deriving Specifications from Requirements. Requirement Engineering Journal (REJ), 12(2):77-102, 2007.
16. W3C. The ontology web language. http://www.w3.org/2004/OWL.