More Web Proxy on the site http://driver.im/

Article

From goals to high-variability software design

Authors:

Alexei Lapouchnian,

Sotirios Liaskos,

John Mylopoulos,

Julio C. S. P. LeiteAuthors Info & Claims

ISMIS'08: Proceedings of the 17th international conference on Foundations of intelligent systems

Pages 1 - 16

Published: 20 May 2008 Publication History

Abstract

Software requirements consist of functionalities and qualities to be accommodated during design. Through goal-oriented requirements engineering, stakeholder goals are refined into a space of alternative functionalities. We adopt this framework and propose a decision-making process to generate a generic software design that can accommodate the full space of alternatives each of which can fulfill stakeholder goals. Specifically, we present a process for generating complementary design views from a goal model with high variability in configurations, behavioral specifications, architectures and business processes.

References

[1]

Brandozzi, M., Perry, D.E.: Transforming goal oriented requirements specifications into architectural prescriptions. In: STRAW at ICSE 2001 (2001)

[2]

Bresciani, P., Perini, A., Giorgini, P., Giunchiglia, F., Mylopoulos, J.: Tropos: An Agent-Oriented Software Development Methodology. Autonomous Agents and Multi-Agent Systems 8(3), 203-236 (2004)

[3]

Bühne, S., Lauenroth, K., Pohl, K.: Modelling requirements variability across product lines. In: RE 2005, pp. 41-50 (2005)

[4]

Chung, L., Nixon, B.A., Yu, E., Mylopoulos, J.: Non-Functional Requirements in Software Engineering. Kluwer Academic Publishing, Dordrecht (2000)

[5]

Clements, P., Northrop, L.: Software Product Lines: Practices and Patterns. Addison-Wesley, Boston (2001)

[6]

Cysneiros, L.M., Leite, J.C.S.P.: Non-functional requirements: from elicitation to conceptual models. IEEE Trans. on Softw. Eng. 30(5), 328-350 (2004)

[7]

Czarnecki, K., Eisenecker, U.: Generative Programming: Methods, Tools, and Applications. Addison-Wesley, Reading (2000)

[8]

Dardenne, A., van Lamsweerde, A., Fickas, S.: Goal-directed requirements acquisition. Science of Computer Programming 20(1-2), 3-50 (1993)

[9]

Giorgini, P., Mylopoulos, J., Nicchiarelli, E., Sebastiani, R.: Reasoning with goal models. In: Spaccapietra, S., March, S.T., Kambayashi, Y. (eds.) ER 2002. LNCS, vol. 2503, pp. 167-181. Springer, Heidelberg (2002)

[10]

Halmans, G., Pohl, K.: Communicating the variability of a software-product family to customers. Software and Systems Modeling 2, 15-36 (2003)

[11]

Harel, D., Naamad, A.: The statemate semantics of statecharts. ACM Trans. on Software Engineering and Methodology 5(4), 293-333 (1996)

[12]

Hayes, J.H., Dekhtyar, A., Sundaram, S.K.: Advancing candidate link generation for requirements tracing: the study of methods. IEEE Trans. on Softw. Eng. 32(1), 4-19 (2006)

[13]

Hui, B., Liaskos, S., Mylopoulos, J.: Goal skills and preference framework. In: International Conference on Requirements Engineering (2003)

[14]

Kang, K.C., Cohen, S.G., Hess, J.A., Novak, W.E., Peterson, A.S.: Feature-Oriented Domain Analysis (FODA) feasibility study (cmu/sei-90-tr-21, ada235785). Technical report (1990)

[15]

Kang, K.C., Kim, S., Lee, J., Lee, K.: Feature-oriented engineering of PBX software for adaptability and reuseability. SPE 29(10), 875-896 (1999)

[16]

Knuth, D.: Literate programming. Comput. J. 27(2), 97-111 (1984)

[17]

Kruntchen, P.: Architectural blueprints - the "4+1" view model of software architecture. IEEE Software 12(6), 42-50 (1995)

[18]

Lapouchnian, A., Liaskos, S., Mylopoulos, J., Yu, Y.: Towards requirements-driven autonomic systems design. In: DEAS 2005, pp. 1-7. ACM Press, New York (2005)

[19]

Lapouchnian, A., Yu, Y., Mylopoulos, J.: Requirements-driven design and configuration management of business processes. In: Alonso, G., Dadam, P., Rosemann, M. (eds.) BPM 2007. LNCS, vol. 4714, pp. 246-261. Springer, Heidelberg (2007)

[20]

Magee, J., Kramer, J.: Dynamic structure in software architectures. In: The 4th ACM SIGSOFT symposium on Foundations of software engineering, pp. 3-14 (1996)

[21]

Medvidovic, N., Taylor, R.N.: A framework for classifying and comparing architecture description languages. SIGSOFT Softw. Eng. Notes 22(6), 60-76 (1997)

[22]

Mylopoulos, J., Chung, L., Nixon, B.: Representing and using nonfunctional requirements: A process-oriented approach. IEEE Trans. on Softw. Eng. 18(6), 483-497 (1992)

[23]

Sebastiani, R., Giorgini, P., Mylopoulos, J.: Simple and minimum-cost satisfiability for goal models. In: Persson, A., Stirna, J. (eds.) CAiSE 2004. LNCS, vol. 3084, pp. 20-35. Springer, Heidelberg (2004)

[24]

Selic, B.: The pragmatics of model-driven development. IEEE Softw. 20(5), 19-25 (2003)

[25]

van Lamsweerde, A.: From system goals to software architecture. In: Bernardo, M., Inverardi, P. (eds.) SFM 2003. LNCS, vol. 2804, Springer, Heidelberg (2003)

[26]

van Lamsweerde, A.: Goal-oriented requirements engineering: From system objectives to UML models to precise software specifications. In: ICSE 2003, pp. 744-745 (2003)

[27]

van Lamsweerde, A.,Willemet, L.: Inferring declarative requirements from operational scenarios. IEEE Trans. Software Engineering 24(12), 1089-1114 (1998)

[28]

van Ommering, R.C., van der Linden, F., Kramer, J., Magee, J.: The Koala component model for consumer electronics software. IEEE Computer 33(3), 78-85 (2000)

[29]

Wang, Y., McIlraith, S.A., Yu, Y., Mylopoulos, J.: An automated approach to monitoring and diagnosing requirements. In: ASE, pp. 293-302 (2007)

[30]

Yu, E.S.K.: Towards modelling and reasoning support for early-phase requirements engineering. In: RE 1997, pp. 226-235 (1997)

[31]

Yu, Y., Lapouchnian, A., Leite, J., Mylopoulos, J.: Configuring features with stakeholder goals. In: ACM SAC RETrack 2008 (2008)

[32]

Yu, Y., Leite, J., Mylopoulos, J.: From requirements goal models to goal aspects. In: International Conference on Requirements Engineering (2004)

[33]

Yu, Y., Mylopoulos, J., Lapouchnian, A., Liaskos, S., Leite, J.C.: From stakeholder goals to high-variability software design, ftp.cs.toronto.edu/csrg-technical-reports/509. Technical report, University of Toronto (2005)

[34]

Yu, Y., Wang, Y., Mylopoulos, J., Liaskos, S., Lapouchnian, A., do Prado Leite, J.C.S.: Reverse engineering goal models from legacy code. In: RE 2005, pp. 363-372 (2005)

Cited By

Alhosban AHashmi KMalik ZMedjahed BBenbernou S(2015)Bottom-Up Fault Management in Service-Based SystemsACM Transactions on Internet Technology10.1145/273904515:2(1-40)Online publication date: 24-Jun-2015
https://dl.acm.org/doi/10.1145/2739045
Vilela JCastro JPimentel JSoares MCavalcanti PLucena MWainwright RCorchado JBechini AHong J(2015)Deriving the behavior of context-sensitive systems from contextual goal modelsProceedings of the 30th Annual ACM Symposium on Applied Computing10.1145/2695664.2695981(1397-1400)Online publication date: 13-Apr-2015
https://dl.acm.org/doi/10.1145/2695664.2695981
Pimentel JCastro JMylopoulos JAngelopoulos KSouza VCho YShin SKim SHung CHong J(2014)From requirements to statecharts via design refinementProceedings of the 29th Annual ACM Symposium on Applied Computing10.1145/2554850.2555056(995-1000)Online publication date: 24-Mar-2014
https://dl.acm.org/doi/10.1145/2554850.2555056
Show More Cited By

Recommendations

High variability design for software agents: Extending Tropos

Many classes of distributed applications, including e-business, e-government, and ambient intelligence, consist of networking infrastructures, where the nodes (peers)—be they software components, human actors or organizational units—cooperate with each ...
A Comparison of Goal-Oriented Approaches to Model Software Product Lines Variability
ER '09: Proceedings of the ER 2009 Workshops (CoMoL, ETheCoM, FP-UML, MOST-ONISW, QoIS, RIGiM, SeCoGIS) on Advances in Conceptual Modeling - Challenging Perspectives

In the requirements engineering for software product lines (SPL), feature modeling is used to capture commonalities and variabilities in system families. However, it is a great challenge to establish the relationship among features in an application and ...
Capturing visions and goals to inform communication design
SIGDOC '05: Proceedings of the 23rd annual international conference on Design of communication: documenting & designing for pervasive information

Current requirements analysis methodologies for web applications fail to capture important elements of the requirements picture. On the one hand, there is the need for modelling the assumptions of a stakeholder which dictate her "weltanschauung" on the ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image Guide Proceedings

ISMIS'08: Proceedings of the 17th international conference on Foundations of intelligent systems

May 2008

652 pages

ISBN:3540681221

Editors:
Aijun An
York University, Department of Computer Science and Engineering, Toronto, Ontario, Canada
,
Stan Matwin
University of Ottawa, School of Information Technology and Engineering, Ottawa, Ontario, Canada
,
Zbigniew W. Raś
University of North Carolina, Department of Computer Science, Charlotte, NC and Polish Academy of Sciences, Institute of Computer Science
,
Dominik Ślçzak
Infobright Inc., Toronto, Ontario, Canada

Sponsors

OCE: Ontario Centres of Excellence
Springer
Natural Sciences and Engineering Research Council
York University

Publisher

Springer-Verlag

Berlin, Heidelberg

Publication History

Published: 20 May 2008

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

14
Total Citations
View Citations
11
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 13 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

Alhosban AHashmi KMalik ZMedjahed BBenbernou S(2015)Bottom-Up Fault Management in Service-Based SystemsACM Transactions on Internet Technology10.1145/273904515:2(1-40)Online publication date: 24-Jun-2015
https://dl.acm.org/doi/10.1145/2739045
Vilela JCastro JPimentel JSoares MCavalcanti PLucena MWainwright RCorchado JBechini AHong J(2015)Deriving the behavior of context-sensitive systems from contextual goal modelsProceedings of the 30th Annual ACM Symposium on Applied Computing10.1145/2695664.2695981(1397-1400)Online publication date: 13-Apr-2015
https://dl.acm.org/doi/10.1145/2695664.2695981
Pimentel JCastro JMylopoulos JAngelopoulos KSouza VCho YShin SKim SHung CHong J(2014)From requirements to statecharts via design refinementProceedings of the 29th Annual ACM Symposium on Applied Computing10.1145/2554850.2555056(995-1000)Online publication date: 24-Mar-2014
https://dl.acm.org/doi/10.1145/2554850.2555056
Zhao YLi ZShen HMa D(2013)Development of global specification for dynamically adaptive softwareComputing10.1007/s00607-013-0295-395:9(785-816)Online publication date: 1-Sep-2013
https://dl.acm.org/doi/10.1007/s00607-013-0295-3
Alférez GPelechano V(2012)Dynamic evolution of context-aware systems with models at runtimeProceedings of the 15th international conference on Model Driven Engineering Languages and Systems10.1007/978-3-642-33666-9_6(70-86)Online publication date: 30-Sep-2012
https://dl.acm.org/doi/10.1007/978-3-642-33666-9_6
Zawawy HKontogiannis KMylopoulos JMankovskii S(2012)Requirements-Driven root cause analysis using markov logic networksProceedings of the 24th international conference on Advanced Information Systems Engineering10.1007/978-3-642-31095-9_23(350-365)Online publication date: 25-Jun-2012
https://dl.acm.org/doi/10.1007/978-3-642-31095-9_23
Zawawy HKontogiannis KMylopoulos JMankovskii SNg JCouturier CLitoiu MStroulia E(2011)Towards a requirements-driven framework for detecting malicious behavior against software systemsProceedings of the 2011 Conference of the Center for Advanced Studies on Collaborative Research10.5555/2093889.2093892(15-29)Online publication date: 7-Nov-2011
https://dl.acm.org/doi/10.5555/2093889.2093892
Nakagawa HOhsuga AHoniden SGiese HCheng B(2011)goccProceedings of the 6th International Symposium on Software Engineering for Adaptive and Self-Managing Systems10.1145/1988008.1988015(40-49)Online publication date: 23-May-2011
https://dl.acm.org/doi/10.1145/1988008.1988015
Asadi MBagheri EGašević DHatala MMohabbati BChu WWong WPalakal MHung C(2011)Goal-driven software product line engineeringProceedings of the 2011 ACM Symposium on Applied Computing10.1145/1982185.1982336(691-698)Online publication date: 21-Mar-2011
https://dl.acm.org/doi/10.1145/1982185.1982336
Peng XYu YZhao W(2011)Analyzing evolution of variability in a software product lineInformation and Software Technology10.1016/j.infsof.2011.01.00153:7(707-721)Online publication date: 1-Jul-2011
https://dl.acm.org/doi/10.1016/j.infsof.2011.01.001
Show More Cited By

View Options

View options

Media

Figures

Other

Tables

View Table of Contents