Towards feature interactions in business processes

Feature Interactions in Software and Communication Systems IX

Volumn , Issue , 2008, Pages 99-113

  Gorton, Stephen ^a,b   Reiff Marganiec, Stephan ^b  

^a ATX Technologies Limited   (United Kingdom)

^b UNIVERSITY OF LEICESTER   (United Kingdom)

Author keywords

Business processes; Feature interaction; Policy conflict; Service oriented architecture

Indexed keywords

BASE SYSTEMS; BUSINESS PROCESS; DIVERSE RANGE; FEATURE INTERACTIONS; NON NEGATIVES; POLICY CONFLICT; UNDESIRABLE EFFECTS; USER-CENTRIC;

INFORMATION SERVICES; SERVICE ORIENTED ARCHITECTURE (SOA);

COMMUNICATION SYSTEMS;

EID: 84881625307     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (24)

1. Stephen Gilmore and Mark Ryan, editors. "Proc. of Workshop on Language Constructs for Describing Features", Glasgow, Scotland (15-16 May 2000). ESPRIT Working Group 23531 - Feature Integration in Requirements Engineering.
2. Stephen Gilmore and Mark D. Ryan, editors. "Language Constructs for Describing Features". Springer (2001).
3. Shmuel Katz. A superimposition control construct for distributed systems. ACM Trans. Prog. Lang. Syst. 15(2), 337-356 (April 1993).
4. Daniel Amyot and Luigi Logrippo. editors "Feature Interactions in Telecommunications and Software Systems VII" IOS Press, Amsterdam (June 2003).
5. Muffy Calder and Evan Magill. editors "Feature Interactions in Telecommunications and Software Systems VI" IOS Press, Amsterdam (May 2000).
6. David Lorge Parnas. On the criteria to be used in decomposing systems into modules. Commun. ACM 15(I2). 1053-1058(1972). Reprinted In [24].
7. David lorge Parnas, Paul C. Clements and David M Weiss. The modular structure of complex system. IEEE Trans. Softw Eng 11(3). 259-266 (March 1985). Reprinted In [24].
8. Kathryn Heninger Britton, R. Alan Parker, and David L Palnas. A procedure for designing abstract interfaces for device interfaces modules. In "Proc. of the 5th Int'l. Conf. on Software Engineering - ICSE 5". pages 195-201 (March 1981) Reprinted In [24].
9. "Information Technology - Z Formal specification notation - Syntax type system and semantics". ISO/IEC 13568:2002(E) (July 2002).
10. John Michael Spivey "The Z notation: A reference manual". Series in Computer Science. Prentice Hall. New York. 2nd edition (l995).
11. Greame Smith "The Object-Z Specification Language". Kluwer Academic Publishers (2000).
12. "ISO/IEC 10646-1:1993 lnformation Technology - Universal Multiple-Octet Coded Character Set (UCS) - Part 1: Architecture and Basic Multilingual PIane" (1993).
13. Frank Mittelbach, Michel Goossens, Johannes Braams, David Carlisle, and Chris Rowley -The LATEX Companion" Addison-Wesley. 2nd edition (April 2004).
14. Jan Bredereke "Maintaining families of Rigorous Requirements for Embedded Software Systems" Habilation Thesis. University of Bremen, Germany (2005) To appear.
15. Reidar Conardi and Bernhard Westfechtel. Version models for software configuration management: ACM Camput. Surv. 30(2). 232-282 (June l998).
16. Jan Bredereke. On future orientation and on requirements encapsulation using families of requirements. In Mark D. Ryan, John-Jules Ch. Meyer and Hans-Dieter Ehrich, editors, "Objects, Agents and Features". Volume 2975 of "LNCS". pages 26-14 Springer (2004).
17. Hugo Velthuusen. Issues of non-monotonicity in feature-interaction detection. In Kong Eng Cheng and Tadashi Ohta, editors, "Feature Interactions in Telecommunications III", pages 31-42. IOS Press, Amsterdam (1995).
18. Jan Bredereke. A tool for generating specifications from a family of forma! requirements. In Myungchul Kim, ByoungmoonChin, Sungwon Kang, andDanhyung Lee, editors, "Formal Techniques for Networked and Distributed Systems", pages 319-334. Kluwer Academic Publishers (August 2001).
19. Jan Bredereke. Families of formal requirements in telephone switching. In Calder and MagiII [5], pages 257-273.
20. Clemens Fischer. Combination and implementation of processes and data: from CSP- OZ to Java. PhD thesis, report of the Comp. See. dept. 2/2000, University of Oldenburg, Oldenburg, Germany (April 2000).
21. Clemens Fischer. CSP-OZ: A combination of Object-Z and CSP. In Howard Bowman and John Derrick, editors, "Formal Methods for Open Object-Based Distributed Systems (FMOODS'97)" volume 2, pages 423-438. Chapman & Hal! (July 1997).
22. Jan Bredereke. "genFamMem 2.0 Manual - A Specification Generator and Type Checker for Families of Formal Requirements". University of Bremen (October 2000). www.ui.de/~brederek/genFamMem.
23. Ian Toyn et al.. "CADiZ reference manual". University of York, Heslington, York, Eng-land (2002).
24. Daniel M. Hoffman and David M. Weiss, editors. "Software Fundamentals - Collected Papers by David L. Parnas". Addison-Wesley (March 2001).