Publications of Gianna Reggio

Recent Publications

Recent Technical Reports

Old Publications and Technical Reports (Before 1998)

Recent Publications of Gianna Reggio

E. Astesiano and G. Reggio. From Conditional Specifications to Interaction Charts: A Journey from Formal to Visual Means to Model Behaviour. In Formal Methods in Software and System Specification.
Lecture Notes in Computer Science, Berlin, Springer Verlag, 2005. To appear.
C. Choppy and G. Reggio. A Formally Grounded Software Specification Method.
Journal of Logic and Algebraic Programming, 2005. Elsevier. To appear.
C. Choppy and G. Reggio. A UML-Based Approach for Problem Frame Oriented Software Development .
Journal of Information and Software Technology, 2005. Elsevier. To appear.
C. Choppy and G. Reggio A UML-Based Method for the Commanded Behaviour Frame in Proc. of the 1st International Workshop on Advances and Applications of Problem Frames (IWAAPF 2004); an ICSE 2004 workshop. K. Cox and J.G. Hall and L. Rapanotti editors IEEEE, 2004.
C. Choppy and G. Reggio Using UML for Problem Frame Oriented Software Development in Proc of the ISCA 13th Int. Conf. on Intelligent and Adaptative Systems and Software Engineering (IASSE-2004). W. Dosch and N. Debnath editors. The International Society for Computers and Their Applications (ISCA), 2004.
N. Guelfi, E. Astesiano and G. Reggio (editors) Scientific Engineering of Distributed Java Applications: Third International Workshop, FIDJI 2003 Luxembourg-Kirchberg, Luxembourg, November 27-28, 2003 Revised Papers Lecture Notes in Computer Science n. 2952, Berlin, Springer Verlag, 2004.
E. Astesiano and G. Reggio. Tight Structuring for Precise UML-based Requirement Specifications. In Radical Innovations of Software and Systems Engineering in the Future, Proc. 9th Monterey Software Engineering Workshop, Venice, Italy, Sep. 2002.
Lecture Notes in Computer Science, n. 2941, Berlin, Springer Verlag, 2004.
E. Astesiano, M. Cerioli and G. Reggio. Architecture Specific Models: Software Design on Abstract Platforms. In Radical Innovations of Software and Systems Engineering in the Future, Proc. 9th Monterey Software Engineering Workshop, Venice, Italy, Sep. 2002.
Lecture Notes in Computer Science, n. 2941, Berlin, Springer Verlag, 2004.
C. Choppy and G. Reggio. Improving Use Case Based Requirements Using Formally Grounded Specifications. In Proc. FASE 2004.
Lecture Notes in Computer Science, n. 2984. Berlin, Springer Verlag, 2004.
E. Astesiano and G. Reggio Towards a Well-Founded UML-based Development Method. In Proc. of SEFM '03, IEEE Computer Society, 2003.
E. Astesiano, G. Reggio and M. Cerioli. From Formal Techniques to Well-Founded Software Development Methods. In Formal Methods at the Crossroads: From Panacea to Foundational Support.
10th Anniversary Colloquium of UNU/IIST the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18-20, 2002. Revised Papers.
Lecture Notes in Computer Science n. 2757, Berlin, Springer Verlag, 2003.
E. Astesiano, M. Martelli, V. Mascardi and G. Reggio From Requirement Specification to Prototype Execution: a Combination of a Multiview Use-Case Driven Method and Agent-Oriented Techniques. In Proc. SEKE 2003, ACM Press, 2003.
E. Astesiano and G. Reggio An Attempt at Analysing the Consistency Problems in the UML from a Classical Algebraic Viewpoint. In Recent Trends in Algebraic Development Techniques 16th International Workshop, WADT 2002 - Frauenchiemsee, Germany, September 24-27, 2002. Revised Selected Papers.
Lecture Notes in Computer Science, n. 2755 Berlin, Springer Verlag, 2003.
N. Guelfi, E. Astesiano and G. Reggio (editors) Scientific Engineering for Distributed Java Applications: International Workshop, Luxembourg-Kirchberg, Luxembourg, November 2002. Revised Papers. Lecture Notes in Computer Science n. 2604, Berlin, Springer Verlag, 2003.
C. Amza and G.Reggio. A Notation to Support Component-Based Design of Java Applications. In FIDJI'2002 - Scientific Engineering of Distributed Java Applications, proceedings of the 2nd International Workshop, Luxembourg-Kirchberg, Luxembourg, November 2002 (N. Guelfi, E. Astesiano and G. Reggio eds.). Lecture Notes in Computer Science n. 2604, Berlin, Springer Verlag, 2003.
G. Reggio. Metamodelling Behavioural Aspects: the Case of the UML State Machines. In Proc. IDPT 2002 (H. Ehrig, B. J. Kramer and A. Erta eds.). Society for Design and Process Science, USA, 2002. CD included.
E. Astesiano and G. Reggio. Knowledge Structuring and Representation in Requirement Specification. In Proc. SEKE 2002. ACM Press, New York, 2002.
E. Astesiano and G. Reggio. Labelled Transition Logic: An Outline.
In Acta Informatica, Vol. 37. n.11,12, 2001.
G. Reggio, M. Cerioli and E. Astesiano. Towards a Rigorous Semantics of UML Supporting its Multiview Approach. In Proc. FASE 2001 (H. Hussmann Editor). Lecture Notes in Computer Science n. 2029, Berlin, Springer Verlag, 2001.
G. Reggio and E. Astesiano. UML-SPACES: A UML Profile for Distributed Systems Coordinated Via Tuple Spaces. In Proc. ISADS 2001, IEEE Computer Society Press, 2001.
C. Choppy and G. Reggio. Using CASL to Specify the Requirements and the Design: A Problem Specific Approach. In Recent Trends in Data Type Specifications. 14th Workshop on Specification of Abstract Data Types. (D. Bert and C. Choppy editors), Lecture Notes in Computer Science, n. 1827, Berlin, Springer Verlag, pages 106-125, 2000.
G. Reggio, M. Cerioli and E. Astesiano. An Algebraic Semantics of UML Supporting its Multiview Approach. In Proc. AMiLP 2000 (D. Heylen, A. Nijholt and G. Scollo Editors). Twente Workshop on Language Technology n. 16, Enschede, University of Twente, 2000.
E. Astesiano, M. Cerioli and G. Reggio. Plugging Data Constructs into Paradigm-Specific Languages: towards an Application to UML (Invited Lecture). In Proc. AMAST 2000 (T. Rus Editor). Lecture Notes in Computer Science n. 1816, Berlin, Springer Verlag, 2000.
G. Reggio and L. Repetto. CASL-CHART: a Combination of Statecharts and of the Algebraic Specification Language CASL. In Proc. AMAST 2000 (T. Rus Editor). Lecture Notes in Computer Science n. 1816, Berlin, Springer Verlag, 2000.
G. Reggio, E. Astesiano, C. Choppy and H. Hussmann. Analysing UML Active Classes and Associated State Machines -- A Lightweight Formal Approach. In Proc. FASE 2000 - Fundamental Approaches to Software Engineering. Lecture Notes in Computer Science n. 1783 (T. Maibaum Editor).
Berlin, Springer Verlag, 2000.
E. Astesiano and G. Reggio. Formalism and Method -- Full version.
In T.C.S., Vol. 236. n.1,2, 2000.
R. Wieringa, E. Astesiano, G.Reggio, A. Le Guennec, H. Hussman, K. van den Berg and P. van den Broek. Is it feasible to construct a semantics for all of UML?: Dynamic behaviour and concurrency .
In ECOOP Workshop Reader: UML Semantics FAQ(S.Kent, A.Evans, B. Rumpe editors) 1999.
E. Astesiano, G. Reggio, and E. Zucca. Stores as Homomorphisms and Their Transformations - A Uniform Approach to Structured Types in Imperative Languages. In Science of Computer Programming, Vol. 34. n.3, pages 163-190, 1999.
E. Astesiano, M. Broy and G. Reggio. Algebraic Specification of Concurrent Systems. In IFIP WG 1.3 Book on Algebraic Foundations of System Specification. (E. Astesiano, B. Krieg-Bruckner and H.-J. Kreowski editors), Berlin, Springer Verlag, 1999.
E. Coscia and G. Reggio. JTN: A Java-Targeted Graphic Formal Notation for Reactive and Concurrent Systems. In Proc. FASE 99 - Fundamental Approaches to Software Engineering. Lecture Notes in Computer Science n. 1577 (J.-P. Finance Editor), Berlin, Springer Verlag, 1999.
E. Astesiano and G. Reggio. A Discipline for Handling Feature Interaction. In Requirements Targeting Software and Systems Engineering, Proc. RTSE '97. (M. Broy and B. Rumpe editors), Lecture Notes in Computer Science, n. 1526 Berlin, Springer Verlag, 1998.
G. Reggio. A Method to Capture Formal Requirements: the INVOICE Case Study. In Proc. of Int. Workshop "Comparing Specification Techniques: What Questions Are Prompted by Ones Particular Method of Specification. March 1998, Nantes (France) (M. Allemand, C. Attiogbe and H. Habrias editors), IRIN - Universite de Nantes, 1998.

Recent Technical Reports of Gianna Reggio

E. Crivello and G. Reggio. A Development Frame for Web Sites -- Complete Version
Technical Report of DISI - Università di Genova, DISI-TR-05--16, Italy, 2005.
C. Choppy and G. Reggio. Requirements Capture and Specification for Enterprise Applications: a UML Based Attempt
Technical Report of DISI - Università di Genova, DISI-TR-05-10, Italy, 2005.
C. Choppy and G. Reggio. A UML-Based Method for the Commanded Behaviour Frame
Technical Report of DISI - Università di Genova, DISI-TR-04--12, Italy, 2004.
C. Choppy and G. Reggio. Using UML for Problem Frame Oriented Software Development (Complete Version)
Technical Report of DISI - Università di Genova, DISI-TR-04--11, Italy, 2004.
C. Choppy and G. Reggio. Improving Use Case Based Requirements Using Formally Grounded Specifications (Complete Version).
Technical Report of DISI - Università di Genova, DISI-TR-03--45, Italy, 2003.
G. Reggio, E. Astesiano and C. Choppy. Casl-Ltl: A Casl Extension for Dynamic Reactive Systems Version 1.0 - Summary. Technical Report of DISI - Università di Genova, DISI-TR-03-36, Italy, 2003.
C. Choppy and G. Reggio. Towards a Formally Grounded Software Development Method.
Technical Report of DISI - Università di Genova, DISI-TR-03--35, Italy, 2003.
E. Astesiano and G. Reggio. Tight Structuring for Precise UML-based Requirement Specifications (Complete Version).
Technical Report of DISI - Università di Genova, DISI-TR-03-4, Italy, 2003.
L. Kuzniarz, G. Reggio, J.L. Sourrouille and Z. Huzar (editors). Consistency Problems in UML-based Software Development: Workshop Materials.
Research Report Blekinge Institute of Technology (Sweden), 2002-06, 2002.
G. Reggio, M. Cerioli and E. Astesiano. Between PIM and PSM: the P2P Case.
Technical Report of DISI - Università di Genova, DISI-TR-02-49, Italy, 2002.
G.Reggio. Metamodelling Behavioural Aspects: the Case of the UML State Machines (Complete Version). Technical Report of DISI - Università di Genova, DISI-TR-02-3, Italy, 2002.
G.Reggio, M. Cerioli and E. Astesiano. A Middleware-Oriented Visual Notation for Distributed Mobile Systems. Technical Report of DISI - Università di Genova, DISI-TR-01-54, Italy, 2001.
G. Reggio and E. Astesiano. A Proposal of a Dynamic Core for UML Metamodelling with MML. Technical Report of DISI - Università di Genova, DISI-TR-01-17, Italy, 2001.
G. Reggio and E. Astesiano. An Extension of UML for Modelling the nonPurely-Reactive Behaviour of Active Objects. Technical Report of DISI - Università di Genova, DISI-TR-00-28, Italy, 2000.
G. Reggio and L. Repetto. Casl-Chart: Syntax and Semantics. Technical Report of DISI - Università di Genova, DISI-TR-00-1, Italy, 2000.
G. Reggio, E. Astesiano, C. Choppy and H. Hussman. A CASL Formal Definition of UML Active Classes and Associated State Machines. Technical Report of DISI - Università di Genova, DISI-TR-99-16, Italy, 1999.
Revised March 2000.
G. Reggio and R. Wieringa. Thirty one Problems in the Semantics of UML 1.3 Dynamics. OOPSLA'99 workshop "Rigorous Modelling and Analysis of the UML: Challenges and Limitations", Denver, 1999.
C. Choppy and G. Reggio. Using CASL to Specify the Requirements and the Design: A Problem Specific Approach -- Complete Version. Technical Report of DISI - Università di Genova, DISI-TR-99-33, Italy, 1999.
H. Hussmann, M. Cerioli, G. Reggio and F. Tort. Abstract Data Types and UML Models. Technical Report of DISI - Università di Genova, DISI-TR-99-15, Italy, 1999.
E. Coscia and G. Reggio. A Proposal for a Semantics of a Subset of Multi-Threaded Good Java Programs. in Proc. of OOPSLA Workshoop: Formal Underpinnings of Java, Vancouver, October 1998.
Technical Report of Imperial College - London, 1998.
E. Astesiano and G. Reggio. UML as Heterogeneous Multiview Notation: Strategies for a Formal Foundation. Technical Report of DISI - Università di Genova, DISI-TR-98-15, Italy, 1998. Presented at the OOPSLA Workshoop: Formalizing UML. Why? How?, Vancouver, October 1998.
G. Reggio. A Graphic Specification of a High-Voltage Substation. Technical Report of DISI - Università di Genova, DISI-TR-98-33, Italy, 1998.

Please send suggestions and comments to:

Gianna Reggio reggio@disi.unige.it

Last Updated: 18/4/2004