skip to main content
10.1145/1985394.1985396acmconferencesArticle/Chapter ViewAbstractPublication PagesicseConference Proceedingsconference-collections
research-article

From textual use cases to service component models

Published: 23 May 2011 Publication History

Abstract

There is a gap between system requirements described with natural language and system design models described with formal language. In this paper, we present a framework for automatically mapping textual use cases to service component models from a model-based point of view. The generated models capture service component signatures and language independent dynamic behaviors. We have implemented our framework and demonstrated the benefits via a case study.

References

[1]
R. Alur and M. Yannakakis. Model Checking of Message Sequence Charts. In Proceedings of CONCUR'99, pp. 114--129, 1999.
[2]
A. Cockburn. Writing Effective Use Cases, Addison-Wesley, 2001.
[3]
C. Damas, B. Lambeau, P. Dupont, and A. van Lamsweerde. Generating annotated behavior models from end-user scenarios. In IEEE Transactions on Software Engineering, vol. 31, no. 12, pp. 1056--1073, 2005.
[4]
Z. Ding, Z. Chen, J. Liu. A rigorous model of service component architecture. In ENTCS, vol.207, pp.33--48, 2008.
[5]
A. Durán, B. Bernárdez, M. Genero, and M. Piattini. Empirically Driven Use Case Metamodel Evolution. In UML 2004, LNCS, vol.3273, pp.1--11, 2004.
[6]
A. Goknil, I. Kurtev, and K. v. d. Berg. A Metamodeling Approach for Reasoning about Requirements. In LNCS, vol.5095, pp.310--325, 2008.
[7]
J. Gutiérrez, C. Nebut, M. Escalona, M. Mejías, and I. Ramos. Visualization of use cases through automatically generated activity diagrams. In Proceedings of MoDELS'08, pp.83--96, 2008.
[8]
ITU. Recommendation z.120: Message sequence charts, ITU, 2000.
[9]
N. Koch, G. Zhang, M. J. Escalona. Model Transformations from Requirements to Web System Design. In Proceedings of ICWE'06, Palo Alto, California, USA, 2006.
[10]
L. Kof. Scenarios: Identifying Missing Objects and Actions by Means of Computational Linguistics. In Proceedings of RE'07, pp.121--130, 2007.
[11]
L. Kof. Scenario Analysis: Generation of Possible Scenario Interpretations and their Visualization. In Proceedings of 4th International Workshop on Requirements Engineering Visualization (REV), pp.21--30, Atlanta, GA, 2009.
[12]
I. Krka, G. Edwards, Y. Brun, and N. Medvidovic. From system specifications to component behavioral models. In Proceedings of ICSE, 2009.
[13]
F. Plasil, V. Mencl. Getting 'Whole Picture' Behavior in a Use Case Model. In Journal of Integrated Design and Process Science, vol.7, no.4, pp.63--79, 2003.
[14]
G. Sibay, S. Uchitel, and V. Braberman. Existential live sequence charts revisited. In Proceedings of ICSE, 2008.
[15]
S. Uchitel, J. Kramer and J. Magee. Synthesis of behavioral models from scenarios. In IEEE Transactions on Software Engineering, vol.29, No.2, pp.99--115, 2003.
[16]
A. Van Lamsweerde and L. Willemet. Inferring declarative requirements specifications from operational scenarios. In IEEE Transactions on Software Engineering, vol. 24, no. 12, pp.1089--1114, 1998.

Cited By

View all

Recommendations

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences
PESOS '11: Proceedings of the 3rd International Workshop on Principles of Engineering Service-Oriented Systems
May 2011
68 pages
ISBN:9781450305914
DOI:10.1145/1985394
  • Program Chairs:
  • Manuel Carro,
  • Dimka Karastoyanova,
  • Grace Lewis,
  • Anna Liu
Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Sponsors

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 23 May 2011

Permissions

Request permissions for this article.

Check for updates

Author Tags

  1. model transformation
  2. natural language processing
  3. service component model
  4. system requirement
  5. textual use case

Qualifiers

  • Research-article

Conference

ICSE11
Sponsor:
ICSE11: International Conference on Software Engineering
May 23 - 24, 2011
HI, Waikiki, Honolulu, USA

Upcoming Conference

ICSE 2025

Contributors

Other Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

  • Downloads (Last 12 months)5
  • Downloads (Last 6 weeks)0
Reflects downloads up to 15 Sep 2024

Other Metrics

Citations

Cited By

View all

View Options

Get Access

Login options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Media

Figures

Other

Tables

Share

Share

Share this Publication link

Share on social media