@article{af8ddd02708146848499f97c8f3709c6,
title = "Software engineering within a dynamic digital business ecosystem",
abstract = "The goal of fast adaptations and modifications according to continuous change requests is common to all software engineering methodologies. In most cases, sooner or later this results in a mismatch between the software specification and the actual implementation with related disadvantages such as the impossibility of performing validations of related models. We present here an aspect of the digital business ecosystem concept that gives incentives for more responsible software engineering approaches in general by offering a platform for automatic composition of services and re-adaptation of the specifications based on actual changes. The main innovation is a natural language based modelling notation that enables ecosystems of companies to use software described in a high-level language that can also be understood by non-technical users. {\textcopyright} 2008 Inderscience Enterprises Ltd.",
keywords = "automatic code generation, business process integration, digital business ecosystems, extended enterprise, round-trip engineering, SBVR, semantics of business vocabulary and business rules, service-oriented architecture, small and medium enterprises",
author = "G. Marcon and H. Okada and T. Heistracher and A. Corallo and \{De Tommasi\}, M.",
note = "Cited By :1 Export Date: 14 December 2023 Correspondence Address: Heistracher, T.; Department of Information Technology and System Management, Salzburg University of Applied Sciences, Urstein S{\"u}d 1, A-5412 Puch/Salzburg, Austria References: Barendregt, H.P., (1984) The Lambda Calculus: Its Syntax and Semantics, , North-Holland, Amsterdam; Beasley, J., Chu, P., A genetic algorithm for the set covering problem (1996) European Journal of Operational Research, 94, pp. 392-404; Boyd, N., Using natural language in software development (1999) Journal of Object-Oriented Programming, 11 (9), pp. 45-55; Carasik, R., Johnson, S., Patterson, D., Von Glahn, G., Towards a domain description grammar: an application of linguistic semantics (1990) ACM SIGSOFT Software Engineering Notes, 15 (5), pp. 28-43. , October; Erl, T., (2005) Service-Oriented Architecture, Concepts, Technology and Design, , Prentice Hall, Crawfordsville, IN; Feige, U., A threshold of ln n for approximating set cover (1998) Journal of the ACM, 45 (4), pp. 634-652; Frankel, D.S., (2003) Model Driven Architecture, , Wiley Publishing, Indianapolis; Gallier, J.H., Logic for computer science: foundations of automatic theorem proving (1986) Harper \& Row Computer Science and Technology Series, , Harper \& Row; Garey, M.R., Johnson, D.S., (1979) Computers and Intractability: A Guide to the Theory of NP-Completeness, , W.H. Freeman; Goldin, D.Q., Wegner, P., The Church-Turing thesis: breaking the myth (2005) CiE of Lecture Notes in Computer Science, 3526, pp. 152-168. , Benedikt Loewe S., Barry Cooper and Leen Torenvliet (Eds.) Springer Berlin/Heidelberg; Halstead, M.H., Elements of software science (1977) Operating and Programming Systems Series, , Elsevier Science Inc., New York, USA; Heistracher, T., Kurz, T., Marcon, G., Masuch, C., Collaborative software engineering with a digital ecosystem (2006) Proc. International Conference on Global Software Engineering, October, pp. 119-126. , Cost{\~a}o do Santinho, Florian{\'o}polis, Brazil; Henkin, L., Completeness in the theory of types (1950) Journal of Symbolic Logic, 15, pp. 81-91; Jouault, F., Kurtev, I., Transforming models with ATL (2005) Proceedings of the Model Transformations in Practice Workshop at MoDELS, October, pp. 128-138. , Jean-Michel Bruel (Ed.) Montego Bay, Jamaica, Springer Berlin/Heidelberg; Karp, R.M., Reducibility among combinatorial problems (1972) Complexity of Computer Computations, pp. 85-103. , R.E. Miller and J.W. Thatcher (Eds.) Plenum Press; Kavantzas, N., Burdett, D., Ritzinger, G., Fletcher, T., Lafon, Y., Barreto, C., (2005) Web Services Choreography Description Language Version 1.0, , http://www.w3.org/TR/ws-cdl-10/, November candidate ecommendation; Kurz, T., Marcon, G., Masuch, C., Heistracher, T., A network of SMEs for competitive services (2005) Proc. Managing Global Trends and Challenges in a Turbulent Economy; Lund, C., Yannakakis, M., On the hardness of approximating minimization problems (1994) J. ACM, 41 (5), pp. 960-981; Mhlenbein, H., Paa, G., From recombination of genes to the estimation of distributions i, binary parameters (1996) Parallel Problem Solving from Nature, 4, pp. 188-197. , H-M. Voigt, W. Ebeling, I. Rechenberg and H-P. Schwefel (Eds.); Nachira, F., (2002) Toward a network of digital business ecosystems fostering the local development, , http://www.digitalecosystems.org/doc/discussionpaper.pdf, Discussion paper, September; Ng, C.S., Gable, G., Chan, T., An erp maintenance model (2003) Proceedings of the 36th Annual Hawaii International Conference on System Sciences (HICSS{\textquoteright}03) – Track 8, p. 234.2. , IEEE Computer Society, Washington DC, USA; OMG1, (2006) Semantics of Business Vocabulary and Business Rules Specification, , http://www.omg.org/docs/dtc/06–03-02.pdf, First interim specification, March; OMG2, (2007) MOF Query/Views/Transformations Specification, , http://www.omg.org/cgi-bin/apps/doc7ptc/05-11-01.pdf, Final adopted specification, July; OMG3, (2005) Semantics of a Foundational Subset for Executable UML Models, , http://www.omg.org/docs/ad/05–04-02.pdf, Request for proposal, April; Rajlich, V., Software change and evolution (1999) SOFSEM {\textquoteright}99: Proceedings of the 26th Conference on Current Trends in Theory and Practice of Informatics on Theory and Practice of Informatics, 1725, pp. 189-202. , J. Pavelka, G. Tel and M. Bartosek (Eds.) Springer-Verlag, London, UK; Saeki, M., Horai, H., Enomoto, H., Software development process from natural language specification (1989) ICSE {\textquoteright}89: Proceedings of the 11th International Conference on Software Engineering, pp. 64-73. , ACM Press, New York, USA; Sangiorgi, D., Walker, D., (2001) The π-Calculus: A Theory of Mobile Processes, , Cambridge University Press; Schacher, M., Moving from Zachman row 2 to Zachman row 3: business rules from an SBVR and an xUML perspective (2006) Business Rules Journal, 7 (6). , June; Sowa, J.F., Zachman, J.A., Extending and formalizing the framework for information systems architecture (1992) IBM Systems Journal, 31 (3), pp. 590-616; Wegner, P., Interactive foundations of computing (1998) Theor. Comput. Sci., 192 (2), pp. 315-351; Zachman, J.A., A framework for information systems architecture (1987) IBM Systems Journal, 26 (3), pp. 276-292; http://www.unisys.com/businessrules/, Unisys Rules Modeler by Unisys Corporation; http://sbeaver.sourceforge.net/, SBeaVeR – Business Modeller by the e-Business Management School Department of the Institute for Advanced Interdisciplinary Studies at the University of Lecce; http://www.digital-ecosystem.org/, In the Digital Business Ecosystem project, funded under the European Union{\textquoteright}s 6th Framework Program, Contract no. 507953; {\textquoteleft}being{\textquoteright} implies that it can be or not be in a closed world interpretation of the logic statement, while in an open world interpretation could also assume the value of {\textquoteleft}maybe{\textquoteright}; http://www.sciences.univ-nantes.fr/lina/atl/atlProject/UR - https://www.scopus.com/inward/record.uri?eid=2-s2.0-84945727166\&doi=10.1504\%2fIJBPIM.2008.024981\&partnerID=40\&md5=49d8c9ac1721924e43f166ada6cc4524",
year = "2008",
doi = "10.1504/IJBPIM.2008.024981",
language = "English",
volume = "3",
pages = "239--247",
journal = "International Journal of Business Process Integration and Management",
issn = "1741-8763",
publisher = "Inderscience Enterprises Ltd",
number = "4",
}
