Workshop NaturaLiSE 2013 – Author Index |
Contents -
Abstracts -
Authors
|
Dehkharghani, Rahim |
NaturaLiSE '13: "Automatically Identifying ..."
Automatically Identifying a Software Product’s Quality Attributes through Sentiment Analysis of Tweets
Rahim Dehkharghani and Cemal Yilmaz (Sabanci University, Turkey) Software quality attributes can be identified based on software features such as security, reliability and userfriendliness. This process can be done either manually or automatically. Sentiment analysis refers to the automatic extraction of sentiments from resources such as natural language texts. We study the application of sentiment analysis on extracting the quality attributes of a software product based on the opinions of end-users that have been stated in microblogs such as twitter. Our findings obtain advantageous techniques such as document frequency of words in a large number of tweets. The extracted results can help software developers know the advantages and disadvantages of their products. @InProceedings{NaturaLiSE13p25, author = {Rahim Dehkharghani and Cemal Yilmaz}, title = {Automatically Identifying a Software Product’s Quality Attributes through Sentiment Analysis of Tweets}, booktitle = {Proc.\ NaturaLiSE}, publisher = {IEEE}, pages = {25--30}, doi = {}, year = {2013}, } |
|
Drechsler, Rolf |
NaturaLiSE '13: "lips: An IDE for Model Driven ..."
lips: An IDE for Model Driven Engineering Based on Natural Language Processing
Oliver Keszocze, Mathias Soeken, Eugen Kuksa, and Rolf Drechsler (University of Bremen, Germany; DFKI at Bremen, Germany) Combining both, state-of-the art natural language processing (NLP) algorithms and semantic information offered by a variety of ontologies and databases, efficient methods have been proposed that assist system designers in automatically translating text-based specifications into formal models. But due to ambiguities in natural language, these approaches usually require user interaction. Following these achievements, we consider natural language as a further input language that is used in the design flow for systems and software. Consequently, concepts from integrated development environments (IDE) as they can be found for programming languages such as Java need to be made available for natural language specifications as well. In this paper, we propose lips, an integrated development environment that is seamlessly implemented on top of Eclipse. It contains recent NLP algorithms that extract formal models suited for the Eclipse Modeling Framework and therefore provide a starting point for an ongoing implementation. Whenever user interaction is required, lips makes use of well-known IDE concepts such as markers and quick fixes thereby enabling a holistic user experience. @InProceedings{NaturaLiSE13p31, author = {Oliver Keszocze and Mathias Soeken and Eugen Kuksa and Rolf Drechsler}, title = {lips: An IDE for Model Driven Engineering Based on Natural Language Processing}, booktitle = {Proc.\ NaturaLiSE}, publisher = {IEEE}, pages = {31--38}, doi = {}, year = {2013}, } |
|
Eichler, Daniel |
NaturaLiSE '13: "Consistent Stakeholder Modifications ..."
Consistent Stakeholder Modifications of Formal Models via a Natural Language Representation
Gregor Gabrysiak, Daniel Eichler, Regina Hebig, and Holger Giese (HPI, Germany) While requirements described in Natural Language are inherently ambiguous and hard to check for consistency, they are intuitively understandable for domain experts. Using formal models, on the other hand, supports requirements engineers to specify requirements correct, consistent and complete. Transformations between these two different representations can become quite complex, since not everything that can be expressed with natural language can be captured in a restricted formal model. We describe a transformation approach that takes the formal modeling operations of story patterns and allows domain experts to transparently apply them on a natural language representation of these formal models. Also, a preliminary evaluation is presented. @InProceedings{NaturaLiSE13p1, author = {Gregor Gabrysiak and Daniel Eichler and Regina Hebig and Holger Giese}, title = {Consistent Stakeholder Modifications of Formal Models via a Natural Language Representation}, booktitle = {Proc.\ NaturaLiSE}, publisher = {IEEE}, pages = {1--8}, doi = {}, year = {2013}, } |
|
Gabrysiak, Gregor |
NaturaLiSE '13: "Consistent Stakeholder Modifications ..."
Consistent Stakeholder Modifications of Formal Models via a Natural Language Representation
Gregor Gabrysiak, Daniel Eichler, Regina Hebig, and Holger Giese (HPI, Germany) While requirements described in Natural Language are inherently ambiguous and hard to check for consistency, they are intuitively understandable for domain experts. Using formal models, on the other hand, supports requirements engineers to specify requirements correct, consistent and complete. Transformations between these two different representations can become quite complex, since not everything that can be expressed with natural language can be captured in a restricted formal model. We describe a transformation approach that takes the formal modeling operations of story patterns and allows domain experts to transparently apply them on a natural language representation of these formal models. Also, a preliminary evaluation is presented. @InProceedings{NaturaLiSE13p1, author = {Gregor Gabrysiak and Daniel Eichler and Regina Hebig and Holger Giese}, title = {Consistent Stakeholder Modifications of Formal Models via a Natural Language Representation}, booktitle = {Proc.\ NaturaLiSE}, publisher = {IEEE}, pages = {1--8}, doi = {}, year = {2013}, } |
|
Giese, Holger |
NaturaLiSE '13: "Consistent Stakeholder Modifications ..."
Consistent Stakeholder Modifications of Formal Models via a Natural Language Representation
Gregor Gabrysiak, Daniel Eichler, Regina Hebig, and Holger Giese (HPI, Germany) While requirements described in Natural Language are inherently ambiguous and hard to check for consistency, they are intuitively understandable for domain experts. Using formal models, on the other hand, supports requirements engineers to specify requirements correct, consistent and complete. Transformations between these two different representations can become quite complex, since not everything that can be expressed with natural language can be captured in a restricted formal model. We describe a transformation approach that takes the formal modeling operations of story patterns and allows domain experts to transparently apply them on a natural language representation of these formal models. Also, a preliminary evaluation is presented. @InProceedings{NaturaLiSE13p1, author = {Gregor Gabrysiak and Daniel Eichler and Regina Hebig and Holger Giese}, title = {Consistent Stakeholder Modifications of Formal Models via a Natural Language Representation}, booktitle = {Proc.\ NaturaLiSE}, publisher = {IEEE}, pages = {1--8}, doi = {}, year = {2013}, } |
|
Harris, Ian G. |
NaturaLiSE '13: "Capturing Assertions from ..."
Capturing Assertions from Natural Language Descriptions
Ian G. Harris (UC Irvine, USA) We present a technique to automatically generate formal, executable assertions from natural language assertion descriptions written in English. Assertions are program invariants which are commonly used for result checking in the hardware verification process. We present an attribute grammar which captures the semantics of a subset of English language assertion descriptions. Using the attribute grammar, we parse assertion descriptions and generate semantically equivalent formal models. We have evaluated our technique using a large set of industrial assertion descriptions. We present the successful assertion generation results, as well as the limitations of our approach and methods to address those limitations in the future. @InProceedings{NaturaLiSE13p17, author = {Ian G. Harris}, title = {Capturing Assertions from Natural Language Descriptions}, booktitle = {Proc.\ NaturaLiSE}, publisher = {IEEE}, pages = {17--24}, doi = {}, year = {2013}, } |
|
Hebig, Regina |
NaturaLiSE '13: "Consistent Stakeholder Modifications ..."
Consistent Stakeholder Modifications of Formal Models via a Natural Language Representation
Gregor Gabrysiak, Daniel Eichler, Regina Hebig, and Holger Giese (HPI, Germany) While requirements described in Natural Language are inherently ambiguous and hard to check for consistency, they are intuitively understandable for domain experts. Using formal models, on the other hand, supports requirements engineers to specify requirements correct, consistent and complete. Transformations between these two different representations can become quite complex, since not everything that can be expressed with natural language can be captured in a restricted formal model. We describe a transformation approach that takes the formal modeling operations of story patterns and allows domain experts to transparently apply them on a natural language representation of these formal models. Also, a preliminary evaluation is presented. @InProceedings{NaturaLiSE13p1, author = {Gregor Gabrysiak and Daniel Eichler and Regina Hebig and Holger Giese}, title = {Consistent Stakeholder Modifications of Formal Models via a Natural Language Representation}, booktitle = {Proc.\ NaturaLiSE}, publisher = {IEEE}, pages = {1--8}, doi = {}, year = {2013}, } |
|
Keszocze, Oliver |
NaturaLiSE '13: "lips: An IDE for Model Driven ..."
lips: An IDE for Model Driven Engineering Based on Natural Language Processing
Oliver Keszocze, Mathias Soeken, Eugen Kuksa, and Rolf Drechsler (University of Bremen, Germany; DFKI at Bremen, Germany) Combining both, state-of-the art natural language processing (NLP) algorithms and semantic information offered by a variety of ontologies and databases, efficient methods have been proposed that assist system designers in automatically translating text-based specifications into formal models. But due to ambiguities in natural language, these approaches usually require user interaction. Following these achievements, we consider natural language as a further input language that is used in the design flow for systems and software. Consequently, concepts from integrated development environments (IDE) as they can be found for programming languages such as Java need to be made available for natural language specifications as well. In this paper, we propose lips, an integrated development environment that is seamlessly implemented on top of Eclipse. It contains recent NLP algorithms that extract formal models suited for the Eclipse Modeling Framework and therefore provide a starting point for an ongoing implementation. Whenever user interaction is required, lips makes use of well-known IDE concepts such as markers and quick fixes thereby enabling a holistic user experience. @InProceedings{NaturaLiSE13p31, author = {Oliver Keszocze and Mathias Soeken and Eugen Kuksa and Rolf Drechsler}, title = {lips: An IDE for Model Driven Engineering Based on Natural Language Processing}, booktitle = {Proc.\ NaturaLiSE}, publisher = {IEEE}, pages = {31--38}, doi = {}, year = {2013}, } |
|
Kuksa, Eugen |
NaturaLiSE '13: "lips: An IDE for Model Driven ..."
lips: An IDE for Model Driven Engineering Based on Natural Language Processing
Oliver Keszocze, Mathias Soeken, Eugen Kuksa, and Rolf Drechsler (University of Bremen, Germany; DFKI at Bremen, Germany) Combining both, state-of-the art natural language processing (NLP) algorithms and semantic information offered by a variety of ontologies and databases, efficient methods have been proposed that assist system designers in automatically translating text-based specifications into formal models. But due to ambiguities in natural language, these approaches usually require user interaction. Following these achievements, we consider natural language as a further input language that is used in the design flow for systems and software. Consequently, concepts from integrated development environments (IDE) as they can be found for programming languages such as Java need to be made available for natural language specifications as well. In this paper, we propose lips, an integrated development environment that is seamlessly implemented on top of Eclipse. It contains recent NLP algorithms that extract formal models suited for the Eclipse Modeling Framework and therefore provide a starting point for an ongoing implementation. Whenever user interaction is required, lips makes use of well-known IDE concepts such as markers and quick fixes thereby enabling a holistic user experience. @InProceedings{NaturaLiSE13p31, author = {Oliver Keszocze and Mathias Soeken and Eugen Kuksa and Rolf Drechsler}, title = {lips: An IDE for Model Driven Engineering Based on Natural Language Processing}, booktitle = {Proc.\ NaturaLiSE}, publisher = {IEEE}, pages = {31--38}, doi = {}, year = {2013}, } |
|
Slankas, John |
NaturaLiSE '13: "Automated Extraction of Non-functional ..."
Automated Extraction of Non-functional Requirements in Available Documentation
John Slankas and Laurie Williams (North Carolina State University, USA) While all systems have non-functional requirements (NFRs), they may not be explicitly stated in a formal requirements specification. Furthermore, NFRs may also be externally imposed via government regulations or industry standards. As some NFRs represent emergent system proprieties, those NFRs require appropriate analysis and design efforts to ensure they are met. When the specified NFRs are not met, projects incur costly re-work to correct the issues. The goal of our research is to aid analysts in more effectively extracting relevant non-functional requirements in available unconstrained natural language documents through automated natural language processing. Specifically, we examine which document types (data use agreements, install manuals, regulations, request for proposals, requirements specifications, and user manuals) contain NFRs categorized to 14 NFR categories (e.g. capacity, reliability, and security). We measure how effectively we can identify and classify NFR statements within these documents. In each of the documents evaluated, we found NFRs present. Using a word vector representation of the NFRs, a support vector machine algorithm performed twice as effectively compared to the same input to a multinomial naïve Bayes classifier. Our k-nearest neighbor classifier with a unique distance metric had an F1 measure of 0.54, outperforming in our experiments the optimal naïve Bayes classifier which had a F1 measure of 0.32. We also found that stop word lists beyond common determiners had no minimal performance effect. @InProceedings{NaturaLiSE13p9, author = {John Slankas and Laurie Williams}, title = {Automated Extraction of Non-functional Requirements in Available Documentation}, booktitle = {Proc.\ NaturaLiSE}, publisher = {IEEE}, pages = {9--16}, doi = {}, year = {2013}, } |
|
Soeken, Mathias |
NaturaLiSE '13: "lips: An IDE for Model Driven ..."
lips: An IDE for Model Driven Engineering Based on Natural Language Processing
Oliver Keszocze, Mathias Soeken, Eugen Kuksa, and Rolf Drechsler (University of Bremen, Germany; DFKI at Bremen, Germany) Combining both, state-of-the art natural language processing (NLP) algorithms and semantic information offered by a variety of ontologies and databases, efficient methods have been proposed that assist system designers in automatically translating text-based specifications into formal models. But due to ambiguities in natural language, these approaches usually require user interaction. Following these achievements, we consider natural language as a further input language that is used in the design flow for systems and software. Consequently, concepts from integrated development environments (IDE) as they can be found for programming languages such as Java need to be made available for natural language specifications as well. In this paper, we propose lips, an integrated development environment that is seamlessly implemented on top of Eclipse. It contains recent NLP algorithms that extract formal models suited for the Eclipse Modeling Framework and therefore provide a starting point for an ongoing implementation. Whenever user interaction is required, lips makes use of well-known IDE concepts such as markers and quick fixes thereby enabling a holistic user experience. @InProceedings{NaturaLiSE13p31, author = {Oliver Keszocze and Mathias Soeken and Eugen Kuksa and Rolf Drechsler}, title = {lips: An IDE for Model Driven Engineering Based on Natural Language Processing}, booktitle = {Proc.\ NaturaLiSE}, publisher = {IEEE}, pages = {31--38}, doi = {}, year = {2013}, } |
|
Williams, Laurie |
NaturaLiSE '13: "Automated Extraction of Non-functional ..."
Automated Extraction of Non-functional Requirements in Available Documentation
John Slankas and Laurie Williams (North Carolina State University, USA) While all systems have non-functional requirements (NFRs), they may not be explicitly stated in a formal requirements specification. Furthermore, NFRs may also be externally imposed via government regulations or industry standards. As some NFRs represent emergent system proprieties, those NFRs require appropriate analysis and design efforts to ensure they are met. When the specified NFRs are not met, projects incur costly re-work to correct the issues. The goal of our research is to aid analysts in more effectively extracting relevant non-functional requirements in available unconstrained natural language documents through automated natural language processing. Specifically, we examine which document types (data use agreements, install manuals, regulations, request for proposals, requirements specifications, and user manuals) contain NFRs categorized to 14 NFR categories (e.g. capacity, reliability, and security). We measure how effectively we can identify and classify NFR statements within these documents. In each of the documents evaluated, we found NFRs present. Using a word vector representation of the NFRs, a support vector machine algorithm performed twice as effectively compared to the same input to a multinomial naïve Bayes classifier. Our k-nearest neighbor classifier with a unique distance metric had an F1 measure of 0.54, outperforming in our experiments the optimal naïve Bayes classifier which had a F1 measure of 0.32. We also found that stop word lists beyond common determiners had no minimal performance effect. @InProceedings{NaturaLiSE13p9, author = {John Slankas and Laurie Williams}, title = {Automated Extraction of Non-functional Requirements in Available Documentation}, booktitle = {Proc.\ NaturaLiSE}, publisher = {IEEE}, pages = {9--16}, doi = {}, year = {2013}, } |
|
Yilmaz, Cemal |
NaturaLiSE '13: "Automatically Identifying ..."
Automatically Identifying a Software Product’s Quality Attributes through Sentiment Analysis of Tweets
Rahim Dehkharghani and Cemal Yilmaz (Sabanci University, Turkey) Software quality attributes can be identified based on software features such as security, reliability and userfriendliness. This process can be done either manually or automatically. Sentiment analysis refers to the automatic extraction of sentiments from resources such as natural language texts. We study the application of sentiment analysis on extracting the quality attributes of a software product based on the opinions of end-users that have been stated in microblogs such as twitter. Our findings obtain advantageous techniques such as document frequency of words in a large number of tweets. The extracted results can help software developers know the advantages and disadvantages of their products. @InProceedings{NaturaLiSE13p25, author = {Rahim Dehkharghani and Cemal Yilmaz}, title = {Automatically Identifying a Software Product’s Quality Attributes through Sentiment Analysis of Tweets}, booktitle = {Proc.\ NaturaLiSE}, publisher = {IEEE}, pages = {25--30}, doi = {}, year = {2013}, } |
13 authors
proc time: 0.04